TYPES 2019
25th International Conference on Types for Proofs and Programs
Latest news
-
Book release: 'Domestication Gone Wild: Politics and Practices of Multispecies Relations' 27/11/2018 -
Former CAS fellow awarded Tromsø Research Foundation Starting Grant 16/11/2018 -
Alumni Spotlight: Jakob Lothe 01/11/2018 -
Call for applications: CAS Projects 2021/22 23/10/2018 -
Alumni Spotlight: Terje Stordalen 01/10/2018
