Journées du GT Vérif

17 - 19 Novembre, 2021
ENS Paris-Saclay, Gif-sur-Yvette

Les Journées du GT Vérification du GDR IM ont lieu les 17, 18 et 19 novembre 2021 au Laboratoire Méthodes Formelles, ENS Paris-Saclay, à Gif-sur-Yvette. 

 

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.

Programme

Le programme sera constitué de quelques exposés invités (détails à suivre) ainsi que de présentations proposées (voir section Inscription).

Toute personne souhaitant donner un exposé lors de ces journées est invitée à indiquer le titre de sa présentation avant le 22 octobre 2021. La durée des exposés dépendra du nombre des propositions reçues, l'objectif de ces journées ''informelles'' étant bien sûr d'avoir un maximum d'exposés. Les propositions doivent simplement porter sur la vérification.

Les journées devraient se tenir en mode hybride. Il est possible de participer et de faire un exposé sur place ou en ligne. Les modalités exactes dépendront de l'évolution de la situation sanitaire. En particulier, le pass sanitaire pourrait être nécessaire pour une participation sur place.

Les journées se dérouleront du mercredi 17 novembre à partir de 14h au vendredi 19 novembre jusqu'à 12h (clôturées par un déjeuner).

 

Inscription​

L'inscription est gratuite mais obligatoire. Dates importantes :

  • 22 octobre 2021 : Proposition d'exposé

  • 22 octobre 2021 : L'inscription pour une participation sur place

  • 10 novembre 2021 : L'inscription pour une participation en ligne

arrow&v
arrow&v
Participation aux déjeuners
J'aimerais donner une présentation (sur place ou en ligne)

Merci pour votre inscription ! Vous recevrez un mail de confirmation dans un délai de 24h.

 

Lieu

Les Journées du GT Vérif se tiendront à l'ENS Paris-Saclay :

ENS Paris-Saclay
4, avenue des Sciences
91190 Gif-sur-Yvette

Les exposés auront lieu dans la salle 1Y40. Le lien pour la participation en ligne sera communiqué ultérieurement aux participants inscrits.

ENS Paris-Saclay
 

Contact

Organisation :

Benedikt Bollig

Responsables du GT Vérif :

 
LOGO-GDR_IM.png
ENSPS_UPSAY_logo_couleur_2.png
lmf-logo-black-rgb.png