Skip to Content.
Sympa Menu

coq-club - [Coq-Club] CfP for TYPES 2020 postproceedings:

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] CfP for TYPES 2020 postproceedings:


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, cl-isabelle-users AT lists.cam.ac.uk, 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] CfP for TYPES 2020 postproceedings:
  • Date: Fri, 9 Oct 2020 23:15:22 +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 099LFMQx018938
  • Ironport-phdr: 9a23:X552yhwH31E3DD/XCy+O+j09IxM/srCxBDY+r6Qd0usVLvad9pjvdHbS+e9qxAeQG9mCtLQZ0qGH4+jJYi8p2d65qncMcZhBBVcuqP49uEgeOvODElDxN/XwbiY3T4xoXV5h+GynYwAOQJ6tL1LdrWev4jEMBx7xKRR6JvjvGo7Vks+7y/2+94fcbglVhjexe7N/IAi5oQjVtcQdnJdvJLs2xhbVuHVDZv5YxXlvJVKdnhb84tm/8Zt++ClOuPwv6tBNX7zic6s3UbJXAjImM3so5MLwrhnMURGP5noHXWoIlBdDHhXI4wv7Xpf1tSv6q/Z91SyHNsD4Ubw4RTKv5LptRRT1iikIKiQ5/XnXhMJukaxVoxyvqBJwzIHIe4yaLuZyc7nHcN8GS2dMXMBcXDFBDIOmaIsPCvIMMehWoInyoFsFsAaxChevCO3pyz9IiWL23aog0+QmHw3NwQstEM8Qv3TQrdX1O7oSXPuow6nJ1znDcvVW2Tbh6IjPaBwhoO2MUKt2fMHMxkYhCxnLgU+MqYz5ITyVzOINvnCV4eRvWu+hi3MqpQ5zrzWsyMkhi4jEi4IUx13a6Ch0xIU4KNKmRUNmYdOpEYZcui6EOoZ1Tc0vR2BltSQ1x7MIv5OwYSYEyJMixxHFavyHdZCF7Q/5W+aeOjd4mG9leLK7hxqo7Eev1PXwWdeu31ZRritKjtnMuWoM1xzJ8MSHTeF9/kin1D2S1A7T8vlJLV06mKbHMZIt37o9moQJvUjeHiL7mV/6gLKQe0454Oan8f7nba/jppKEN497lAX+MqM2l8y6G+s4MwwOU3KG9uS9zrHj4Ev5QLRWjv0xiKXZsYzaKdwapq6/HQBVzp4u5wuxAju6ytgUgH0KIExfdB6aj4XkOkvCLO3gAfe6mVuskTNrx/7cPr3mB5XANmXMn6nlfbZ85E5c1RE+ws1e555OF7EBJvPzWlP2tNDCDx85LxS4w/z7B9VlyoMeRWWPD7eFP6PVqF+E//4gI+2RZIAOozv9MPgk5/v2jXAjg1MdfK+p3YEWaH+iBPhmLV+ZMjLQhYIMDHsbpgclZOfxzkefFzhXIz65WLt57TUmAqqnC53CT8ajmvjJ1Si3F7VSZ3taERaHEX7scoieQLEXZWbaKcZ9nzMDT7msUKckyRjovwa+g6Z2NufPvyQes5X+0tN4z+nSjg0psyd5Bt/bznmASWcyk28VA3cz26t25EV7zFCe16N1q/hZDsAV5u8PTxp+fZrdyeFzEfj5QUTaYt6PRlG8TpOrDSx1Btk1ht4VakxwH9Gvyw3Y0jCxK7sUjKCQQpc99+TV1D7sJII182zB06cdj1QhWNpnEWy9mrU53QHPB8jgmAOktOLiaaQR2zTcsWOEwmuFlGpjFiVVbOPocU1bLk/RotXyzkbLU7/oFLImdwFGz8jEJqYOIsHpgFJcSfKmIM7ZfW+rgE+5BFCNx6/KYYb3KEsH2yCIQnULlEgf8DmiNAcjAT2m6SqKADFqFF3yS0/tt/R4qW+8CE4omVLZJ3Z93qa4r0ZGzceXTOkei+pd5XUR7g5sFVP45Or4TtqNow04LPdZaNI5pltGk3/fthB6eJ28ffg72gwuNj9vtkar7C1ZT51amJFx/n8rihd0KL6fllJdJWvBjMLAf4bPI2y3xyiBLqvf21XQytGTo/xd5PV+tlPioAbvF1Zwqng=

                          Post-proceedings of the TYPES 2020
     26th International Conference on Types for Proofs and Programs

                          Open call for papers
                         
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 descriptions of 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 31 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. If you need more pages, please ask the editors.
  • Papers have to be submitted in pdf through EasyChair:  https://easychair.org/conferences/?conf=types2020postproceed
  • Accepted papers will be charged of 60:00€, according to LIPIcs policy for publication costs (https://www.dagstuhl.de/en/publications/lipics/processing-charge/)
  • 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] CfP for TYPES 2020 postproceedings:, Ugo de'Liguoro, 10/09/2020

Archive powered by MHonArc 2.6.19+.

Top of Page