About

This conference focuses on the foundations of mathematics, specifically modern views on these foundations. This means that instead of discussing technical details of particular theories, we want to consider the interplay of different foundational systems.

This interdisciplinary approach is relevant mainly for the fields of mathematics, in particular mathematical logic, and philosophy of mathematics.  The conference will consider views of researchers from both fields in order to gain a better understanding of the connections between different foundational systems. This can shed new light on the controversial question whether mathematics may have (or actually needs) a uniform foundation. From these varied perspectives manifold possible questions arise:
  • What is the stance of today’s top researchers concerning the foundations of mathematics?
  • How do today’s foundational systems relate? Are they mutually exclusive? Can they coexist in a ‘consistent’ way?
  • Which attitude should we adopt towards different foundational systems in mathematics?
  • What is the role of logic (or logics) in today’s debate?
  • Do foundational systems (and formalizations) influence our conception of mathematics?
  • How can a possible future mathematics look like? Meaning: given the current debate, will foundational issues be completely irrelevant? Will they be resolved? 

This conference is a continuation of a series of logic and formalism conferences. Beside topical discussions, the aim of this conference series is to foster a community of young scientist interested in foundational mathematics and attract the attention of disciplines concerned with similar subject matters.

This conference might be seen in ideal continuation of:
Formal Mathematics (Bonn 2015), the website is written in German,
FOMUS (Bielefeld 2016) and
LMP (Göttingen 2017).

A poster of the workshop can be downloaded here.
Plakat FMV 2018
File Size: 2894 kb
File Type: pdf
Download File
This event is made possible by the generous support of the ​German Federal Academic Scholarship Foundation (within the framework of Stipendiaten machen Programm), the Max Weber-Programme of the Free State of Bavaria (within the framework of Stipendiaten aktiv!), the Munich Center for Mathematical Philosophy (MCMP) at Ludwig-Maximilians-Universität München (LMU Munich), the Evert Willem Beth Foundation,  the Association for Symbolic Logic (ASL), and the German Society for Analytic Philosophy (GAP).

Best wishes from the organising team,
Vera Gahlen, Levin Hornischer, Sophie Nagler, Robert Passmann, Hannah Pillin, and Deniz Sarikaya 

Speakers

Workshops

Schedule 

Abstracts

You can download the booklet of abstracts here:
fmv2018_abstracts.pdf
File Size: 127 kb
File Type: pdf
Download File

Practical Information

Conference Venue
​The event takes place at the historic Main Building of Ludwig-Maximilians-Universität München/LMU Munich (City Centre Campus).

The address is:
Geschwister-Scholl-Platz 1
80539 München

A map of the LMU City Centre Campus can be found here.
​
The conference rooms (including restrooms) are barrier-free.
Unfortunately, we cannot offer childcare.
But if you want to bring a child with you we will try to find a solution.
Directions
From the Munich Airport (MUC, "Franz Joseph Strauss")
From the Munich Airport take the S-Bahn (suburban train) line S8 (direction Herrsching) or S1 (direction Ostbahnhof/Munich-East) to Marienplatz. Change trains and take the U-Bahn (underground) line U3 (direction Moosach) or U6 (direction Garching-Forschungszentrum) as far as the Universität stop. Walk along the platform in the train’s direction of travel and use the stairs at this end of the station, which will bring you out directly in front of the LMU Main Building.
​We do not recommend you traveling via the Munich West Airport (FMM, "Allgäu-Airport Memmingen") as it is 120 km (75 miles) away from the City of Munich.

From the Central Train Station (München Hauptbahnhof)
From the Munich Central Train Station take the U-Bahn (underground) line U4 (direction Arabellapark) or U5 (direction Neuperlach Süd) to Odeonsplatz. Change trains and take the U-Bahn line U3 (direction Moosach) or U6 (direction Garching-Forschungszentrum) as far as the Universität stop. Walk along the platform in the train’s direction of travel and use the stairs at this end of the station, which will bring you out directly in front of the LMU Main Building.

​From the Central Coach Station (ZOB)
​The Munich Central Coach Station (ZOB) is located right next to Hackerbrücke station, from where you can take each of the S-Bahn (suburban train) lines S1 to S8 (via Central Train Station/Hauptbahnhof) to Marienplatz. Change trains and take the U-Bahn (underground) line U3 (direction Moosach) or U6 (direction Garching-Forschungszentrum) as far as the Universität stop. Walk along the platform in the train’s direction of travel and use the stairs at this end of the station, which will bring you out directly in front of the LMU Main Building.

For more information on the public transportation system in Munich (Münchner Verkehrs- und Tarifverbund, MVV), including details of timetables, tickets and the MVV network, please go to:
https://www.mvv-muenchen.de/en/index.html

Arrival by car:
Since parking facilities near the LMU City Centre Campus are extremely limited, we recommend that you use Munich’s excellent public transportation network.


Non-EU Nationals
Please check visa/entry requirements, for instance here.

Sightseeing
If you come from abroad it might be a good idea to spend some time in Munich. While we do not offer a sightseeing program, you might want to plan further touristic activities. Here you might find some useful information.

Sponsors

This event is made possible by the generous support of the ​German Federal Academic Scholarship Foundation (within the framework of Stipendiaten machen Programm), the Max Weber-Programme of the Free State of Bavaria (within the framework of Stipendiaten aktiv!), the Munich Center for Mathematical Philosophy (MCMP) at Ludwig-Maximilians-Universität München (LMU Munich), the Evert Willem Beth Foundation,  the Association for Symbolic Logic (ASL), and the German Society for Analytic Philosophy (GAP).
​Munich Center for Mathematical Philosophy​
​Evert Willem Beth Foundation