Centre for Advanced Study

at the Norwegian Academy of Science and Letters

Oslo, Norway, 11 - 14 June 2019

Contributed talks

We solicit contributed talks.

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


Important dates

  • Submission of 2 pp abstract: 4 March 2019
  • Notification of acceptance/rejection: 15 April 2019
  • Camera-ready version of abstract: 6 May 2019


Camera-ready versions of the accepted contributions will be published in an informal book of abstracts for distribution at the workshop.