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)
The other side of derandomization
Sylvain Perifel
https://caalm-2025.sciencesconf.org/data/program/Abstract_Sylvain_1.pdf›10:30 (30min)
10:30 - 11:00 (30min)
Coffee break
›11:00 (25min)
11:00 - 11:25 (25min)
Generalizing Roberts' characterization of unit interval graphs
Stéphane Vialette
›11:30 (25min)
11:30 - 11:55 (25min)
Edit Distance of Finite State Transducers
C. Aiswarya
›12:00 (1h30)
12:00 - 13:30 (1h30)
Lunch
›13:30 (50min)
13:30 - 14:20 (50min)
Proof complexity meets finite model theory
Joanna Fijalkow
›14:30 (30min)
14:30 - 15:00 (30min)
Coffee break
›15:00 (25min)
15:00 - 15:25 (25min)
Structural results for Arithmetic formulas
Sébastien Tavenas
›15:30 (25min)
15:30 - 15:55 (25min)
The Formula Synthesis Problem - Focus on Propositional Dynamic Logic
Sophie Pinchinat
›16:00 (1h)
16:00 - 17:00 (1h)
Coffee break
›19:00 (3h)
19:00 - 22:00 (3h)
Conference Dinner
