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