WG Verification Days

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

This year's Research Days of the Working Group Verification (GT Vérif) of  GDR IM take place on November 17, 18, and 19, 2021 at the Laboratoire Méthodes Formelles, ENS Paris-Saclay, in Gif-sur-Yvette.  

Their goal is to bring together the French community in formal verification, and in particular junior, doctoral and post-doctoral researchers, with the aim of promoting collaborations on topics related to all areas of verification.

Registration for on-site participation is closed.

Invited Speakers

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

 
 

Program

 

Registration​

Registration is free but mandatory. Important dates:

  • October 22, 2021: Submission of title for giving a presentation

  • October 22, 2021: Registration for participation on site

  • November 10, 2021: Registration for online participation

arrow&v
arrow&v

Thank you for your registration ! You will receive a confirmation email within 24 hours.

Venue

The event will be held at ENS Paris-Saclay:

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

How to find ENS Paris-Saclay

The presentations will take place in room 1Y40. The link for online participation will be communicated to registered participants at a later date.

ENS Paris-Saclay
 
 
 

Contact

Organization:

Benedikt Bollig

Responsible for GT Vérif:

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