Soumission de résumés : CLOS
Inscription : dès maintenant
Journée : 7 / 12 /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.

Cette journée prendra la forme suivante :


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

Le programme et les résumés sont désormais disponibles

Informations pratiques :


Comités d'organisation

MTV2 MFDL
  • Nikolai Kosmatov (CEA, Saclay)
  • Pascale Le Gall (Centrale-Supelec, Paris)
  • Pierre-Loïc Garoche (ONERA, Toulouse)
  • Aurélie Hurault (ENSEEIHT, Toulouse)
  • Akram Idani (LIG, Grenoble)