We are organizing a workshop on Syntax and Semantics of Type Theories in Stockholm, Sweden, on May 20-21, 2022:
The event is intended as a kick-off meeting for working group 6 on type theory of the EuroProofNet EU Cost Action:
https://europroofnet.github.io/wg6/
The programme will consist primarily of short talks, with plenty of time for discussion to share recent results, and co-ordinate future research, including collaboration towards deliverables. On the Sunday after the workshop, there will be an informal social excursion — details TBA. The meeting will be in-person.
# Confirmed speakers (more TBA)
* András Kovacs* Andrej Bauer* Anja Petkovic Komel* Ivan Di Liberti* Jonathan Sterling* Taichi Uemura* Théo Winterhalter
# Deadlines
Contributed talks deadline: Monday 11 April
Funding request deadline: Monday 11 AprilParticipation registration deadline: Friday 13 May
To register please fill out the form linked to on the event webpage.
# Organisers
* Benedikt Ahrens (TU Delft & University of Birmingham)* Peter LeFanu Lumsdaine (Stockholm University)* Anders Mörtberg (Stockholm University)