Entrance hall of the ICMS Workshop

Recent developments in the applications of model theory to algebraic, analytic and diophantine geometry

Jul 07, 2014 - Jul 11, 2014

ICMS, 15 South College Street

Organisers

Name Institution
D'Aquino, Paola Seconda Università di Napoli
Koenigsmann, Jochen University of Oxford
Otero, Margarita Universidad Autónoma de Madrid
Wilkie, Alex University of Manchester
Zilber, Boris University of Oxford

 

Model theory is a particularly active branch of mathematical logic. Since its beginnings, in the middle of the twentieth century, it has had connections with several other areas of mathematics. Over the last few years model theory has been applied to algebraic, analytic and diophantine geometry. One leading figure in the field is Angus Macintyre. To mark Professor Macintyre’s retirement the organisers have taken the opportunity to gather leading figures in the field who as well as having careers that impinged upon and were influenced by Macintyre’s own work, also remain at the forefront of research in model theory.

The meeting will paint a broader picture of the current range of applied model theory, giving the whole community a feel for the latest results and the current directions of research in the field.

ICMS is delighted to host this meeting to mark the retirement of Angus Macintyre. Angus was the first Scientific Director of ICMS.

An album of photographs from the workshop can be seen on the ICMS Flickr account.


Arrangements

This meeting will begin with registration early on Monday 7 July and close early afternoon Friday 11 July.   Please take these timings into account when booking your travel. 

 

Participation
Invitations were issued by ICMS in early March 2014.  Please note that a registration fee of 100.00 GBP is payable by all participants.

 

Venue
The meeting will be held at 15 South College Street, Edinburgh.  You may also find this map useful for the meeting.  All lectures will be held in the Newhaven Lecture Theatre.

The Lecture Theatre is equipped with a data projector, computer, visualiser (the new generation of overhead projectors) and two blackboards.  The projector and one board may be used simultaneously.  It is best to bring your presentation on a memory stick to use in our ICMS computer.   Alternatively, it is possible for you to use your own laptop with our data projector, but please be aware that you may have to alter your laptop resolutions/settings. 

 

Accommodation

  • Invited Speakers, Organisers and some Early Career Researchers will already have received information about the accommodation booked on their behalf. 
  • Unless otherwise stated in your invitation email, all other invitees are asked to arrange and pay for their own accommodation.  Some suggestions for accommodation are as follows: 

Masson House, Pollock Halls of Residence, The University of Edinburgh, 18 Holyrood Park Road, Edinburgh EH16 5AY  (89.00 GBP per night)
Please follow the instructions in your invitation email if you wish to book a room in Masson House.
Masson House at Pollock Halls is very suitable and many of the participants will stay there.  Pollock Halls is about a 20-25 minute walk to ICMS.

Jurys Inn Edinburgh, 43 Jeffrey Street, Edinburgh EH1 1DH (approx 90.00 GBP per night)
+44 (0)131 200 3300 - www.jurys-edinburgh-hotels.com
Only a 5 minute walk from ICMS.

Edinburgh City Hotel, 79 Lauriston Place, Edinburgh, EH3 9HZ  (approx 80 GBP per night)
+44 (0)131 622 7979 - http://www.edinburghcityhotel.com/

IBIS (South Bridge) Hotel, 77 South Bridge, Edinburgh, EH1 1HN (rates vary - please check their website for current rate.  Advance booking will secure the best rate)
+44 (0)131 292 0000 - ibis hotel south bridge
Only a 2 minute walk from ICMS.

St Christophers Hostel, 9-13 Market Street, Edinburgh EH1 1DE  (approx 25.00 or less depending on offers available)
+44 (0)20 7407 1856 -  www.st-christophers.co.uk - bookings@st-christophers.co.uk
This is Youth Hostel accommodation.

Further details and many more suggestions for accommodation can be found here

 

Travel
Information about travel to the UK and Edinburgh is available here.
Please note that it is your responsibility to have adequate travel insurance to cover medical and other emergencies that may occur on your trip.

A taxi directly from the airport will cost approximately 20.00 to 25.00 GBP to the city centre for a one-way journey.     There is also a bus service direct from the airport to the city centre which will cost 4.00 single or 7.00 GBP return - the Airlink 100.  This is a frequent service (every 10 minutes during peak times) and will bring you close to Waverley Railway Station, only a short walk to the accommodation and the venue (see map in 'Venue' section above). 

Lothian buses charge £1.50 for a single, £3.50 for a day ticket. Please note that the exact fare is required and no change is given.

