TYPES 2014 in Paris (May 12-15, 2014)

TYPES Post-Proceedings : Call For Papers

TYPES is a major forum for the presentation of research on all aspects of type theory and its applications. The post-proceedings of TYPES 2014, which was held May 12-15 in Paris, are open to everyone, also those who did not participate in the conference. We would like to invite all researchers that study type systems to share their results concerning type-based theorem proving environments or type-based formal modelling. In particular we welcome all submissions relevant to the TYPES topics.


The post-proceedings will be published in LIPIcs (Leibniz International Proceedings in Informatics), an open-access series of conference proceedings. The volumes in the LIPIcs series are published electronically under an open access license. No copyright transfer to LIPIcs will be required, but simply an author agreement. More details can be found on the LIPIcs website, especially in their initial announcement.

The TYPES 2013 post-proceedings have been published as volume 26 of the LIPIcs series Informatics and are now freely available.

Important dates




Copyright: Louvre image © Benh LIEU SONG (CC wikipedia), Annotated map © the OpenStreetMap contributors.