Centre for Advanced Study

at the Norwegian Academy of Science and Letters

25th International Conference on Types for Proofs and Programs

25th International Conference on Types for Proofs and Programs

25th International Conference on Types for Proofs and Programs

Oslo, Norway, 11 - 14 June 2019

Contact

TYPES 2019 organisers

We ask that you send all questions and comments to the organisers via email:

types2019@cas.oslo.no

Venue

Ingeniørenes Hus Møtesenter

Address: Kronprinsens gate 17, 0251 Oslo

Print
Email page

Tell a friend about this site

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

x

Links

Drammensveien 78

0271 Oslo

Norway

+47 22 12 25 00

admin@cas-nor.no

Follow us