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

25 views
Skip to first unread message

Anders Mortberg

unread,
May 10, 2022, 10:29:45 AM5/10/22
to types-a...@lists.seas.upenn.edu, Homotopy Type Theory, epn...@inria.fr
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:

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:


# Organisers

* Benedikt Ahrens (TU Delft & University of Birmingham)
* Peter LeFanu Lumsdaine (Stockholm University)
* Anders Mörtberg (Stockholm University)

Reply all
Reply to author
Forward
0 new messages