Till innehåll på sidan

Syntax and Semantics of Type Theories

Tid: Fr 2022-05-20 kl 09.30 - Lö 2022-05-21 kl 18.00

Plats: Kräftriket, house 5, room 14

For more information, see the conference web page