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