<div dir="ltr"><div dir="ltr"><div><div id="m_7219236264039746548gmail-:2uh"><div id="m_7219236264039746548gmail-:29l"><div dir="ltr"><div>Reminder: the deadline to contribute a talk and applying for funding to participate in  the workshop on type theory here in Stockholm is <b>Monday next week (11 April)</b>. For details see the email below.<br></div></div></div></div></div><div><br></div><div>The meeting is open to anyone interested in type theory and the program will consist primarily of short talks, with plenty of 
time for discussions to share recent results, and co-ordinate future 
research. Everyone is very welcome to apply for funding regardless of whether one is contributing a talk or not. Priority will  then be given to speakers, participants from 
“Inclusiveness Target Countries”, early-career researchers, and women 
(following the EU COST inclusiveness policy, details <a href="https://urldefense.com/v3/__https://www.cost.eu/about/cost-strategy/excellence-and-inclusiveness/__;!!IBzWLUs!COIgzJXLn4eOcvtnmpH5Sq0RZksu0_Yqbr78KvPPwz79F3QQtmZKyQhuOZetgXOgiFY0neYsVymNnw$" target="_blank">here</a>). <br></div><div><br></div><div>Best,<br></div><div><div><div dir="ltr" data-smartmail="gmail_signature">Anders</div></div><br></div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Sun, Mar 27, 2022 at 6:27 PM Anders Mortberg <<a href="mailto:andersmortberg@gmail.com" target="_blank">andersmortberg@gmail.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div dir="ltr"><div>We are organizing a workshop on Syntax and Semantics of Type Theories in Stockholm, Sweden, on May 20-21, 2022:<br>
</div>
<div><br>
</div>
<div><a href="https://urldefense.com/v3/__https://europroofnet.github.io/wg6-kickoff-stockholm/__;!!IBzWLUs!COIgzJXLn4eOcvtnmpH5Sq0RZksu0_Yqbr78KvPPwz79F3QQtmZKyQhuOZetgXOgiFY0neb2ht-NwQ$" target="_blank">https://europroofnet.github.io/wg6-kickoff-stockholm/</a></div>
<div><br>
</div>
<div>The event is intended as a kick-off meeting for working group 6 on type theory of the EuroProofNet EU Cost Action:<br>
<br>
<a href="https://urldefense.com/v3/__https://europroofnet.github.io/wg6/__;!!IBzWLUs!COIgzJXLn4eOcvtnmpH5Sq0RZksu0_Yqbr78KvPPwz79F3QQtmZKyQhuOZetgXOgiFY0neY9WU9W1A$" target="_blank">https://europroofnet.github.io/wg6/</a><br>
</div>
<div>
<p>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.<br>
</p>
</div>
<div># Confirmed speakers (more TBA)<br>
</div>
<div><br>
</div>
<div>* András Kovacs</div>
<div>* Andrej Bauer</div>
<div>* Anja Petkovic Komel</div>
<div>* Ivan Di Liberti</div>
<div>* Jonathan Sterling</div>
<div>* Taichi Uemura</div>
<div>* Théo Winterhalter</div>
<div><br>
</div>
<div># Deadlines</div>
<div><br>
</div>
<div>Contributed talks deadline: <b>Monday 11 April</b><br>
</div>
<div>Funding request deadline: <b>Monday 11 April</b></div>
<div>Participation registration deadline: <b>Friday 13 May</b></div>
<div><br>
</div>
<div>To register please fill out the form linked to on the event webpage.<br>
</div>
<br>
# 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><br>
</div></div>
</blockquote></div></div>