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

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