[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
We are organizing a workshop on Syntax and Semantics of Type Theories in Stockholm, Sweden, on May 20-21, 2022: https://urldefense.com/v3/__https://europroofnet.github.io/wg6-kickoff-stockholm/__;!!IBzWLUs!F1vFHyLfRbA2OYww3lxoDeJpcyxydQvAaAsUuFgus5H7NqzQ3-F7p2HRE2KuHO8QNDCsbX4NictioA$ The event is intended as a kick-off meeting for working group 6 on type theory of the EuroProofNet EU Cost Action: https://urldefense.com/v3/__https://europroofnet.github.io/wg6/__;!!IBzWLUs!F1vFHyLfRbA2OYww3lxoDeJpcyxydQvAaAsUuFgus5H7NqzQ3-F7p2HRE2KuHO8QNDCsbX4H7EK8Cw$ 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 April* Participation 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)