[TYPES/announce] Workshop on Syntax and Semantics of Type Theories in Stockholm, Sweden, on May 20-21, 2022

[Anders Mortberg]

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