Registration is free, but required for planning purposes, by Friday 13 May. To register please fill out the form linked to on the event webpage.
# Invited speakers:
- Andrej Bauer
- Anja Petković Komel
- András Kovacs
- Ivan Di Liberti
- Jonathan Sterling
- Taichi Uemura
- Théo Winterhalter
There will also be multiple contributed talks, for details see the schedule:
# Organisers
* Benedikt Ahrens (TU Delft & University of Birmingham)
* Peter LeFanu Lumsdaine (Stockholm University)
* Anders Mörtberg (Stockholm University)