Journées nationales du GT VERIF 2022

Les Journées du GT Vérification du GDR IM ont lieu les 11, 12 et 13 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.