Journée commune MFDL/MTV2, Le 7 Décembre 2017

Une journée commune des groupes de travail Méthodes de Test pour la Vérification 
et la Validation (MTV2) et Méthodes Formelles pour le Développement Logiciel (MFDL) 
aura lieu à Paris, à Telecom ParisTech, le 7 Décembre 2017. 

L'appel à contributions est disponible sur : http://lig-membres.imag.fr/idani/MTV2_MFDL/index.html

Cette journée prendra la forme suivante :

• Des présentations de travaux récents ou en cours. Les exposés des doctorants 
  ou postdoctorants sont les bienvenus
• Des présentations de projets s'inscrivant dans les thématiques des groupes MTV2 et MFDL
• Nous prévoyons aussi des exposés invités.