09:00
10:00
11:00
12:00
13:00
14:00
9:00 - 9:40 (40min)
Split hyperplane sections on polarized K3-surfaces
Observatoire
Alex Degtyarev
https://ddg40.sciencesconf.org/data/program/Degtyarev.pdf›9:45 (40min)
› Observatoire
9:45 - 10:25 (40min)
Orbit separation and stratification by isotropy classes of piezoelectricity tensors
Observatoire
Evelyne Hubert
›10:30 (30min)
10:30 - 11:00 (30min)
Pause café
›11:00 (40min)
Elimination of quantifiers in the theory of projectable real closed rings with first convexity property
Jorge Guier
Jorge Guier
› Observatoire
11:00 - 11:40 (40min)
Elimination of quantifiers in the theory of projectable real closed rings with first convexity property
Observatoire
Jorge Guier
11:45 - 12:25 (40min)
Updates on decidability of real closed rings
Observatoire
Marcus Tressl
›12:30 (1h)
12:30 - 13:30 (1h)
Déjeuner
›13:30 (30min)
13:30 - 14:00 (30min)
Closing
