[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
As previously announced, we are organizing an in-person workshop on Syntax and Semantics of Type Theories in Stockholm, Sweden, May 20-21, 2022. Details can be found at: https://urldefense.com/v3/__https://europroofnet.github.io/wg6-kickoff-stockholm/__;!!IBzWLUs!RzvbAQwLyd8l_4lxEk8SWgyTqE08SZtnBZ88IB7DmLdxRhfGsQ7GkFSybMnXNgJ-tIfP7opmYXv_b0XJvYH5GvskPcepOKutvLjljRY$ 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: https://urldefense.com/v3/__https://europroofnet.github.io/wg6-kickoff-stockholm/programme__;!!IBzWLUs!RzvbAQwLyd8l_4lxEk8SWgyTqE08SZtnBZ88IB7DmLdxRhfGsQ7GkFSybMnXNgJ-tIfP7opmYXv_b0XJvYH5GvskPcepOKutRcfpO00$ # Organisers * Benedikt Ahrens (TU Delft & University of Birmingham) * Peter LeFanu Lumsdaine (Stockholm University) * Anders Mörtberg (Stockholm University)