Jeudi, 16 Mars 2023
Accueil : espace SIMONON, Salle 1E19, bâtiment Sud-Ouest ENS Paris-Saclay
Exposés : Salle 1Z28, bâtiment Nord ENS Paris-Saclay (éventuellement 1B18)
Lien visio : Zoom
(Meeting ID: 994 7419 3300, Passcode: 89821603)
Larencontre annuelle du groupe de travail MTV2 Méthodes de Test pour la Vérification et la Validation sera organisée au LMF par Burkhart Wolff, Frédéric Voisin et Fatiha Zaidi le 16 mars 2023,
Le groupe de travail MTV2 fait partie du groupement de recherche CNRS GDR GPL ''Génie de la Programmation et du Logiciel'.