|
13-14 Dec 2023 Paris (France)
|
Program
 |
Wednesday, December 13, 2023 › |
|
13:00
14:00
15:00
16:00
17:00
18:00
19:00
20:00
21:00
22:00
|
›13:30 (20min)
13:30 - 13:50 (20min)
Arrival and coffee
13:50 - 14:00 (10min)
Opening remarks
 Amphi Turing
14:00 - 15:00 (1h)
Certificate games
Amphi Turing
Sophie Laplante
›15:00 (30min)
15:00 - 15:30 (30min)
Coffee break
15:30 - 16:30 (1h)
The Descriptive Complexity of Graph Neural Networks
Amphi Turing
Martin Grohe
›16:30 (15min)
16:30 - 16:45 (15min)
Break
›16:45 (30min)
› Amphi Turing
16:45 - 17:15 (30min)
Implicit characterization of the class of Basic Feasible Functionals
Amphi Turing
Romain Péchoux
›17:15 (25min)
› Amphi Turing
17:15 - 17:40 (25min)
Characterization of complexity classes using categorical logic
Amphi Turing
Baptiste Chanus
›17:40 (20min)
› Amphi Turing
17:40 - 18:00 (20min)
The expressive power of low descriptive complexity invariants
Amphi Turing
Djamel Amir
›19:45 (2h15)
19:45 - 22:00 (2h15)
Dinner (Restaurant Bouillon Racine)
|
| Session | Speech | Logistics | Break | Tour |
| Online user: 1 | Privacy |
|
