Aller au menu Aller au contenu
Innover pour un avenir durable

Institut polytechnique de Grenoble

Grenoble Institute of Engineering
Innover pour un avenir durable
Innover pour un avenir durable

> L'Institut > Actualités

12ème Conférence Internationale sur le Génie Logiciel et les Méthodes Formelles

Publié le 18 juillet 2014
A+Augmenter la taille du texteA-Réduire la taille du texteImprimer le documentEnvoyer cette page par mail Partagez cet article Facebook Twitter Linked In Google+ Viadeo
Conférence du 1 septembre 2014 au 5 septembre 2014
chalemont_bleue.jpg

chalemont_bleue.jpg

La 12ème édition de la conférence internationale sur le génie logiciel et les méthodes formelles aura lieu à Grenoble, du 1er au 5 septembre 2014. Le but de la conférence est de regrouper chercheurs et industriels travaillant sur les méthodes formelles pour faciliter leur acceptation dans l'industrie du logiciel et encourager leur intégration dans les méthodes d'ingénierie. SEFM 2014 est organisée par Inria et sponsorisée par Grenoble INP, l'Université Joseph-Fourier, le LIG, et le CNRS.

En savoir plus : sur le site de l'INRIA

Crédit photo : Pierre Jayet http://www.pierrejayet.com/
A+Augmenter la taille du texteA-Réduire la taille du texteImprimer le documentEnvoyer cette page par mail Partagez cet article Facebook Twitter Linked In Google+ Viadeo

mise à jour le 18 juillet 2014

Univ. Grenoble Alpes