Centre for Advanced Study

at the Norwegian Academy of Science and Letters

TYPES 2019

25th International Conference on Types for Proofs and Programs

Print
Email page

Tell a friend about this site

Your e-mail Your friend's e-mail Comment

x

Latest news

Geometry, paintings, and Lance 28/10/2020
Er du vår nye kollega? 26/10/2020
The policies that affect us all: are they well-founded? 23/10/2020
Books known only by title: a widespread but unexplored phenomenon 23/10/2020
CAS Alumnus granted 34.7 million Swedish Kronor for analysing proofs 07/10/2020

Drammensveien 78

0271 Oslo

Norway

+47 22 12 25 00

cas@cas.oslo.no

Follow us