Réunion du groupe MTV2 le 9 décembre 2015 à CentraleSupelec

Une journée du groupe de travail MTV2 (Méthodes de Test pour la Vérification et la Validation) du GDR GPL aura lieu

      le 9 décembre 2015

à CentraleSupelec, à Châtenay-Malabry. L'exposé invité sera donné par Cristian Cadar (Imperial, London).

Le programme et toutes les indications sont sur

http://mtv2.univ-fcomte.fr/index.php?reunion2015

Pour toute demande ou modification d'inscription tardive (après le 28 novembre 2015), merci d'envoyer un mail aux organisateurs locaux : Pascale Le Gall et Nikolai Kosmatov, en précisant les nom, prénom, institution, téléphone et email des participants. La liste des inscrits est sur le doodle ici.