Structures algébriques et ordonnées - Sciencesconf.org

Semaine Lun. 04 Mar. 05 Mer. 06 Jeu. 07 Ven. 08 Liste

	Lun. 04	Mar. 05	Mer. 06	Jeu. 07	Ven. 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 Pause café 10:00 - 10:30 (30min) Pause café 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 Déjeuner 12:30 - 13:30 (1h) Déjeuner 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 Pause 15:50 - 16:20 (30min) Pause 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 Dîner 19:30 - 20:30 (1h) Dîner	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 Pause café 10:30 - 11:00 (30min) Pause café 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 converse to Cartan's Theorem B 11:45 - 12:25 (40min) A converse to Cartan's Theorem B Observatoire José Fernando https://ddg40.sciencesconf.org/data/program/Fernando.pdf Déjeuner 12:30 - 13:30 (1h) Déjeuner 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 Pause 15:50 - 16:20 (30min) Pause 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 Pause café 10:30 - 11:00 (30min) Pause café 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 Déjeuner 12:30 - 13:30 (1h) Déjeuner	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 Pause café 10:30 - 11:00 (30min) Pause café 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 Déjeuner 12:30 - 13:30 (1h) Déjeuner 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 Dîner social 19:30 - 21:30 (2h) Dîner social	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 Pause café 10:30 - 11:00 (30min) Pause café 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 Déjeuner 12:30 - 13:30 (1h) Déjeuner Closing 13:30 - 14:00 (30min) Closing

CNRS

CCSD

Sciencesconf