Programme

vendredi 23 mai 2025
08:00
09:00
10:00
11:00
12:00
13:00
14:00
15:00
16:00
17:00
›8:50 (2h)
Guarded recursive types
Daniel Gratzer & Adrien Guatto
›10:50 (30min)
Pause café
›12:20 (1h40)
Déjeuner
›14:00 (3h)
Discussions libres
Session
Discours
Logistique
Pause
Sortie
Chargement... Chargement...