Project
CHAAT is a four-year project, running in 2026-30 and funded by the
French National Research Agency.
Venue
ENS Paris-Saclay, Salle
1Z68
Programme
- 9:00
- Accueil café
- 9:30
-
Introduction CHAAT & HIDAPNE
[Slides]
- 10:30
- Discussion / break
- 11:00
-
Scientific talks:
Lory Soumphonphakdy,
Safia Tehami
- 12:00
- Lunch
- 13:30
-
Intro / discussion WP1
[Slides]
- 14:15
-
Intro / discussion WP2
[Slides]
- 15:00
-
Intro / discussion WP3
[Slides]
- 15:45
- Break
- 16:00
-
Intro / discussion WP4
[Slides]
- 16:45
- Model checking: pipeline & plans
- 17:30
- La fin
Participants
- LMF
-
Uli Fahrenberg (online),
Thibaut Benjamin,
Benedikt Bollig,
Gregory Faraut,
- LRE
-
Amazigh Amrane,
Hugo Bazille,
Laetitia Laversa,
Enzo Erlich
- IRIF
-
Jérémy Ledent,
Emily Clement,
Marie Fortin
- LIX
-
Éric Goubault,
Samuel Mimram,
Noam Zeilberger,
Augustin Albert,
Yorgo Chamoun,
Aloÿs Dufour
- SAMOVAR
-
Philipp Schlehuber-Caissier,
Sven Dziadek,
Clément Borne,
Jakub Hajdas
- Guests
-
Alexandre Albessard,
Cameron Calk,
Alexis Poquet,
Lory Soumphonphakdy,
Safia Tehami,
Evgenii Vinarskii
chaat@sympa.lmf.cnrs.fr