<div dir="ltr"><div>[APOLOGIES FOR MULTIPLE POSTINGS]</div><div><br></div>TYPES is a major forum for the presentation of research on all aspects<br>of type theory and its applications. TYPES 2023 was held from 12 to 15<br>June at ETSInf, Universitat Politècnica de València, Spain. The<br>post-proceedings volume will be published in LIPIcs, Leibniz<br>International Proceedings in Informatics, an open-access series of<br>conference.<br><br>Submission Guidelines<br><br>Submission is open to everyone, also to those who did not participate<br>in the TYPES 2023 conference. We welcome high-quality descriptions of<br>original work, as well as position papers, overview papers, and system<br>descriptions. Submissions should be written in English, and be original,<br>i.e. neither previously published, nor simultaneously submitted to a<br>journal or a conference. <br><br>- Papers have to be formatted with the current LIPIcs style and adhere<br>  to the style requirements of LIPIcs.<br><br>- The upper limit for the length of submissions is 20 pages for the<br>  main text (including appendices, but excluding title-page and<br>  bibliography).<br><br>- Papers have to be submitted as PDF via the EasyChair interface,<br>  accessible at <a href="https://urldefense.com/v3/__https://easychair.org/conferences/?conf=posttypes23__;!!IBzWLUs!SUANtPjbbXAce72rCmxwEDpCo1NpCaP1gJm6vB-ZGKDbcUhR_f-xirRUjXGzU2BRreSXxunt7J76ozqEDEbZntSH1EV6q4A7AvQ$">https://easychair.org/conferences/?conf=posttypes23</a><br><br>- Authors have the option to attach to their submission a zip or tgz<br>  file containing code (formalised proofs or programs), but reviewers<br>  are not obliged to take the attachments into account and they will<br>  not be published.<br><br>Deadlines<br><br>- Abstract Submission : 31 October 2023 (AoE) <br>- Paper submission: 30 November 2023 (AoE) <br>- Author notification: 31 March 2023<br><br>List of Topics<br><br>The scope of the post-proceedings is the same as the scope of the<br>conference: the theory and practice of type theory. In particular, we<br>welcome submissions on the following topics:<br><br>- Foundations of type theory;<br>- Applications of type theory (e.g. linguistics or concurrency);<br>- Constructive mathematics;<br>- Dependently typed programming;<br>- Industrial uses of type theory technology;<br>- Meta-theoretic studies of type systems;<br>- Proof assistants and proof technology;<br>- Automation in computer-assisted reasoning;<br>- Links between type theory and functional programming;<br>- Formalising mathematics using type theory;<br>- Homotopy type theory and univalent mathematics.<br><br>Editors<br><br>Eduardo Hermo Reyes, Formal Vindications, Spain<br>Benno van den Berg, Universiteit van Amsterdam, The Netherlands<br>Delia Kesner, Université Paris Cité, France <br><br>Contact<br><br>In case of questions, contact EMAIL <a href="mailto:posttypes23@easychair.org">posttypes23@easychair.org</a><br></div>