TYPES 2019
25th International Conference on Types for Proofs and Programs
Latest news
-
Introducing the Young CAS Fellow programme 14/12/2018 -
Alumni Spotlight: Terje Tvedt 10/12/2018 -
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
