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

Contributed Talks

TYPES solicits contributed talks to stimulate discussions. Selection of those will be based on extended abstracts/short papers of 2 pp (not including bibliography) formatted with easychair.cls.

Please use this link to the submission site to submit your abstract.

Important Dates

  • Submission of abstract: 4 March 2024 AoE 11 March 2024 AoE
  • Author notification: 19 April 2024 AoE
  • Camera-ready version of abstract: 10 May 2024 AoE
  • Conference: 10 - 14 June 2024

Camera-ready versions of the accepted contributions will be published in an informal book of abstracts for distribution during the conference.

Post-Proceedings

A post-proceedings volume will be published in the Leibniz International Proceedings in Informatics (LIPIcs) series. Submission to that volume will be open to everyone.

Tentative submission deadline for the post-proceedings: October 2024.

SPONSORS




HOST