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://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)