Postproceedings Accepted papers
LIPIcs, Volume 384, TYPES 2025
The postproceedings is published by LIPIcs. Complete Volume: 10.4230/LIPIcs.TYPES.2025.
- Choice Principles and Hypercompletion in HoTT 10.4230/LIPIcs.TYPES.2025.1
- Lean4Lean: Verifying a Typechecker for Lean, in Lean 10.4230/LIPIcs.TYPES.2025.2
- Symmetries in Sorting 10.4230/LIPIcs.TYPES.2025.3
- HoTT Operads 10.4230/LIPIcs.TYPES.2025.4
- A Graded Modal Type Theory for Pulse Schedules 10.4230/LIPIcs.TYPES.2025.5
- Formalisation and Extension of Lagois Connections for Secure Information Flow 10.4230/LIPIcs.TYPES.2025.6
- Towards Fuzzy Constructive Type Theories 10.4230/LIPIcs.TYPES.2025.7
- The Rezk Completion for Elementary Topoi 10.4230/LIPIcs.TYPES.2025.8
- Kleisli Categories with Display Maps 10.4230/LIPIcs.TYPES.2025.9
- Type-Theoretic Replacement and Univalent Completion: Applications and Interpretations 10.4230/LIPIcs.TYPES.2025.10
- Multi-Clocked Guarded Recursion Beyond ω 10.4230/LIPIcs.TYPES.2025.11
- Nominal Type Theory by Nullary Internal Parametricity 10.4230/LIPIcs.TYPES.2025.12
- A Data Type of Intrinsically Plane Graphs in Agda 10.4230/LIPIcs.TYPES.2025.13
- Functional Representability in Local Set Theories 10.4230/LIPIcs.TYPES.2025.14
- Mendler Dialgebras and Recursion Schemes of Mixed Variance 10.4230/LIPIcs.TYPES.2025.15
Postproceedings Call for Papers
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.
The original call for conference talk contributions is still here, for possible historical interest.
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.
Submission site: https://types-hotcrp.paris.inria.fr/types25-post/.
- 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).
- Submission: Please submit your paper using the TYPES HotCRP instance. This is a local instance kindly hosted by Inria, so you will need to create a new user account before submission.
- 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.
Deadlines
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
In the tradition of TYPES postproceedings, decisions will be made by the editors after soliciting expert reviews from the community.
Contact
You can contact the editors using the email address CIS_types2025-post@groups.strath.ac.uk.
Sponsors
Gold sponsor
Bronze sponsors
Other sponsors
