Workshop on Categorical Logic and Univalent Foundations

Participants
  • Peter Aczel
  • Thorsten Altenkirch
  • Steve Awodey
  • Andrej Bauer
  • Benno van der Berg
  • Auke Booij
  • Andrew Brooke-Taylor
  • Paolo Capriotti
  • Michael Ching
  • Thierry Coquand
  • Eric Faber
  • Richard Garner
  • Tamara von Glehn
  • Neil Ghani
  • Anton Golov
  • Robert Harper
  • Philipp Haselwarter
  • Sina Hazratpour
  • Simon Hewitt
  • Raheleh Jalali
  • Nicolai Kraus
  • Clive Newstead
  • Ian Orton
  • Erik Palmgren
  • Egbert Rijke
  • David Schrittesser
  • Christoph-Simon Senjak
  • İbrahim Şentürk
  • Matthieu Sozeau
  • Amir Tabatabai
  • Dimitris Tsementzis
  • Jakob Vidmar
  • Antoine Voizard
  • Niels Voorneveld