09:00
10:00
11:00
12:00
13:00
14:00
15:00
16:00
17:00
18:00
19:00
20:00
›9:00 (15min)
9:00 - 9:15 (15min)
Opening
9:15 - 9:55 (40min)
A non-model complete pfaffian chain
Observatoire
Gareth Jones
https://ddg40.sciencesconf.org/data/program/Jones.pdf›10:00 (30min)
10:00 - 10:30 (30min)
Pause café
10:30 - 11:10 (40min)
Measurability of Definable Sets over Tame Ordered Fields
Observatoire
Laura Wirth
11:15 - 11:55 (40min)
Projective curves and weak second-order logic
Observatoire
Alessandro Berarducci
›12:30 (1h)
12:30 - 13:30 (1h)
Déjeuner
›14:00 (20min)
14:00 - 14:20 (20min)
admin. 1
Helping Konstanz speakers + Scient. Comm. pay for housing at the Observatoire's desk
›14:25 (40min)
› Observatoire
14:25 - 15:05 (40min)
A Hierarchy of Expressive Power for Büchi Automata Over the Reals
Observatoire
Alexi Block-Gorman
15:10 - 15:50 (40min)
Model-theoretic tilting
Observatoire
Margarete Ketelsen
›15:50 (30min)
15:50 - 16:20 (30min)
Pause
16:20 - 17:00 (40min)
Lie methods for ω-categorical Engel groups
Observatoire
Christian D'Elbée
›19:30 (1h)
19:30 - 20:30 (1h)
Dîner
