Zermelo-Fraenkel axioms are widely assumed to be the foundation of mathematics within the mathematical practice of set theory. However, an increasing number of researchers are currently working on the univalent foundations as an alternative foundation of mathematics. This relatively young approach is based on homotopy type theory, which is a link between Per Martin-Löf's intuitionistic type theory and the homotopy theory from topology.
The workshop was opened with an introduction to these two different foundational theories, with an emphasis on the less popular homotopy type theory, and then progressed into in-depth panel discussions and research talks.
In addition to presentations of mathematical results regarding HoTT and axiomatic set theories (as well as their relations), formal requirements of foundations of mathematics in general, their limitations and their naturality were examined. Recently, it has become increasingly important to formalise mathematics by computer-aided formal proof systems, such as Coq. With this in mind, it was investigated which foundation is most suitable for the changing needs of mathematical practice.
Sadjad Abolfathi (Teheran, IRI), Benedikt Ahrens (Nantes, FRA), Thorsten Altenkirch (Nottingham, GBR), Clemens Ballarin (Karlsruhe, GER), Jonas Betzendahl (Bielefeld, GER), Marc Bezem (Bergen, NOR), Alexander C. Block (Hamburg, GER), Tobias Boege (Magdeburg, GER), Roland Bolz (Berlin, GER), Nathan Bowler (Hamburg, GER), Fortune Buchholtz (Pittsburgh, USA), Ulrike Buchholtz (Pittsburgh, USA), Mirna Dźamonja (Norwich, GBR), Ionna Matilde Dimitriou Henriquez (Bonn, GER), Anton Golov (Utrecht, NED), Rafal Gruszczynski (Toruń, POL), Regula Krapf (Bonn, GER), James Ladyman (Bristol, GBR), Benedikt Löwe (Amsterdam, NED), Robart Lubarsky (Boca Raton, USA), Paige North (Cambridge, GBR), Andrew M. Pitts (Cambridge, GBR), Michael Rathjen (Leeds, GBR), Andrei Rodin (Moskau, RUS), Urs Schreiber (Bonn, GER), Samuel Speight (Pittsburgh, USA), Bas Spitters (Aarhaus, DEN), Thomas Streicher (Darmstadt, GER), Claudio Ternullo (Wien, AUT), Vladimir Voevodsky (Princeton, USA), Philip David Welch (Bristol, GBR), Sayed Yarandi (Santa Barbara, USA)