Structures algébriques et ordonnées

9:00 - 9:40 (40min)

Split hyperplane sections on polarized K3-surfaces

Observatoire

Alex Degtyarev

9:45 - 10:25 (40min)

Orbit separation and stratification by isotropy classes of piezoelectricity tensors

Observatoire

Evelyne Hubert

10:30 - 11:00 (30min)

Pause café

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 - 13:30 (1h)

Déjeuner

13:30 - 14:00 (30min)

Closing

Programme