August 19 – 24 , 2018, Dagstuhl Seminar 18341
Last update: October 4 2019

Formalization of Mathematics in Type Theory

Participants

  • Benedikt Ahrens (University of Birmingham, GB) [dblp]
  • Carlo Angiuli (Carnegie Mellon University – Pittsburgh, US) [dblp]
  • Andrej Bauer (University of Ljubljana, SI) [dblp]
  • Sophie Bernard (INRIA Sophia Antipolis, FR) [dblp]
  • Yves Bertot (INRIA Sophia Antipolis, FR) [dblp]
  • Auke Booij (University of Birmingham, GB) [dblp]
  • Guillaume Brunerie (University of Stockholm, SE) [dblp]
  • Jacques Carette (McMaster University – Hamilton, CA) [dblp]
  • Mario Carneiro (Carnegie Mellon University – Pittsburgh, US) [dblp]
  • Cyril Cohen (INRIA Sophia Antipolis, FR) [dblp]
  • Manuel Eberl (TU München, DE) [dblp]
  • Martín H. Escardó (University of Birmingham, GB) [dblp]
  • Diane Gallois-Wong (Laboratoire de Recherche en Informatique – Orsay, FR) [dblp]
  • Gaëtan Gilbert (INRIA – Nantes, FR) [dblp]
  • Georges Gonthier (INRIA Saclay – Île-de-France, FR) [dblp]
  • Daniel R. Grayson (Urbana, US) [dblp]
  • Philipp Haselwarter (University of Ljubljana, SI) [dblp]
  • Florent Hivert (Laboratoire de Recherche en Informatique – Orsay, FR) [dblp]
  • Johannes Hölzl (Free University Amsterdam, NL) [dblp]
  • Kuen-Bang (Favonia) Hou (University of Minnesota – Minneapolis, US) [dblp]
  • Simon Huber (University of Göteborg, SE) [dblp]
  • Fabian Immler (Carnegie Mellon University – Pittsburgh, US) [dblp]
  • Nicolai Kraus (University of Nottingham, GB) [dblp]
  • Dan Licata (Wesleyan University – Middletown, US) [dblp]
  • Peter L. Lumsdaine (University of Stockholm, SE) [dblp]
  • Assia Mahboubi (INRIA – Nantes, FR) [dblp]
  • Maria Emilia Maietti (University of Padova, IT) [dblp]
  • Anders Mörtberg (Chalmers University of Technology – Göteborg, SE) [dblp]
  • Scott Morrison (Australian National University – Canberra, AU) [dblp]
  • Russell O'Connor (Blockstream – Montreal, CA) [dblp]
  • Ian Orton (University of Cambridge, GB) [dblp]
  • Anja Petkovic (University of Ljubljana, SI)
  • Claudio Sacerdoti Coen (University of Bologna, IT) [dblp]
  • Bas Spitters (Aarhus University, DK) [dblp]
  • Jonathan Sterling (Carnegie Mellon University – Pittsburgh, US) [dblp]
  • Neil Strickland (University of Sheffield, GB)
  • Michael Trott (Wolfram Research – Champaign, US) [dblp]
  • Hoang Le Truong (Universität des Saarlandes, DE) [dblp]
  • Josef Urban (Czech Technical University – Prague, CZ) [dblp]
  • Floris van Doorn (University of Pittsburgh, US) [dblp]
  • Makarius Wenzel (Augsburg, DE) [dblp]
  • Bohua Zhan (Chinese Academy of Sciences – Beijing, CN) [dblp]


In case of mistakes or questions regarding the links to dblp, please contact Michael Wagner