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.