If travelling by train, please note that Edinburgh has several railway stations; Waverley Railway Station being the main station and closest to the venue at 15 South College Street. If you alight at Edinburgh Waverley, the workshop venue is an easy 10 minute walk over North and South Bridge. (Other stations are Haymarket and Edinburgh Park at the West side of the city).

 

UK Visas
If you are travelling from overseas you may require an entry visa. A European visa does not guarantee entry to the UK. Please use this link to the UK Visas site to find out if you need a visa and if so how to apply for one.  Participants who require a visa for entry to the UK should contact ICMS as soon as possible.

 

Poster Session
There will be a poster session on the Monday evening combined with an informal wine reception.   Further information about posters is available here.

 

Financial Matters and Registration Fee Payment
Individual financial terms were set out in your invitation from ICMS.  If in doubt, please check the invitation email or contact audrey.brown (at) icms.org.uk

The 100.00 GBP registration fee for the above workshop is now payable and should be paid in advance of the workshop (by FRIDAY 27 JUNE at the very latest).

•    Unfortunately, we do not yet have an on-line payment system at ICMS.

•    To pay 100.00 GBP by credit/debit card, please complete the details on this credit/debit card payment form.   As email is not secure, please print the form and return it by fax using the fax number at the top of the form.   The fax machine is in a locked room and your details will be kept securely until payment is taken.   A receipt will be emailed to you.   Please note that a 1.75% administration fee is added to credit card payments and that we do not accept American Express or Discover cards.

•    To pay 100.00 GBP by sterling cheque, please make your cheque payable to “Heriot-Watt University” and send to Audrey Brown, ICMS, 15 South College Street, Edinburgh, EH8 9AA.  

If you have any difficulty in paying in advance, please email:    audrey.brown (at) icms.org.uk .

 

Contacts
All enquiries about arrangements for this meeting should be addressed to audrey.brown (at) icms.org.uk   

 

Programme

All talks on Monday, Tuesday, Thursday and Friday have been allocated 50 minutes, (plus 10 minutes for questions and 'change-over' to the next Speaker).
Talks on Wednesday are 45 minutes in length. 

 

Monday 7 July

09.00-10.30

Registration & coffee in the Chapterhouse, Level 1

10.30-11.30

Marek Karpinski, University of Bonn
On VC dimension of Pfaffian networks and formulas

11.30-12.30

Ivan Tomasic, Queen Mary University
Applications of difference algebraic geometry  pdf of presentation

12.30-14.00

Lunch provided in the Chapterhouse

14.00-15.00

Deirdre Haskell, McMaster University
Towards understanding domination by the residue field in expansions of convexly valued ordered fields

15.00-16.00

Antongiulio Fornasiero, Seconda Universitá di Napoli
Topology in definably complete structures

16.00-16.30

Coffee/Tea in the Chapterhouse

16.30-17.30

Jonathan Pila, University of Oxford
Arithmetic and functional transcendence around Schanuel's conjecture

17.30-19.00

Poster Session and informal wine reception in the Chapterhouse

 

Tuesday 8 July

09.00-10.00

Gareth Jones, University of Manchester
Improvements in the Pila-Wilkie theorem for curves

10.00-10.30

Coffee/Tea in the Chapterhouse

10.30-11.30

Raf Cluckers, Université Lille 1/University of Leuven
Motivic integration for all p-adic fields

11.30-12.30

Ehud Hrushovski, Hebrew University of Giv'at Ram
Voyage to the land of Erdös

12.30-14.00

Lunch provided in the Chapterhouse

14.00-15.00

Frank Wagner, Université Claude Bernard Lyon-1
A Fitting theorem for simple theories

15.00-16.00

Françoise Point, Mons University
On definable groups in differential topological fields   pdf of presentation

16.00-16.30

Coffee/Tea in the Chapterhouse

16.30-17.30

François Loeser, École Normale Supérieure
Geometry of p-adic definable sets

 

Wednesday 9 July

09.00-09.45

Martin Bays, McMaster University
Universal covers of commutative finite Morley rank groups

09.45-10.30

Jamshid Derakhshan, University of Oxford
Model theory of the ring of adeles of a number field

10.30-11.00

Coffee/Tea in the Chapterhouse

11.00-11.45

Chloé Perin, Institut de Recherche Mathématique Avancée
Forking in the free group

11.45-12.30

Franziska Jahnke, Universität Münster
Definable henselian valuations   pdf of presentation

