FOMUS - Foundations of Mathematics: Univalent foundations and set theory ​​​Bielefeld, Germany | July 18-23, 2016
  • Home
  • Participants
  • Programme
  • Talks: Abstracts + Videos
  • Registration
  • Arrival and Venue
  • Contact

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)

Participants

  • Sadjad Abolfathi (Tarbiat Modares University, Iran)
  • Sebastian Bartling (University of Bielefeld)
  • Jonas Betzendahl (University of Bielefeld)
  • Martin Ernst Bidlingmaier (Karl-Ruprecht University Heidelberg)
  • David Binder (University of Tübingen)
  • Tobias Boege (Otto-von-Guericke-Universität Magdeburg)
  • Roland Bolz (Humboldt University Berlin and European Graduate School)
  • Julchen Brieger (Otto-von-Guericke-Universität Magdeburg)
  • Benjamin Brück (University of Bielefeld)
  • Lauren Edlin (University of Bielefeld)
  • Karsten Engel (Otto-von-Guericke-Universität Magdeburg)
  • Denis Erfurt (Humboldt University Berlin)
  • Aras Ergus (University of Bonn)
  • Amelie Flatt (Karlsruher Institut für Technologie)
  • Julia Garcia No (University of Bonn)
  • Anton Golov (University of Utrecht)
  • Paul Gölz (Saarland University)
  • Leo Graf (Karl-Ruprecht University Heidelberg)
  • Rafal Gruszczynski (Nicolaus Copernicus University in Torun, Poland)
  • Myriam-Sonja Hantke (University of Bielefeld)
  • Andreas Haupt (University of Bonn)
  • Wolfgang Keller (Otto-von-Guericke University Magdeburg)
  • Dominik Kirst (University of Oxford, UK)
  • Maciej Kleczek (University of Bielefeld)
  • Fabian Kunze (Saarland University)
  • Jan-Paul Lerch (University of Bielefeld)
  • Andreas Lietz (University of Bonn)
  • Tadeusz Litak (FAU Erlangen-Nürnberg)
  • Robert Lubarsky (Florida Atlantic University, FL, US)
  • Martin Lüdtke (Goethe-Universität Frankfurt)
  • Martin Lundfall (Stockholm University, SWE)
  • James Moody (University of California, Berkeley, CA, US)
  • Stella Moon (University of Amsterdam)
  • David Myers (Oberlin College, OH, US)
  • Robert Paßmann (University of Bonn)
  • Jakob Piribauer (University of Amsterdam)
  • Andrew Polonsky (Diderot University, Paris, FR)
  • Felix Rech (Saarland University)
  • Colin Jakob Rittberg (Vrije Universiteit Brussels; BEL)
  • Daniel Röwe (University of Bielefeld)
  • Lorin Samija (University of Oxford, UK)
  • Jonathan Schmidt-Domine (Ludwig-Maximilians-Universität München)
  • Felix Schremmer (Friedrich-Schiller-University Jena)
  • Eike Schulte (University of Leipzig)
  • Robert Seidel (TU Berlin)
  • Alexander Shamov (Weizmann Institute, ISR)
  • Michael Shanks (Bristol University, England)
  • Ingo Skupin (University of Tübingen)
  • Sam Speight (Carnegie Mellon University, PA, US)
  • Luisa Vogel (University of Bonn)
  • Carl Wanninger (University of Osnabrück)
  • Thorsten Wißmann (FAU Erlangen-Nürnberg)
  • Chuangjie Xu (Ludwig-Maximilians-Universität München)
  • Xuan-Gottfried Yang (University of Osnabrück)
  • Seyed Mohammad Yarandi (University of California, Santa Barbara, CA, US)

Map of the home universities

Powered by Create your own unique website with customizable templates.
  • Home
  • Participants
  • Programme
  • Talks: Abstracts + Videos
  • Registration
  • Arrival and Venue
  • Contact