TYPES 2013 Post-proceedings


On July 25, 2014, the volume was published as volume 26 of LIPIcs.

Call for papers: Types for Proofs and Programs, post-proceedings of TYPES 2013 (open call)

TYPES is a major forum for the presentation of research on all aspects of type theory and its applications. The post-proceedings of TYPES 2013, which was held in Toulouse, 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 submissions on any topic in the following list:

Important dates

Abstract submission deadline:  2013-09-09
Paper submission deadline:     2013-09-16
Notification of acceptance:    2014-02-17
These are all Mondays, and submissions until the next morning 10:00 Paris time are still fine.



Ralph Matthes           IRIT (CNRS and University of Toulouse), France
Aleksy Schubert         University of Warsaw, Poland

Please note and follow the recap of typesetting instructions issued by Schloss Dagstuhl – Leibniz-Zentrum für Informatik (updated on April 7, 2014 with several new items and more details on already existing ones):

Submission page at EasyChair

(closed for submissions)

Policy to avoid conflicts of interest

Since the PC members of the TYPES'13 meeting and the SC members of the TYPES series are not involved in the editing process (other than potentially as normal reviewers), they are allowed to submit their work to the post-proceedings volume. However, a slightly higher quality threshold will be applied. The editors cannot be authors or coauthors of submissions.
Page maintained by:
Ralph Matthes

Last modified (date in French): lun. sept. 29 11:20:10 CEST 2014