Invited Speakers
- Benedikt Ahrens (INRIA Nantes, France)
- Thorsten Altenkirch (University of Nottingham, UK)
- Clemens Ballarin (aicas GmbH Karlsruhe, Germany)
- Marc Bezem (Universitetet i Bergen, Norway)
- Alexander Carstensen Block (Universität Hamburg, Germany)
- Nathan Bowler (Universität Hamburg, Germany)
- Ulrik Buchholtz (Carnegie Mellon University, USA)
- Ioanna Dimitriou (University of Bonn, Germany)
- Mirna Džamonja (University of East Anglia, UK)
- Regula Krapf (University of Bonn, Germany)
- James Ladyman (University of Bristol, UK)
- Benedikt Löwe (Universität Hamburg, Germany & Universiteit van Amsterdam, Netherlands)
- Paige North (University of Cambridge, UK)
- Andrew Pitts (University of Cambridge, UK)
- Michael Rathjen (University of Leeds, UK)
- Andrei Rodin (Saint Petersburg State University, Russia)
- Urs Schreiber (Czech Academy of Sciences, Czechia)
- Bas Spitters (Aarhus University, Denmark)
- Thomas Streicher (Technische Universität Darmstadt, Germany)
- Claudio Ternullo (University of Vienna, Austria)
- Vladimir Voevodsky (Institute for Advanced Study, Princeton, USA)
- Philip Welch (University of Bristol, UK)