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 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

Location

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.