La prochaine journée du groupe de travail MTV2  (Méthodes de test pour la validation et la vérification) du GDR GPL aura lieu le 21 novembre 2024, à l’EPITA sur le campus de Paris – Kremlin-Bicêtre 
  adresse : 14-16 Rue Voltaire, 94270 Le Kremlin-Bicêtre

Nous avons le plaisir de vous annoncer l’exposé invité qui sera donné lors de cette journée :

   Jan Midtgaard (Tarides)
   “Property-Based Testing of OCaml 5”

qui nous présentera les travaux sur QuickCheck et le test de code OCaml multi-cores.

Si vous êtes intéressés, merci de vous inscrire sur le lien suivant :

https://framadate.org/xM8uD51NKLGTNnoO

   au plus tard avant le 6 novembre 2024, en indiquant vos nom et affiliation, si vous participez, si vous prenez le déjeuner et, le cas échéant, si vous souhaitez proposer un exposé (si oui, merci d’envoyer également le titre et le résumé aux animateurs MTV2 et organisateurs (en CC) par mél). Il reste quelques derniers créneaux pour ceux qui veulent proposer un exposé.

Pour toute modification tardive d’inscriptions après le 6 novembre, merci de contacter les animateurs MTV2 et les organisateurs par mail.

Le programme et les informations pratiques seront publiés sur la page du groupe :
https://sites.google.com/view/gdr-gpl-mtv2/manifestations-mtv2/21-11-2024

Bien cordialement,

Les animateurs du groupe MTV2,
Nikolai Kosmatov, Natalia Kushik, Pascale Le Gall, Antoine Rollet

Les organisateurs locaux,
Amazigh Amrane, Alexandre Duret-Lutz, Uli Fahrenberg et Ghiles Ziat