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

Крайний срок подачи заявки 05.03.2012
27.08.2012 по 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)