12.30

Free afternoon

 

Thursday 10 July

09.00-10.00

Jan Denef, University of Leuven
On a conjecture of Colliot-Thélène

10.00-10.30

Coffee/Tea in the Chapterhouse

10.30-11.30

David Marker, University of Illinois at Chicago
Representing Scott sets in algebraic settings

11.30-12.30

Alice Medvedev, City University of New York
Algebraic dynamics and the model theory of difference fields

12.30-14.00

Lunch provided in the Chapterhouse

14.00-15.00

Julia Gordon, University of British Columbia
Applications of motivic integration to harmonic analysis on p-adic groups

15.00-16.00

Gregory Cherlin, Rutgers University
Finite binary homogeneous structures    pdf of presentation

16.00-16.30

Coffee/Tea in the Chapterhouse

16.30-17.30

Sergei Starchenko, University of Notre Dame
Ramsey-type theorems in certain NIP theories

19.00

Dinner in The Playfair Library, Old College, Edinburgh

 

Friday 11 July

09.00-10.00

Zoé Chatzidakis, CNRS/Université Paris Diderot - Paris 7
Model theory of difference fields - a survey

10.00-10.30

Coffee/Tea in the Chapterhouse

10.30-11.30

Lou van den Dries, University of Illinois
The model theory of the differential field of transseries    pdf of presentation

11.30-12.30

Angus Macintyre, Queen Mary University of London
Pointwise definability in Zilber's exponential fields

12.30

Close of meeting

 

 

Presentations:

Presentation Details
Anscombe, Will
POSTER: Existentially and universally definable valuations
Baro, Elías
POSTER: Approximation on Nash sets with monomial singularities
Bays, Martin
Universal covers of commutative finite Morley rank groups
View Abstract Down
Chatzidakis, Zoé
Model theory of difference fields - a survey
View Abstract Down
Cherlin, Gregory
Finite binary homogeneous structures
View Abstract Down
Cluckers, Raf
Motivic integration for all p-adic fields
View Abstract Down
de Vicente, Juan
POSTER: Two-dimensional abelian locally Nash groups
Denef, Jan
On a conjecture of Colliot-Thélène
View Abstract Down
Derakhshan, Jamshid
Model theory of the ring of adeles of a number field
View Abstract Down
Dupont, Katarina
POSTER: Valuations and topologies induced by groups of prime powers
Fornasiero, Antongiulio
Topology in definably complete structures
View Abstract Down
Gordon, Julia
Applications of motivic integration to harmonic analysis on p-adic groups
View Abstract Down
Haskell, Deirdre
Towards understanding domination by the residue field in expansions of convexly valued ordered fields
View Abstract Down
Hrushovski, Ehud
Voyage to the land of Erdös
View Abstract Down
Jahnke, Franziska
Definable henselian valuations
View Abstract Down
Jones, Gareth
Improvements in the Pila-Wilkie theorem for curves
View Abstract Down
Karpinski, Marek
On VC dimension of Pfaffian networks and formulas
View Abstract Down
L'Innocente, Sonia
POSTER: Rings of de nable scalars of some sl3-modules
Loeser, François
Geometry of p-adic definable sets
View Abstract Down
Macintyre, Angus
Pointwise definability in Zilber's exponential fields
View Abstract Down
Mantova, Vincenzo Luca
POSTER: Generic solutions of polynomial-exponential equations
Mariaule, Nathanael
POSTER: A counting points theorem for systems of p-adic exponential polynomials
Marker, David
Representing Scott sets in algebraic settings
View Abstract Down
Medvedev, Alice
Algebraic dynamics and the model theory of difference fields
View Abstract Down
Perin, Chloé
Forking in the free group
View Abstract Down
Pheidas, Thanases C
POSTER: The theory of addition and restricted multiplication over a ring of polynomials in positive characteristic
Pila, Jonathan
Arithmetic and functional transcendence around Schanuel's conjecture
View Abstract Down
Point, Françoise
On definable groups in differential topological fields
View Abstract Down
Scowcroft, Philip
POSTER: Existentially closed prime-model extensions of Abelian lattice-ordered groups
Starchenko, Sergei
Ramsey-type theorems in certain NIP theories
View Abstract Down
Terzo, Giuseppina
POSTER: Comparing C and Zilber's exponential fields: zero sets of exponential polynomials
Tomasic, Ivan
Applications of difference algebraic geometry
View Abstract Down
Uğurlu, Pinar
POSTER: On linear pseudofinite groups
van den Dries, Lou
The model theory of the differential field of transseries
View Abstract Down
Wagner, Frank
A Fitting theorem for simple theories
View Abstract Down
Wood, Daniel
POSTER: Asymptotic classes

