Model Theory of Valued Fields and Applications

Münster, 10.06.-14.06.2019


(View over Münster from the logic institute)


The aim of this conference is to bring together specialists from the algebraic (or arithmetic) and the pure model theory community who all study valued fields, but with very different tools. Here is a link to our conference poster. Here are the conference photos (photo 1, photo 2).

The topics covered in the talks will range from the more classical model theory of valued fields (field arithmetic, in particular definability of valuations, and model theory of valued fields in positive characteristic, in particular concerning decidability) to the pure or geometric side of the model theory spectrum (connections to neostability and geometric methods in the model theory of valued fields). To encourage new developments, there also will be talks presenting applications of model theory of valued fields, e.g. to non-archimedean geometry and motivic integration.

The conference will take place at the Department of Mathematics and Computer Science of the WWU Münster. It is funded by the German Research Foundation (DFG), the Cluster of Excellence 'Mathematics Münster' and the National Science Foundation (NSF).

Note: The Cluster of Excellence offers free childcare during the conference. Please contact the organizers as soon as possible if you are considering taking advantage of this!

Schedule

Titles and abstracts can be found in the conference booklet.

Reception: On Tuesday starting from 18h, there is a poster session (with wine and cheese) in the Cluster room (where we also have the coffee breaks).

Excursion: On Wednesday afternoon, participants can choose to go on a guided city tour or on a bike tour. To take part in the city tour, either meet in front of the lecture hall building at 14:30h or in the courtyard of the town hall (link to google maps) at 15:00h (where the tour will start). If you want to take part in the bike tour, the meeting point is in front of the train station (link to google maps) at 15:30h.

Conference Dinner: The dinner will be on Thursday evening (18:30h) at the Restaurant Zum Himmelreich (link to google maps).

MondayTuesdayWednesday ThursdayFriday
09:00 - 09:50 Koenigsmann Chernikov LoeserPop Aschenbrenner
10:00 - 10:50 Montenegro JohnsonRzepkaOnayDelon
11:00 - 11:30 Coffee Coffee Coffee Coffee Coffee
11:30 - 12:20 Hempel RideauKuhlmann Dittmann Cubides
12:30 - 14:00 Lunch Lunch Lunch Lunch Lunch
14:00 - 14:50 SimonDorAnscombeHalupczok
15:00 - 15:30 Coffee Coffee Coffee
15:30 - 16:20 HaleviJarden Ducros
Evening Poster sessionConference Dinner

Speakers

Registration

Registration is open: just follow this link. Please contact the organisers if you have any troubles with the registration process.

Funding for Early Career Researchers

Due to the generous support via an NSF conference grant, early career researchers based in the US can apply for funding towards travel and local cost. In order to apply for this funding, please send an email including a CV and the contact details of someone willing to write a reference letter on your behalf to the organizers before the end of March 2019. For non-US-based early career researchers, the funding deadline was at the end of January 2019.

Venue

The conference takes place at the Department of Mathematics and Computer Science in Münster which is located at (Google Maps):

Einsteinstraße 62
48149 Münster
Germany

Accommodation

We will arrange accomodation for invited speakers; all other participants are kindly asked to book their own hotel rooms. A contingent of rooms with special rates can be booked through this link. Special rates apply (and rooms in our contingent are guaranteed to be free) until 6 weeks before the beginning of the conference.

In addition to the (possibly more expensive) hotels, we also list some budget hostels:

Travel

The University of Münster is located in Münster, Germany. (An alternative spelling of Münster is Muenster - note that this is different from Munster, Germany!)

The airport Münster-Osnabrück (FMO) is located 30 km from Münster. Shuttle service by bus to Münster central station is available (45 min). The international airport Düsseldorf (DUS) offers a variety of international flights. The train ride to Münster central station takes 90 minutes. Details about connecting trains are available at bahn.de.

Münster is well connected by train. For details see bahn.de.

Organisers

Martin Hils and Franziska Jahnke
email: mtvfa2019(at)uni-muenster.de