Le CETIC fait partie du groupe MeFoSyLoMa qui organise des séminaires sur l’utilisation des méthodes formelles.
Le séminaire MeFoSyLoMa est animé conjointement par les laboratoires Cedric (Cnam), IBISC (Univ. Evry), LACL (Univ. Paris 12), LIP6 (UPMC), LIPN (Univ. Paris 13), LSV (École Normale Supérieure de Cachan) 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.
Christophe Ponsard, Responsable du Département Software & System Engineering au CETIC, a participé au séminaire du 30 septembre qui s’est tenu à Paris.
Pour de plus amples informations à propos de ce séminaire, consultez le site du groupe MeFoSyLoMa.