Christian Sattler (Sep 23 2026 at 17:43): Christian Sattler (Sep 23 2026 at 17:43):https://types2026.cse.chalmers.se/postproceedings.html
TYPES is a major forum for the presentation of research on all aspects of type theory and its applications. TYPES 2026 was held from 4 to 8 May 2026 at Chalmers University of Technology and University of Gothenburg. The post-proceedings volume will be published in LIPIcs, Leibniz International Proceedings in Informatics, an open-access series of conference proceedings.
Submission is open to everyone, also to those who did not participate in the TYPES 2026 conference. We welcome high-quality descriptions of original work, as well as position papers, overview papers, and system descriptions. Submissions should be written in English, and be original, i.e., neither previously published, nor simultaneously submitted to a journal or a conference.
Formatting: Papers have to be formatted with the current LIPIcs style and adhere to the style requirements of LIPIcs.
Page limits: The upper limit for the length of submissions is 20 pages for the main text (including appendices, but excluding title page and bibliography).
Supplementary material: Authors have the option to attach to their submission a zip or tgz file containing code (formalised proofs or programs), but reviewers are not obliged to take the attachments into account, and they will not be published.
Submission site: https://types-hotcrp.paris.inria.fr/types26-post/
The scope of the post-proceedings is the same as the scope of the conference: the theory and practice of type theory. In particular, we welcome submissions on the following topics:
Andreas Abel and Christian Sattler
Chalmers University of Technology and University of Gothenburg, Sweden
Last updated: Sep 30 2026 at 04:36 UTC