18^th International Conference on Formal Methods (FM 2012)

Submission deadline 03/05/2012
08/27/2012 to 08/31/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)