TYPES 2026: Post-proceedings Call for Papers

[Christian Sattler]

********************************************
TYPES 2026: Post-proceedings Call for Papers
********************************************

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 Guidelines
---------------------

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](https://drops.dagstuhl.de/entities/series/LIPIcs#author) 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/>

Deadlines
---------

Submission of title and abstract: 16 November 2026 AoE
Submission of full paper: 30 November 2026 AoE
Author notification: 30 March 2027 AoE

Topics of interest
------------------

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:

- foundations of type theory and constructive mathematics;
- applications of type theory;
- dependently typed programming;
- industrial uses of type theory technology;
- meta-theoretic studies of type systems;
- proof assistants and proof technology;
- automation in computer-assisted reasoning;
- formalizing mathematics using type theory;
- links between type theory and
* functional programming;
* homotopy theory;
* linguistics;
* machine learning.

Editors
-------

Andreas Abel and Christian Sattler
Chalmers University of Technology and University of Gothenburg, Sweden