Schedule
| Time |
Event |
|
|
09:00 - 09:15
|
Opening |
|
|
09:15 - 09:55
|
A non-model complete pfaffian chain (Observatoire) - Gareth Jones |
|
|
10:00 - 10:30
|
Coffee Break |
|
|
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
|
Lunch |
|
|
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
|
Break |
|
|
16:20 - 17:00
|
Lie methods for ω-categorical Engel groups (Observatoire) - Christian D'Elbée |
|
|
19:30 - 20:30
|
Dinner |
|
| Time |
Event |
|
|
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
|
Coffee Break |
|
|
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
|
Lunch |
|
|
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
|
Break |
|
|
16:20 - 17:00
|
Augmentable ordered abelian groups and definable henselian valuations (Observatoire) - Anna De Mase |
|
|
17:15 - 19:15
|
Wine tasting |
|
Wednesday, August 6, 2025
| Time |
Event |
|
|
09:00 - 09:40
|
Spectrahedral shadows (Observatoire) - Claus Scheiderer |
|
|
09:45 - 10:25
|
t-Henselian Fields (Observatoire) - Franziska Jahnke |
|
|
10:30 - 11:00
|
Coffee break |
|
|
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
|
Lunch |
|
| Time |
Event |
|
|
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
|
Coffee break |
|
|
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
|
Lunch |
|
|
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
|
Social Dinner |
|
| Time |
Event |
|
|
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
|
Coffee break |
|
|
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
|
Lunch |
|
|
13:30 - 14:00
|
Closing |
|
|
Loading... 
