Chargement Évènements

« Tous les Évènements

GT Vérif 2021

novembre 17 - novembre 19

Les Journées annuelles du GT Vérification du GDR IM ont lieu les 17, 18 et 19 novembre 2021 au Laboratoire Méthodes Formelles, ENS Paris-Saclay.
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.

Détails

Début :
novembre 17
Fin :
novembre 19
Catégories d’évènement:
, ,
Site :
https://www.benedikt-bollig.org/gt-verif-2021

Organisateur

Benedikt Bollig