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 AoE11 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.