Objectifs

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), LRDE (Epita), 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.

L'originalité de ce séminaire réside dans son choix délibéré d'associer aux approches théoriques aussi souvent que possible leurs applications aux méthodes et outils, ainsi que des exemples issus du monde industriel ou des études de cas significatives. Par cette approche, il favorise les échanges entre les différents acteurs du domaine et fournit l'opportunité aux participants du monde non académique intéressés par l'application des méthodes formelles de suivre les évolutions scientifiques du domaine.

Le Lamsade (Univ. Paris-Dauphine) est un ancien membre de MeFoSyLoMa. Certains membres participent toujours à nos activités à titre personnel.

Visualisez les postes ouverts dans les équipes de MeFoSyLoMa.

Les prochaines réunions

Les prochains séminaires sont planifiées:

La mailing-liste

Envoyer un message sur la mailing-liste: annonces(at)mefosyloma(point)fr

S'enregistrer sur la mailing-liste: envoyer un mail à : contact(a)mefosyloma(point)fr