Programme

jeudi 22 mai 2025
08:00
09:00
10:00
11:00
12:00
13:00
14:00
15:00
16:00
17:00
18:00
19:00
20:00
›8:50 (2h10)
Guarded recursive types
Daniel Gratzer & Adrien Guatto
›11:00 (20min)
Pause café
›12:20 (1h40)
Déjeuner
›14:00 (1h15)
Bisimulation and coinductive types in the Rocq proof assistant
Damien Pous & Yannick Zakowski
›15:15 (1h)
Circular and non wellfounded proofs: expressiveness and semantics
Anupam Das & Farzad Jafarrahmani
›16:15 (30min)
Pause café
›16:45 (1h30)
Circular and non wellfounded proofs: expressiveness and semantics
Anupam Das & Farzad Jafarrahmani
›19:30 (1h15)
Dîner
Session
Discours
Logistique
Pause
Sortie
Chargement... Chargement...