TYPES 2019
25th International Conference on Types for Proofs and Programs
Latest news
-
‘The academics´ lack of engagement led to policy take-over of ethics debate’ 30/04/2019 -
Former CAS project leader awarded the Fridtjof Nansen Award for outstanding research 01/04/2019 -
Alumni Spotlight: Berit Stensønes about her role model Karen Uhlenbeck 27/03/2019 -
CAS 30 years on: Interview with Gudmund Hernes and Dagfinn Føllesdal 27/03/2019 -
The Ministry of Research and Higher Education honored Young CAS Fellows 19/03/2019
