FM 2012
18th International Conference on Formal Methods (FM 2012)
2012-8-27 到 2012-8-31
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)
更多具体信息 …
fm2012 (at) nullcnam.fr