<div dir="ltr"><div dir="ltr"><div>As previously announced, we are organizing an in-person workshop on <span>Syntax</span> and <span>Semantics</span> of Type Theories in Stockholm, Sweden, May 20-21, 2022. Details can be found at:<br>
</div>
<div><br>
</div>
<div><a href="https://urldefense.com/v3/__https://europroofnet.github.io/wg6-kickoff-stockholm/__;!!IBzWLUs!RzvbAQwLyd8l_4lxEk8SWgyTqE08SZtnBZ88IB7DmLdxRhfGsQ7GkFSybMnXNgJ-tIfP7opmYXv_b0XJvYH5GvskPcepOKutvLjljRY$" target="_blank">https://europroofnet.github.io/wg6-kickoff-stockholm/</a></div></div><div dir="ltr">

<p>Registration is free, but required for planning purposes, by <strong>Friday 13 May</strong>. To register please fill out the form linked to on the event webpage.</p>
# Invited speakers:

<ul><li>Andrej Bauer</li><li>Anja Petković Komel</li><li>András Kovacs</li><li>Ivan Di Liberti</li><li>Jonathan Sterling</li><li>Taichi Uemura</li><li>Théo Winterhalter</li></ul><div>There will also be multiple contributed talks, for details see the schedule:</div><div><br></div><div><a href="https://urldefense.com/v3/__https://europroofnet.github.io/wg6-kickoff-stockholm/programme__;!!IBzWLUs!RzvbAQwLyd8l_4lxEk8SWgyTqE08SZtnBZ88IB7DmLdxRhfGsQ7GkFSybMnXNgJ-tIfP7opmYXv_b0XJvYH5GvskPcepOKutRcfpO00$" target="_blank">https://europroofnet.github.io/wg6-kickoff-stockholm/programme</a></div><div><br></div>
# Organisers<br>
<div><br>
</div>
<div>* Benedikt Ahrens (TU Delft & University of Birmingham)</div>
<div>* Peter LeFanu Lumsdaine (Stockholm University)</div>
<div>* Anders Mörtberg (Stockholm University)</div><div class="gmail-yj6qo"></div><div class="gmail-adL"></div><div class="gmail-adL">
</div><div class="gmail-adL"><br>
</div></div></div>