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

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:

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_2-2-2018.pdf |

This event is made possible by the generous support of the German Federal Academic Scholarship Foundation (within the framework of

Best wishes from the organising team,

Vera Gahlen, Levin Hornischer, Simon Nagler, Robert Passmann, Hannah Pillin, and Deniz Sarikaya

*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, Simon Nagler, Robert Passmann, Hannah Pillin, and Deniz Sarikaya