TYPES 2019
25th International Conference on Types for Proofs and Programs
Selection of those will be based on extended abstracts/short papers of 2 pp formatted with easychair.cls.
Log in to EasyChair for TYPES 2019
Camera-ready versions of the accepted contributions will be published in an informal book of abstracts for distribution at the workshop.
Drammensveien 78 0271 Oslo Norway | +47 22 12 25 00 admin@cas-nor.no |