Invited speakers:
|
Expected Participants:
|
Wednesday |
Thursday | ||
09h00-09h45 |
Welcome |
09h00-10h00 |
Gurgen Asatryan
Integer parts of ordered fields |
09h45-10h45 |
Immanuel Halupczok
Definable sets in valued fields are almost cones |
10h00-10h20 |
Coffee |
10h45-11h00 |
Coffee |
10h20-11h20 |
Gareth Jones Mild parametrization and the density of rational points on certain definable sets |
11h00-12h00 |
IvanTomasic
Fields with autorphism and measure |
11h20-12h20 | Tom Foster A theory which is decidable iff Th(R_exp) is decidable |
12h00-14h00 |
Lunch |
12h20-14h00 |
Lunch |
14h00-15h00 |
Raf Cluckers
Stability under Lebesgue integration of subanalytic functions and their logarithms |
14h00-15h00 |
Tamara Servi On the decidability of the real field with a generic power function (joint work with G. Jones) |
15h00-16h00 |
Eva Leenknegt
Cell decomposition and definable p-adic sets and functions |
15h00-16h00 |
Jonathan Kirby Finitely presented exponential fields |
16h00-16h30 |
Coffee |
16h00-16h30 |
Coffee |
16h30-17h30 |
Vince Barany Guarded logics: finite models with forbidden configurations |
16h30-17h30 |
Abderezak Ould Houcine One variable equations in limit group |
17h45-18h30 |
Discussion (Chair: Luc Bélair) |
||
19h30 | Conference Dinner | 18h30 | Closing Reception |