FM 2012
18th International Conference on Formal Methods (FM 2012)
Data limite de submissão 05/03/2012Segunda-feira, 27 de agosto de 2012 para 31/08/2012
To be announced
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)
Web page …
fm2012 (at) nullcnam.fr