ddg40 : Structures algébriques et ordonnées
4-8 Aug 2025 Banyuls-sur-mer (France)
FR
EN
Login
Lost password ?
Create account
Main menu
Home
Registration
Speakers
List of Participants
Access and accommodation
Committees
Schedule
HELP
@ Contact
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
Loading...