Skip to Content.
Sympa Menu

coq-club - [Coq-Club] TYPES 2020 Post-proccedings CfP

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] TYPES 2020 Post-proccedings CfP


Chronological Thread 
    < Chronological >      < Thread >
  • From: Ugo de Liguoro <deligu AT di.unito.it>
  • To: eutypes AT cs.ru.nl, coq-club AT inria.fr, agda AT lists.chalmers.se, categories AT mta.ca, types-announce AT lists.seas.upenn.edu, moca-announce AT list.it.uu, linear AT cs.stanford.edu, ProofTheory AT Lists.Bath.Ac.UK, theory-logic AT CS.CMU.EDU, logic AT math.uni-bonn.de, theorem-provers AT ai.mit.edu
  • Subject: [Coq-Club] TYPES 2020 Post-proccedings CfP
  • Date: Mon, 31 Aug 2020 11:29:19 +0200
  • Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=deligu AT di.unito.it; spf=Pass smtp.mailfrom=deligu AT di.unito.it; spf=None smtp.helo=postmaster AT mail.di.unito.it
  • Dkim-filter: OpenDKIM Filter v2.11.0 mail.di.unito.it 07V9TKv6015426
  • Ironport-phdr: 9a23:soYGahH3h1s/g93BFM9GYZ1GYnF86YWxBRYc798ds5kLTJ76ps2+bnLW6fgltlLVR4KTs6sC17OI9fm6BSdQuN6oizMrSNR0TRgLiMEbzUQLIfWuLgnFFsPsdDEwB89YVVVorDmROElRH9viNRWJ+iXhpTEdFQ/iOgVrO+/7BpDdj9it1+C15pbffxhEiCCybL9vLRi6txjdutcZjIdtKas91wbCr2dVdehR2W5mP0+YkQzm5se38p5j8iBQtOwk+sVdT6j0fLk2QKJBAjg+PG87+MPktR/YTQuS/XQcSXkZkgBJAwfe8h73WIr6vzbguep83CmaOtD2TawxVD+/4apnVAPkhSEaPDM/7WrZiNF/jLhDrRy/pxJx3o3abo+bO/VxYqzQZskVSXZbU8tLSyBMDIGxYo0SBOQBJ+ZYqIz9qkMAohuxAgmnGf7gxSFVjXHw3K063PkhEQbc3AwnAtkDt2nbo8vxNKcTXuC10bLFwijCb/9MxDf97onIcgwmof2WXLJwbdPcxE8yHAzKklues5bqPy+J1usTqWib6fJtWPyvhmMjqw98rCSjy8YihITVhowbxU3I+Ct9zYsxONG1TEB1b9C6HJZeuS+UOI97T8c/T2x1uSs217kLtJG5cSUM1Z8pyRnfa/mdfIiJ5BLuTPuRITF5hHJ5f7KznRey8VS4xuLhTMa0301KrjZYktnMsnABzQHc5dafRvRj5EihwjaO2BzT6u5eIEA0j7DXK5k7wr4/kJcYrEfNHjfulUnrgqKaal8o9vWs5uj5eLnqu5+ROo5uhg3jNKklh9axDv4iMgcUWmiW4eS826Pn/U3+WLhKi+c5kqjdsJzAOMsbp7S1AxJT0oYi9xa/CC2q0NUEnXUfLVJFfgyIj5TxNl3TLv30Ee2zj0monTt13fzKI73sD5TXInTeiLvheKxy609YyAo919Bf4JdUB6kcL/3tXk/xtdPYDgIiPgOpwubrEsh91oUfWWKTBa+VKqLSsUOQ6uI1P+aMfJMVuCr6K/U9+/HuimY5lUYBcqmtwJsYc2u1Hu9mIkWceXrjmM0NEWYMvgokTezlkkeOUTBJZyX6Y6Vp6ywnGZqrFq/IXca3nfqH2GPzFZpPI2tCF1qkEHHydozCVe1IICudLsZJlj0fSaPnQI8o0RSjrhS80LcjZuHd5iAXsoji2cNd4vHa0xo7sXRoHtyQyCSESWdzg2UDShcy3btjugpmx16Yl7VgjvpeU9Ff+rcBVwAxPNvVyep9Ftb5VyrFf8yVDle6BMi7RXk1T9Q8ysUmaF07AMmriB7ExSbsDrMI0/SzHpsz/J7c0n/rNu5Zym3az+8LhkUmBOJEc1CFwuZj9wXUHZ+Ml0KWlq2CXp9a9wvwskqv8C7GuEZXUQVYVKzZXTYCYEqTp9P/4AXOQvvmFbQqNRFMzIuaMKxUZ8fypVxHAvLiJJLTb3/itX23AEO1ybTEYIeiX2QSwSLHDwBQnw0X/HmbHQQ/QDqnon7ZSj1yQwG8K3jw+PVz/SvoBnQ/yBuHOhU4i+iFvyUNjPnZcMs9m6oesX56+Tl1Wku73s7RTduc9VI4IfdsJOgl6VIC7lr38gxwOpv5f/Jnj18aNQh2+V7o1glwTIRcw5Bz/SEaiTFqIKfd62tvMjaR3JT+ILrSczKg8BHpdqjXxlaY0crEo6o=

                          Open call for papers
               Web: https://types2020.di.unito.it/cfp.html

                          Post-proceedings of the TYPES 2020
     26th International Conference on Types for Proofs and Programs
                              
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 LIPIcs, Leibniz International Proceedings in Informatics, an open-access series of conference proceedings.
Submission to this post-proceedings volume is open to everyone, also to those who did not submit a contribution to the conference. We welcome high-quality descriptionsof original work, as well as position papers, overview papers, and system descriptions. Submissions should be written in English, not overlapping with published or simultaneously submitted work to a journal or a conference with archival proceedings.
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:
  • Foundations of type theory and constructive mathematics;
  • Homotopy type theory;
  • Applications of type theory;
  • Dependently typed programming;
  • Industrial uses of type theory technology;
  • Meta-theoretic studies of type systems;
  • Proof assistants and proof technology;
  • Automation in computer-assisted reasoning;
  • Links between type theory and functional programming;
  • Formalizing mathematics using type theory;
  • Type theory in linguistics.
Important dates:
  • Paper submission: 19 October 2020
  • Author notification: 18 January 2021
  • Final version:  15 February 2021
  • Publication (presumably): end of March 2021
Details:
  • Papers have to be written in LaTex and adhere to the style requirements of LIPIcs.
  • 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. Longer submissions will not be considered.
  • Papers have to be submitted in pdf through EasyChair:  https://easychair.org/conferences/?conf=types2020postproceed
  • In case of questions, please contact one of the editors.
Editors:
  • Ugo de’Liguoro (Università di Torino)
  • Stefano Berardi (Università di Torino)
  • Thorsten Altenkirch (University of Nottingham) 
-- 
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

  • [Coq-Club] TYPES 2020 Post-proccedings CfP, Ugo de Liguoro, 08/31/2020

Archive powered by MHonArc 2.6.19+.

Top of Page