<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
</head>
<body>
<p>
</p>
<div style="-en-clipboard:true;">
Post-proceedings of the TYPES 2020
</div>
<div> 26th International Conference on Types for Proofs and
Programs
</div>
<div><br>
</div>
<div> Open call for papers
</div>
<div> <br>
</div>
<div><span style="-en-paragraph:true;">TYPES is a major forum for
the presentation of research on all aspects of type theory and
its applications. TYPES 2020 wasn’t held in Turin as planned
because of the COVID-19 outbreak. Nonetheless the significant
number of submissions and registrations testified the interest
for TYPES in our community, motivating us to plan publishing
post-proceedings. The post-proceedings volume will be published
in</span> <a
href="http://www.dagstuhl.de/en/publications/lipics"
style="-en-paragraph:true;">LIPIcs, Leibniz International
Proceedings in Informatics</a><span style="-en-paragraph:true;">,
an open-access series of conference proceedings.</span>
</div>
<div style="margin-top: 1em; margin-bottom: 1em;"><span
style="-en-paragraph:true;">Submission to this post-proceedings
volume is open to everyone, also to those who did not submit a
contribution to the conference. </span>We welcome high-quality
descriptions of original work, as well as position papers,
overview papers, and system descriptions. Submissions should be
written in English, <span style="text-decoration: underline;">not
overlapping with published or simultaneously submitted work to a
journal or a conference with archival proceedings</span>.
</div>
<div style="margin-top: 1em; margin-bottom: 1em;"><span
style="-en-paragraph:true;">We would like to invite all
researchers that study and apply type systems to share their
results. In particular, we welcome submissions on the following
topics:</span></div>
<ul>
<li>
<div>Foundations of type theory and constructive mathematics;
</div>
</li>
<li>
<div>Homotopy type theory;
</div>
</li>
<li>
<div>Applications of type theory;
</div>
</li>
<li>
<div>Dependently typed programming;
</div>
</li>
<li>
<div>Industrial uses of type theory technology;
</div>
</li>
<li>
<div>Meta-theoretic studies of type systems;
</div>
</li>
<li>
<div>Proof assistants and proof technology;
</div>
</li>
<li>
<div>Automation in computer-assisted reasoning;
</div>
</li>
<li>
<div>Links between type theory and functional programming;
</div>
</li>
<li>
<div>Formalizing mathematics using type theory;
</div>
</li>
<li>
<div>Type theory in linguistics.
</div>
</li>
</ul>
<div style="margin-top: 1em; margin-bottom: 1em;"><span
style="font-weight: bold;-en-paragraph:true;">Important dates:</span></div>
<ul>
<li>
<div>Paper submission: <strike>19 October</strike> 31 October
2020
</div>
</li>
<li>
<div>Author notification: 18 January 2021
</div>
</li>
<li>
<div>Final version: 15 February 2021
</div>
</li>
<li>
<div>Publication (presumably): end of March 2021
</div>
</li>
</ul>
<div style="margin-top: 1em; margin-bottom: 1em;"><span
style="font-weight: bold;-en-paragraph:true;">Details:</span></div>
<ul>
<li>
<div>Papers have to be written in LaTex and adhere to the <a
href="http://www.dagstuhl.de/en/publications/lipics/instructions-for-authors">style
requirements of LIPIcs</a>.
</div>
</li>
<li>
<div>The recommended length of a paper is 12-15 pages, excluding
front-page(s) (authors, affiliation, keywords, abstract, ...),
bibliography and an appendix of max 5 pages. If you need more
pages, please ask the editors.
</div>
</li>
<li>
<div>Papers have to be submitted in pdf through EasyChair: <a
href="https://easychair.org/conferences/?conf=types2020postproceed">https://easychair.org/conferences/?conf=types2020postproceed</a>
</div>
</li>
<li>
<div>Accepted papers will be charged of 60:00€, according to
LIPIcs policy for publication costs (<a
href="https://www.dagstuhl.de/en/publications/lipics/processing-charge/">https://www.dagstuhl.de/en/publications/lipics/processing-charge/</a>)
</div>
</li>
<li>
<div>In case of questions, please contact one of the editors.
</div>
</li>
</ul>
<div style="margin-top: 1em; margin-bottom: 1em;"><span
style="font-weight: bold;-en-paragraph:true;">Editors:</span></div>
<ul>
<li>
<div>Ugo de’Liguoro (Università di Torino)
</div>
</li>
<li>
<div>Stefano Berardi (Università di Torino)
</div>
</li>
<li>
<div>Thorsten Altenkirch (University of Nottingham)
</div>
</li>
</ul>
<pre class="moz-signature" cols="72">--
Ugo de'Liguoro
Associate Professor of Computer Science
Dipartimento di Informatica
Università di Torino
Corso Svizzera 185, 10149, Torino, Italy
phone +39 011 6706766 - fax: +39 011 751603</pre>
</body>
</html>