[TYPES/announce] Final call for participation (Deadline Friday 13 May): Workshop on Syntax and Semantics of Type Theories in Stockholm, Sweden, May 20-21, 2022

Anders Mortberg andersmortberg at gmail.com
Tue May 10 10:29:07 EDT 2022


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)
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20220510/2192451e/attachment-0001.htm>


More information about the Types-announce mailing list