Third MALOA Training Workshop in Oxford

MALOA Training Workshop

26.08.12 - 01.09.12

Lady Margaret Hall, 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.



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 as soon as possible if you'd like to contribute a talk or poster.

Slides from contributed talks



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 If you need an invitation letter in order to get a visa for the UK, please contact the MALOA administrator Patricia Grant (



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.