Theoretical Computer Science workshop
2-6 Jun 2025 Villetaneuse (France)

Program

Tuesday, June 3, 2025
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)
The other side of derandomization
Sylvain Perifel
›10:30 (30min)
Coffee break
›11:30 (25min)
Edit Distance of Finite State Transducers
C. Aiswarya
›12:00 (1h30)
Lunch
›13:30 (50min)
Proof complexity meets finite model theory
Joanna Fijalkow
›14:30 (30min)
Coffee break
›15:00 (25min)
Structural results for Arithmetic formulas
Sébastien Tavenas
›16:00 (1h)
Coffee break
›19:00 (3h)
Conference Dinner
Session
Speech
Logistics
Break
Tour
Loading... Loading...