TYPES 2024
30th International Conference on Types for Proofs and Programs, 10 ‑ 14 June 2024

Post-Proceedings Call for Papers

TYPES is a major forum for the presentation of research on all aspects of type theory and its applications. TYPES 2024 was held from 10 to 14 June at the IT University of Copenhagen, Denmark. The post-proceedings volume will be published in LIPIcs, Leibniz International Proceedings in Informatics, an open-access series of conference.

Submission Guidelines

Submission is open to everyone, also to those who did not participate in the TYPES 2024 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.

  • Papers have to be formatted with the current LIPIcs style and adhere to the style requirements of LIPIcs.
  • The upper limit for the length of submissions is 20 pages for the main text (including appendices, but excluding title-page and bibliography).
  • Papers must be submitted as PDF via the EasyChair interface.
  • 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

  • Abstract submission: 31 October 2024 (AoE)
  • Paper submission: 2 December 2024 (AoE)
  • Author notification: 31 March 2025

List of Topics

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

  • Rasmus Ejlers Møgelberg, IT University of Copenhagen, Denmark
  • Benno van den Berg, Universiteit van Amsterdam, The Netherlands

Contact

In case of questions, contact posttypes24@easychair.org


SPONSORS




HOST

IT University of Copenhagen