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.

Les inscriptions pour la participation sur place sont closes.

Exposés Invités

Reykjavik University

Synthesis over Infinite Domains through Machines with Registers

LIX, CNRS,

École Polytechnique,

Institut Polytechnique de Paris

Verifying non-linear

dynamical systems with implicit abstraction

INRIA and École Normale Supérieure | Université PSL

An abstract interpretation recipe for machine learning fairness

LIGM,

Université Gustave Eiffel, CNRS

Subgame-Perfect Equilibria

in Multiplayer Games

 
 

Programme

 

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

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

Comment venir sur le plateau de Saclay

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
 

Hébergement

Voici une liste d'hôtels à proximité :

 
 

Contact

Organisation :

Benedikt Bollig

Responsables du GT Vérif :

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