TYPES 2019
25th International Conference on Types for Proofs and Programs
Latest news
-
Announcing the 2021/22 CAS projects 18/09/2019 -
CAS Alumnus Bodhisattva Chattopadhyay receives prestigious ERC stipend: ‘CAS helped me prepare to be prepared’ 09/09/2019 -
Alumni Spotlight: Nils Christian Stenseth 30/08/2019 -
Are you a researcher under the age of 40? Apply for Young CAS Fellow! 29/08/2019 -
‘No community can survive without synchronisation’ 26/06/2019
