Skip to main content

Syntax and Semantics of Type Theories

Time: Fri 2022-05-20 09.30 - Sat 2022-05-21 18.00

Location: Kräftriket, house 5, room 14

For more information, see the conference web page