International Workshop on Computational Approaches to the Foundations of Mathematics

Mathematisches Institut, Ludwig-Maximilians-Universität Münich
April 11-13 2018

To the outside world, mathematics stands out amongst the exact sciences due to its reliability, timelessness, and absolute correctness. Closer inspection reveals an ongoing quest for the (ultimate) foundations of mathematics with a number of competing views (constructive mathematics, type theory, reverse mathematics, formalised mathematics). The aim of this workshop is to bring people from these various backgrounds together to create progress relating to the computational aspects of the foundations of mathematics.


The workshop will be preceded by a public lecture

The Concept of Proof given by Matthias Baaz, TU Wien

which will take place at 18:00 on Wednesday 11 April at LMU's Center for Advanced Studies (Seestrasse 13).

The main workshop will take place in Room B-349 of the Mathematics Department of LMU. A detailed programme is available here.

Thursday 12.4 Friday 13.4
9:00-10:00 Ulrich Kohlenbach Douglas Cenzer
10:00-10:45 Michael Rathjen Thomas Powell
10:45-11:15 Coffee Break Coffee Break
11:15-12:00 Joost Joosten Sam Sanders
12:00-12:45 Benno van den Berg Imme van den Berg
12:45-13:45 Lunch Break Lunch Break
13:45-14:30 Silvia Steila Fernando Ferreira
14:30-15:15 Anton Freund Dag Normann
15:15-15:45 Coffee Break Coffee Break
15:45-16:30 John Longley Reinhard Kahle
16:30-17:00 Bruno Dinis Pedro Pinto


The Mathematics Department is located in the city centre, right in the middle of the 'Museum Quarter'. It is easily reached via the U-Bahn, the closest stops being Universität or Odeonsplatz. See here for detailed directions from either the main train station or the airport.


For further questions, please contact one of the event organisers:

This workshop was generously supported by the Center for Advanced Studies and the Alexander von Humboldt Foundation. We would also like to thank the Mathematics Department of LMU together with the Munich Center for Mathematical Philosophy for their help with the organisation of the event.