Third MALOA Training Workshop in Oxford
This is a workshop on mathematical logic intended mainly for PhD students, but post-docs and more senior mathematicians are welcome. It is one of a series of training events organised by the Marie Curie Initial Training Network MALOA (see also the first and the second training workshops). The workshop will cover a range of topics in logic, and will consider also applications of logic outside mathematics. Registration is now closed.
All talks will be in the Simpkins Lee lecture theatre in Lady Margaret Hall. You can ask the porters at LMH for directions to the lecture theatre.
Programme
The schedule can be found here, there are also abstracts.
Lectures and courses
There will be three 5-hour courses, given by Ulrich Kohlenbach (Darmstadt), Kobi Peterzil (Haifa) and Jochen Koenigsmann (Oxford), and one 2-hour course by Andreas Doering (Oxford). In addition, there will be a 2-hour complementary training session.
Lecture Notes
Ulrich Kohlenbach, "Proof Mining": Lecture 1, Lecture 2, Lecture 3, Lecture 4, Lecture 5
Andreas Doering, "Quantum Logic": Lecture 1, Lecture 2
Student presentations
There are a number of half-hour slots for graduate students to present their work. Students can also bring posters for the poster session. Please contact @email as soon as possible if you'd like to contribute a talk or poster.
Slides from contributed talks
- William Anscombe, "F-Definability in Power Series Fields F((t))"
- David Bradley-Williams, "On a family of unfamiliar Jordan groups"
- Artem Chernikov, "On the number of Dedekind cuts and two-cardinal models of NIP theories"
- Bernhard Elsner, "A Geometric Notion of Smoothness"
- Zaniar Ghadernezhad, "On the automorphism group of ab-initio generic structures"
- Franziska Jahnke, "Definable Henselian Valuations"
- Pablo Cubides Kovacsics, "Locally constant functions in C-minimal structures"
Registration
A list of participants can be found here.
You were able to book meals and accommodation when you registered. Note that the registration deadline was the 16th of August. If you have any questions about the booking system, please send an email to @email. If you need an invitation letter in order to get a visa for the UK, please contact the MALOA administrator Patricia Grant (@email).
Venue
The workshop (including all talks) will take place at Lady Margaret Hall. You can find a map of the Oxford city centre showing LMH, bus stops and the train station here. If you arrive by bus, you can either get off at "Queens Lane" or at "Gloucester Green", the latter is a longer bus ride but you will find a taxi stand there if you'd rather not walk. When you arrive at LMH, go to the porters' lodge; they will help you find your room and the lecture theatre. All talks will be in the Simpkins Lee lecture theatre.
Participants are able to book accommodation and meals there during the registration process. There are two accommodation options in LMH, single room ensuite for £564 and standard for £486. Both options include full board. If you'd like to stay in an alternative accommodation, you can book a lunch package for £40. There is going to be a conference dinner, costing £25 for everyone staying at LMH and £45 for everyone staying in alternative accommodation.