Une réunion 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 à Grenoble, sur le campus de Saint Martin D'Hères, les 13 et 14 Janvier prochains.

Cette réunion se tiendra sur deux demi-journées (après-midi du 13 et matin du 14) durant lesquelles
des exposés des travaux et des résultats obtenus au sein des groupes de travail seront présentés.
Un repas dans un restaurant de la ville (à la charge des participants) sera organisé le lundi 13 Janvier au soir
pour prolonger les discussions et éventuels débats.

Cette journée prendra la forme suivante :


Proposition d'exposé


On sollicite des résumés d'une page maximum rédigés en français ou en anglais
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, frederic.dadeau@femto-st.fr

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


Comités d'organisation

MTV2 MFDL
  • Frédéric Dadeau (FEMTO-ST, Besançon)
  • Lydie Du-Bousquet (LIG, Grenoble)
  • Yamine Ait-Ameur (ENSEEIHT, Toulouse)
  • Akram Idani (LIG, Grenoble)
  • Virginie Wiels (ONERA, Toulouse)