We are organizing a workshop on Syntax and Semantics of Type Theories in
Stockholm, Sweden, on May 20-21, 2022:

https://europroofnet.github.io/wg6-kickoff-stockholm/

The event is intended as a kick-off meeting for working group 6 on type
theory of the EuroProofNet EU Cost Action:

https://europroofnet.github.io/wg6/

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)

-- 
You received this message because you are subscribed to the Google Groups "Homotopy Type Theory" group.
To unsubscribe from this group and stop receiving emails from it, send an email to HomotopyTypeTheory+unsubscribe@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/HomotopyTypeTheory/CAMWCpp%3De5gMPKPYtgbXvzXB%3Df_7Wd_xM5krpVuXYdGY87%3D6gKw%40mail.gmail.com.