Les Journées du GT Vérification du GDR IM ont lieu les 11 (après-midi), 12 (toute la journée) et 13 (matin) juillet 2022 au Laboratoire Bordelais de Recherche en Informatique, Université de Bordeaux, à Talence. 

Elles visent à rassembler la communauté française en vérification formelle, et en particulier les chercheurs juniors, doctorants et post-doctorants, avec pour objectif de favoriser les collaborations et l'ouverture sur des thématiques liées à la vérification. Elles ont pour ambition de couvrir tous les domaines de la vérification formelle. 

L'inscription est gratuite mais obligatoire pour des raisons logistiques. L'inscription permet aussi de proposer un exposé entre 15 et 60 minutes.

Dates importantes:
Date limite d'inscription : 7 juillet 2022.
Date limite de proposition de présentation : 1 juillet 2022.
Date de notification des présentations retenues :  4 juillet 2022.

Crédit Photo : Thomas Sanson - Mairie de Bordeaux