[TYPES/announce] TYPES 2025: Post-proceedings Final Call for Papers

[Fredrik Nordvall Forsberg]

Dear all, this is a final invitation to submit to the TYPES 2025 
post-proceedings. We have extended the abstract deadline until *Friday 
21 November*, and the full paper deadline until *Friday 6 December*.


**************************************************
TYPES 2025: Post-proceedings Final Call for Papers
**************************************************

https://urldefense.com/v3/__https://msp.cis.strath.ac.uk/types2025/postproceedings.html__;!!IBzWLUs!UnzGGmt8r4hn_cZ8HDTRHJ-cc9EA96VxB9QjJR0WhwIiShHPRZBtFoLRtqjw_uhdw2tJppUW1GiiHPABNE052Y718aSfMlHLs1Wd0uLYPlaoPA$ 

TYPES is a major forum for the presentation of research on all aspects 
of type theory and its applications. TYPES 2025 was held from 9 to 13 
June at the University of Strathclyde, Glasgow, Scotland. 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 2025 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://urldefense.com/v3/__https://types-hotcrp.paris.inria.fr/types25-post/__;!!IBzWLUs!UnzGGmt8r4hn_cZ8HDTRHJ-cc9EA96VxB9QjJR0WhwIiShHPRZBtFoLRtqjw_uhdw2tJppUW1GiiHPABNE052Y718aSfMlHLs1Wd0uKOXFrUkg$  .

Deadlines
---------

Submission of title and abstract:  Friday 21 November 2025 AoE
Submission of full paper: Friday 5 December 2025 AoE
Author notification: 1 April 2026

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;
* Applications of type theory (e.g. linguistics or concurrency);
* Constructive mathematics;
* 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;
* Links between type theory and functional programming;
* Formalising mathematics using type theory;
* Homotopy type theory and univalent mathematics.

Editors
-------

Fredrik Nordvall Forsberg, University of Strathclyde, Glasgow, Scotland
James McKinna, Heriot-Watt University, Edinburgh, Scotland

Contact
-------

CIS_types2025-post at groups.strath.ac.uk