09:00
10:00
11:00
12:00
13:00
14:00
15:00
16:00
17:00
18:00
19:00
20:00
21:00
22:00
›9:30 (50min)
9:30 - 10:20 (50min)
Claire Mathieu
Claire Mathieu
›10:30 (30min)
10:30 - 11:00 (30min)
Coffee break
›11:00 (25min)
11:00 - 11:25 (25min)
Stéphane Vialette
Stéphane Vialette
›11:30 (25min)
11:30 - 11:55 (25min)
C. Aiswarya
C. Aiswarya
›12:00 (1h30)
12:00 - 13:30 (1h30)
Lunch
›13:30 (50min)
13:30 - 14:20 (50min)
Joanna Fijalkow: Proof complexity meets finite model theory
Joanna Fijalkow
https://caalm-2025.sciencesconf.org/data/program/Abstract_Joanna.pdf›14:30 (30min)
14:30 - 15:00 (30min)
Coffee break
›15:00 (25min)
15:00 - 15:25 (25min)
Sébastien Tavenas
Sébastien Tavenas
›15:30 (25min)
15:30 - 15:55 (25min)
Sophie Pinchinat
Sophie Pinchinat
›16:00 (1h)
16:00 - 17:00 (1h)
Coffee break
›19:00 (3h)
19:00 - 22:00 (3h)
Conference Dinner
