Open call for papers

Post-proceedings of the

21st International Conference on Types for Proofs and Programs,
TYPES 2015

Tallinn, Estonia, 18-21 May 2015


TYPES is a major forum for presenting research on all aspects of type theory and its applications. TYPES 2015 was held 18-21 May 2015 in Tallinn, Estonia.

A post-proceedings volume will be published in LIPIcs (Leibniz International Proceedings in Informatics), an open-access series of conference proceedings.

Submission to this post-proceedings volume is open to everyone, so also those who did not participate in the conference or did not talk.

We would like to invite all researchers that study and apply type theory to share their results. In particular, we welcome submissions on topics from the following list:

Important dates

Non-binding intents to submit a paper: (by submitting (a placeholder for) an abstract) 2 October 2015
Papers due: 27 November 2015
Final notifications: 27 May 2016mid-September 2016



Tarmo Uustalu, Institute of Cybernetics, Tallinn, Estonia

Tarmo Uustalu
Last update 19 August 2016