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 (preliminary)
- 9:00
- Accueil café
- 9:30
- Introduction CHAAT & HIDAPNE
- 10:30
- Discussion / break
- 11:00
-
Scientific talks:
Lory Soumphonphakdy,
Safia Tehami
- 12:00
- Lunch
- 13:30
- Intro / discussion WP1
- 14:15
- Intro / discussion WP2
- 15:00
- Intro / discussion WP3
- 15:45
- Break
- 16:00
- Intro / discussion WP4
- 16:45
- Model checking: pipeline & plans
- 17:30
- La fin
Participants (preliminary list)
- LMF
-
Uli Fahrenberg,
Thibaut Benjamin,
Benedikt Bollig,
Gregory Faraut,
Alexandre Albessard,
Safia Tehami
- LRE
-
Amazigh Amrane,
Hugo Bazille,
Laetitia Laversa,
Enzo Erlich
- IRIF
-
Jérémy Ledent,
Emily Clement,
Marie Fortin
- LIX
-
Jérémy Dubut,
Éric Goubault,
Samuel Mimram,
Noam Zeilberger,
Augustin Albert,
Yorgo Chamoun,
Aloÿs Dufour
- SAMOVAR
-
Philipp Schlehuber-Caissier,
Sven Dziadek,
Clément Borne,
Jakub Hajdas,
Lory Soumphonphakdy
- External
-
Paul Brunet,
Cameron Calk,
Alexis Poquet,
Evgenii Vinarskii
chaat@sympa.lmf.cnrs.fr