TYPES 2019
25th International Conference on Types for Proofs and Programs
Latest news
-
Alumni Spotlight: Sine Halkjelsvik Bjordal 08.04.2021 13:30 -
Meet the Young CAS Fellows for 2021-23: Daniele Miano 24.03.2021 09:34 -
Meet the Young CAS Fellows for 2021-23: Helen F. Leslie-Jacobsen 11.03.2021 11:00 -
Meet the Young CAS Fellows for 2021-23: Kristin Shaw 10.03.2021 11:00 -
Meet the Young CAS Fellows for 2021-23: Kjetil Lysne Voje 09.03.2021 09:00
