MeFoSyLoMa
Méthodes Formelles pour les Systèmes Logiciels et Matériels
Le séminaire MeFoSyLoMa est organisé à l'initiative de l'Université Pierre et Marie Curie, l'Université Paris-Dauphine, l'Université de Villetanneuse, l'École Nationale Supérieure des télécommunications et le Conservatoire national des Arts et Métiers. Son objet est de permettre la confrontation de différents 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 ou des systèmes d'informations. Il s'organise autour de réunions bimestrielles où sont exposés des travaux de recherche récents sur le thème.
Plus d'informations ici …
Fabrice.Kordon (at) nulllip6.fr