FM 2012RSS

18th International Conference on Formal Methods (FM 2012)


http://fm2012.cnam.fr/
Date limite de soumission 05/03/2012
27/08/2012 au 31/08/2012
L'objectif de cette conférence est de réunir des chercheurs intéressés à la fois par les aspects théoriques et les applications des méthodes formelles au développement et à l'analyse de systèmes informatiques. La conférence est soutenue par l'association européenne FME (Formal Methods Europe) et organisée conjointement par le groupe de recherche MeFoSyLoMa (Méthodes Formelles pour les Systèmes Logiciels et Matériels, http://www.mefosyloma.fr/) qui regroupe 7 laboratoires de la région parisienne : Cedric (CNAM), IBISC (Univ. Evry), LACL (Univ. Paris Est), LIP6 (UPMC), LIPN (Univ. Paris Nord), LSV (ENS de Cachan) et LTCI (Télécom ParisTech).
General chairs : Kamel Barkaoui (Cedric, CNAM) et Béatrice Bérard (LIP6, UPMC)
PC chairs : Dimitra Giannakopoulou (NASA Ames) et Dominique Méry (LORIA,Univ. Nancy 1)
Plus d'informations ici
fm2012 (at) nullcnam.fr
 Mentions légales
Carte du site |