Soumission de résumés : ouvert
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 :


Appel à contributions


On sollicite des résumés d'une page maximum rédigés en français ou en anglais idéalement pour le Vendredi 29 Septembre 2017.
Pour ce faire, veuillez utiliser le formulaire de soumission.
En cas de soucis vous pouvez envoyer votre contribution par e-mail à Akram.Idani@imag.fr, nikolay.kosmatov@cea.fr

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


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)