TYPES 2023
29th International Conference on Types for Proofs and Programs


Contributed Talks

We solicit contributed talks. Selection of those will be based on extended abstracts/short papers of 2 pp (not including bibliography) formatted with easychair.cls. The submission site is https://easychair.org/conferences/?conf=types2023

Important Dates
  1. submission of 2 pp abstract: 6 March 2023 13 March 2023
  2. notification of acceptance/rejection: 5 May 2023
  3. camera-ready version of abstract: 12 May 2023

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


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