Chargement Évènements

« Tous les Évènements

  • Cet évènement est passé

GT Vérif 2021

17 novembre 2021 - 19 novembre 2021

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 :
17 novembre 2021
Fin :
19 novembre 2021
Catégories d’évènement:
, ,
Site :
https://www.benedikt-bollig.org/gt-verif-2021

Organisateur

Benedikt Bollig