Objet : MeFoSyLoMa

Description : Liste des membres de MeFoSyLoMa, le groupement de 9 laboratoires franciliens en méthodes formelles.

Le séminaire MeFoSyLoMa est animé conjointement par les laboratoires Cedric (Cnam), IBISC (Univ. Evry), IRIF (Université Paris-Cité, CNRS), LACL (Univ. Paris-Est Créteil), LIP6 (Sorbonne Université), LIPN (Université Sorbonne Paris Nord), LRE (Epita), LMF (Université Paris-Saclay, CNRS, ENS Paris-Saclay) et LTCI (TELECOM ParisTech). Son objet est de permettre la confrontation de différentes approches ou points de vue sur l'utilisation des méthodes formelles dans les domaines du génie logiciel, de la conception de circuit, des systèmes répartis, des systèmes temps-réel ou encore des systèmes d'information. Il s'organise autour de réunions bimestrielles où sont exposés des travaux de recherche récents sur ce thème.