Schedule

Week Mon. 04 Tue. 05 Wed. 06 Thu. 07 Fri. 08 List

	Mon. 04	Tue. 05	Wed. 06	Thu. 07	Fri. 08
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	Opening 9:00 - 9:15 (15min) Opening A non-model complete pfaffian chain 9:15 - 9:55 (40min) A non-model complete pfaffian chain Observatoire Gareth Jones https://ddg40.sciencesconf.org/data/program/Jones.pdf Coffee Break 10:00 - 10:30 (30min) Coffee Break Measurability of Definable Sets over Tame Ordered Fields 10:30 - 11:10 (40min) Measurability of Definable Sets over Tame Ordered Fields Observatoire Laura Wirth https://ddg40.sciencesconf.org/data/program/Wirth.pdf Projective curves and weak second-order logic 11:15 - 11:55 (40min) Projective curves and weak second-order logic Observatoire Alessandro Berarducci https://ddg40.sciencesconf.org/data/program/Berarducci.pdf Lunch 12:30 - 13:30 (1h) Lunch admin. 1 14:00 - 14:20 (20min) admin. 1 Helping Konstanz speakers + Scient. Comm. pay for housing at the Observatoire's desk A Hierarchy of Expressive Power for Büchi Automata Over the Reals 14:25 - 15:05 (40min) A Hierarchy of Expressive Power for Büchi Automata Over the Reals Observatoire Alexi Block-Gorman https://ddg40.sciencesconf.org/data/program/Block_Gorman.pdf Model-theoretic tilting 15:10 - 15:50 (40min) Model-theoretic tilting Observatoire Margarete Ketelsen https://ddg40.sciencesconf.org/data/program/Ketelsen.pdf Break 15:50 - 16:20 (30min) Break Lie methods for ω-categorical Engel groups 16:20 - 17:00 (40min) Lie methods for ω-categorical Engel groups Observatoire Christian D'Elbée https://ddg40.sciencesconf.org/data/program/Delbee.pdf Dinner 19:30 - 20:30 (1h) Dinner	Around definable types in valued fields 9:00 - 9:40 (40min) Around definable types in valued fields Observatoire Martin Hils https://ddg40.sciencesconf.org/data/program/Hils.pdf Orthogonal types to the value group and descent 9:45 - 10:25 (40min) Orthogonal types to the value group and descent Observatoire Mariana Vicaria https://ddg40.sciencesconf.org/data/program/Vicaria.pdf Coffee Break 10:30 - 11:00 (30min) Coffee Break Degree bounds in Hilbert 17 11:00 - 11:40 (40min) Degree bounds in Hilbert 17 Observatoire Rainer Sinn https://ddg40.sciencesconf.org/data/program/Sinn.pdf A Waring Problem in real function fields over R 11:45 - 12:25 (40min) A Waring Problem in real function fields over R Observatoire Eberhard Becker https://ddg40.sciencesconf.org/data/program/Becker.pdf Lunch 12:30 - 13:30 (1h) Lunch admin. 2 14:00 - 15:05 (1h05) admin. 2 helping non-speakers pay for housing at the Observatoire’s desk Arithmetic of cuts in ordered abelian groups and of ideals over valuation rings 15:10 - 15:50 (40min) Arithmetic of cuts in ordered abelian groups and of ideals over valuation rings Observatoire Franz-Viktor Kuhlmann https://ddg40.sciencesconf.org/data/program/Kuhlmann.pdf Break 15:50 - 16:20 (30min) Break Augmentable ordered abelian groups and definable henselian valuations 16:20 - 17:00 (40min) Augmentable ordered abelian groups and definable henselian valuations Observatoire Anna De Mase https://ddg40.sciencesconf.org/data/program/DeMase.pdf Wine tasting 17:15 - 19:15 (2h) Wine tasting	Spectrahedral shadows 9:00 - 9:40 (40min) Spectrahedral shadows Observatoire Claus Scheiderer https://ddg40.sciencesconf.org/data/program/Scheiderer.pdf t-Henselian Fields 9:45 - 10:25 (40min) t-Henselian Fields Observatoire Franziska Jahnke https://ddg40.sciencesconf.org/data/program/Jahnke.pdf Coffee break 10:30 - 11:00 (30min) Coffee break Definable Ranks 11:00 - 11:40 (40min) Definable Ranks Observatoire Lothar Sebastian Krapp https://ddg40.sciencesconf.org/data/program/Krapp.pdf Fields with the absolute Galois group of Q 11:45 - 12:25 (40min) Fields with the absolute Galois group of Q Observatoire Jochen Koenigsmann https://ddg40.sciencesconf.org/data/program/Koenigsmann.pdf Lunch 12:30 - 13:30 (1h) Lunch	Composition of transseries, monotonicity, and analyticity 9:00 - 9:40 (40min) Composition of transseries, monotonicity, and analyticity Observatoire Vincenzo Mantova https://ddg40.sciencesconf.org/data/program/Mantova.pdf Transserial trajectories of planar vector fields 9:45 - 10:25 (40min) Transserial trajectories of planar vector fields Observatoire Mickaël Matusinski https://ddg40.sciencesconf.org/data/program/Matusinski.pdf Coffee break 10:30 - 11:00 (30min) Coffee break Classification of aleph0-categorical C-minimal pure C-sets 11:00 - 11:30 (30min) Classification of aleph0-categorical C-minimal pure C-sets Observatoire Marie-Hélène Mourgues https://ddg40.sciencesconf.org/data/program/Mourgues.pdf Valuations on groups, ordered groups and exponential groups 11:45 - 12:25 (40min) Valuations on groups, ordered groups and exponential groups Observatoire Vincent Bagayoko https://ddg40.sciencesconf.org/data/program/Bagayoko.pdf Lunch 12:30 - 13:30 (1h) Lunch Sylvester double sums when there are multiplicities and symmetric Hermite interpolation 14:25 - 15:05 (40min) Sylvester double sums when there are multiplicities and symmetric Hermite interpolation Observatoire Marie-Françoise Roy https://ddg40.sciencesconf.org/data/program/Roy.pdf Effective polynomial approximation of starshaped sets 15:10 - 15:50 (40min) Effective polynomial approximation of starshaped sets Observatoire Chiara Meroni https://ddg40.sciencesconf.org/data/program/Meroni.pdf Break and posters 15:50 - 17:00 (1h10) Break and posters Social Dinner 19:30 - 21:30 (2h) Social Dinner	Split hyperplane sections on polarized K3-surfaces 9:00 - 9:40 (40min) Split hyperplane sections on polarized K3-surfaces Observatoire Alex Degtyarev https://ddg40.sciencesconf.org/data/program/Degtyarev.pdf Orbit separation and stratification by isotropy classes of piezoelectricity tensors 9:45 - 10:25 (40min) Orbit separation and stratification by isotropy classes of piezoelectricity tensors Observatoire Evelyne Hubert https://ddg40.sciencesconf.org/data/program/Hubert.pdf Coffee break 10:30 - 11:00 (30min) Coffee break Elimination of quantifiers in the theory of projectable real closed rings with first convexity property 11:00 - 11:40 (40min) Elimination of quantifiers in the theory of projectable real closed rings with first convexity property Observatoire Jorge Guier https://ddg40.sciencesconf.org/data/program/Guier.pdf Updates on decidability of real closed rings 11:45 - 12:25 (40min) Updates on decidability of real closed rings Observatoire Marcus Tressl https://ddg40.sciencesconf.org/data/program/Tressl.pdf Lunch 12:30 - 13:30 (1h) Lunch Closing 13:30 - 14:00 (30min) Closing

Privacy | Accessibility