Participants

Name Institution
Anscombe, Will University of Leeds
Aschenbrenner, Matthias University of California, Los Angeles
Baro, Elías Universidad Complutense de Madrid
Bays, Martin McMaster University
Bélair, Luc Université du Québec à Montréal
Berarducci, Alessandro Università di Pisa
Bouscaren, Elisabeth CNRS/Université Paris-Sud
Chatzidakis, Zoé CNRS/Université Paris Diderot - Paris 7
Cherlin, Gregory Rutgers University
Chernikov, Artem Université Paris Diderot - Paris 7
Cluckers, Raf Université Lille 1/University of Leuven
Cubides Kovacsics, Pablo Université Lille 1
D'Aquino, Paola Seconda Università di Napoli
de Vicente, Juan Universidad Autónoma de Madrid
Delon, Françoise CNRS/Université Paris 7
Denef, Jan University of Leuven
Derakhshan, Jamshid University of Oxford
Dickmann, Max Université Paris Diderot - Paris 7
Dupont, Katarina University of Konstanz
Edmundo, Mario Universidade Aberta and CMAF - Universidade de Lisboa
Efem, Ugur University of Oxford
Evans, David University of East Anglia
Fornasiero, Antongiulio Seconda Università di Napoli
Garcia Ramirez, Erick University of Leeds
Gismatullin, Jakub University of Wroclaw
Glass, Andrew M W University of Cambridge
Goral, Haydar Université Claude Bernard Lyon-1
Gordon, Julia University of British Columbia
Gregory, Lorna University of Manchester
Halupczok, Immanuel Universtiy of Leeds
Haskell, Deirdre McMaster University
Haykazyan, Levon University of Oxford
Hils, Martin Université Paris Diderot - Paris 7
Hrushovski, Ehud Hebrew University of Giv'at Ram
Jagiella, Grzegorz Uniwersytet Wrocławski
Jahnke, Franziska Universität Münster
Jones, Gareth University of Manchester
Karpinski, Marek University of Bonn
Kirby, Jonathan University of East Anglia
Koenigsmann, Jochen University of Oxford
Kowalski, Piotr University of Wroclaw
Krupiński, Krzysztof Uniwersytet Wroclawski
L'Innocente, Sonia Università degli Studi di Camerino
Leinster, Tom University of Edinburgh
Loeser, François École Normale Supérieure
Macintyre, Angus Queen Mary University of London
Macpherson, Dugald University of Leeds
Malliaris, Maryanthe University of Chicago
Mantova, Vincenzo Luca Università di Camerino
Mariaule, Nathanael Seconda Università di Napoli
Marker, David University of Illinois at Chicago
Martín Pizarro, Amador CNRS
Medvedev, Alice City University of New York
Newelski, Ludomir Uniwersytet Wrocławski
Onshuus, Alf Universidad de los Andes
Otero, Margarita Universidad Autónoma de Madrid
Ould Houcine, Abderezak Université Claude Bernard Lyon-1
Paajanen, Pirita Sanger Institute
Perin, Chloé Institut de Recherche Mathématique Avancée
Peterzil, Ya'acov University of Haifa
Pheidas, Thanases C University of Crete
Pila, Jonathan University of Oxford
Point, Françoise Mons University
Prest, Mike University of Manchester
Regnault, Nathalie Université Libre de Bruxelles/Université de Mons-Hainaut
Scowcroft, Philip Wesleyan University
Siniora, Daoud University of Leeds
Speissegger, Patrick McMaster University
Starchenko, Sergei University of Notre Dame
Steinhorn, Charles Vassar College
Strommen, Kristian University of Oxford
Terzo, Giuseppina Seconda Università degli Studi di Napoli
Thomas, Margaret Universität Konstanz
Toffalori, Carlo Università degli Studi di Camerino
Tomasic, Ivan Queen Mary University of London
Tressl, Marcus University of Manchester
Uğurlu, Pinar Istanbul Bilgi University
van den Dries, Lou University of Illinois
Wagner, Frank Université Claude Bernard Lyon-1
Wilkie, Alex University of Manchester
Wood, Carol Wesleyan University
Wood, Daniel University of Leeds
Zilber, Boris University of Oxford