Anglo-Belgian Workshop in Model Theory and Applications

University of Mons, 2-3/12/2009
Place de Mons Pentagone, Umons


Funded by the British Coucil and WBI/FNRS Partnership Program in Sciences  and by the Ecoles Doctorales Thématiques.
Satellite meeting of the LMS-BMS Joint Meeting, Leuven 4-5/12/2009 (contact: Françoise Point)

Place:


UMons
Campus de la Plaine
Building Le Pentagone (Local 0A11)
Avenue du champ de Mars
7000 Mons

Organizers:
  • Cédric Rivière (UMons, B)
  • Ivan Tomasic (QMUL, UK)
Local committee:
  • Christian Michaux (UMons, B)
  • Françoise Point (UMons, B)

Invited speakers:   
  • Gurgen Asatryan (UMons, B)
  • Vince Barany (Oxford, UK)
  • Raf Cluckers (KUL, B, Lille1,  F)
  • Tom Foster (Oxford, UK)
  • Immanuel Halupczok (Munster, G)
  • Gareth Jones (Manchester, UK)
  • Jonathan Kirby (Oxford, UK)
  • Eva Leenknegt (KUL, B)
  • Abderezak Ould Houcine (UMons, B)
  • Tamara Servi (Lisboa, Por)
  • Ivan Tomasic (QMUL, UK)

Expected Participants:
  • Jeroen Demeyer (Gent, B)
  • Thomas Brihaye (UMons, B)
  • Quentin Brouette (UMons, B)
  • Luc Bélair (UQAM, C)
  • Giuseppina Terzo (Napoli, I)
  • Janak Ramakrishnan (Lyon, F)
  • Zoé Chatzidakis (Paris, F)
  • Thierry Libert (B)
  • Claudia Degroote (Gent, B)
  • Charles Morgan (London, UK)
  • Lee Butler (Bristol, UK)



Some hotels in Mons:
  • Infotel Mons   (center of Mons, near the Grand Place, 15 minutes from the Conference site, single room from 69 euros)
  • St James Hotel (10 minutes walk from the Grand-Place, 15 minutes from the Conference site, single rooms from 73 euros)
  • Hotel Ibis (in front of the station, 20 minutes walk from the Conference site, single rooms from 69 euros)
  • Youth Hostel of Mons (near the Grand Place, 15 minutes walk from the Conference site)
  • Lido Hotel (5 minutes walk from the site Conference, 10 minutes walk from the center of Mons, single rooms from, single rooms from 120 euros)
Some restaurant in Mons:

Schedule (tentative):     (Abstracts)

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
    


For more informations, please contact Cédric Rivière