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.

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
• Des exposés invités.

Cette journée est gratuite et ouverte à tous. Inscrivez-vous dès maintenant: formulaire d'inscription

Informations pratiques :

• Métro le plus proche : Corvisart
• Un contrôle sera effectué à l'entrée du bâtiment selon la liste des inscrits, merci de prévoir une pièce d'identité.


• La durée d'un exposé standard est de 20 min (+5 min. pour les questions).
• La durée d'un exposé invité est de 45 min. (+5 min. pour les questions).


• Adresse : Telecom ParisTech (46 Rue Barrault, 75013 Paris)
• Contacts: akram.idani@imag.fr / nikolay.kosmatov@cea.fr
• Plan d'accès

Comités d'organisation