Skip to Content.
Sympa Menu

coq-club - [Coq-Club] TYPES post-proceedings: call for papers

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] TYPES post-proceedings: call for papers


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] TYPES post-proceedings: call for papers
  • Date: Sun, 19 Jul 2020 23:13:09 +0200
  • Authentication-results: mail2-smtp-roc.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 06JLD9WR003788
  • Ironport-phdr: 9a23:sVVm0xaA+HV1uWPDv8fXpNn/LSx+4OfEezUN459isYplN5qZps26bR7h7PlgxGXEQZ/co6odzbaP7ea8ACdZvcbJmUtBWaQEbwUCh8QSkl5oK+++Imq/EsTXaTcnFt9JTl5v8iLzG0FUHMHjew+a+SXqvnYdFRrlKAV6OPn+FJLMgMSrzeCy/IDYbxlViDanbr5+MRS7oR/eu8ULjoduN6k8xxjUqXZUZupawn9lK0iOlBjm/Mew+5Bj8yVUu/0/8sNLTLv3caclQ7FGFToqK2866tHluhnFVguP+2ATUn4KnRpSAgjK9w/1U5HsuSbnrOV92S2aPcrrTbAoXDmp8qlmRAP0hCoBKjU09nzchM5tg6JBuB+vuRxxzZPXbo+bOvVxcb/ScMgASmZdRMtcTTBND42+YoYJEuEPPfxYr474p1YWoxexCwasBOTywTBVmHD63qs00+UuEQHb2wwgBdUOvHrJp9jyKagdT+S1zKjHzTXedP5ZxDb95JLVchAnoPGMQbVwfdDQyUkzDg7IiEibpoP5MT2PzOsNr3Sb4PR6VeKpk2MqpBx8rzixyssxlIXEhYMYxk3Z+St5wIg4Jd21RFBnbNOkEZZcqz2WOpZrT84/Xm1luCI3x7katZC1eCUEyIoqyhjCYPKJdIiI5wjsVOeXITpgmX1qYr2/hw2u8Ui9yu38UtO430tUoSdDj9LCtWgN2gTO5sWJVvdx5Fqt1DKR2wzJ9+1JIUE5mbDGJ5Mn37U+jIAcsV7ZES/zgEj2jLGZdkEj+uWw7uToeLTmppuGO4BpiwHyKLkumsq+AeQkNQgCRWmb+fik2L3i+032XqlKg+UrnqTXrJzWP9kXq6qnDwNPz4ou6xeyAy273NgAmHkINlNFeBaJj4jzPFHOJej1AuqhjFSokTdryO3GM6b8DZXMNHTDjbHhfbdh605b0gYzzMxf64pOCr4dOPLzRlPxtNvAAxAlNAy02v/rB8l51oMDQm2CGbSZMaPXsV+Q/O0jOeiMZIkPuDb8Mfcp/fDujWVq0WMaKKS0wYoPZWuQFe8gOVjfZ36oytwGCCIBuhc0ZO3sklyLFzBJIz67UK41zjU6E569S4zDT4Sojaaamjy2WtVdb3xLBVeWEHrzX4CYUrEHYWbaPt55nydBXL6nTJIn3hyGsA7h16EhNefd4WsFrZ/l0p546/CX3RQ1/jUxBsKb1HyLRGxcmmITW3k3wOZivAg1zlaF3KFiq/dDU8dP7vVHVR02c5PQ0qgyANS3WxnIdNqNTFvjX86rGyoZStMq38RIaE94XdypyA3Am2KSGbgSmYCLCZsu44r43mPtPIBXwmrGkoAqyWQFBoNTNWChnL868w/cBoXhuH7fvIOXM4kw4WqF8GCMzGGmuUhEUEhtV6SAV3cZYA3aoJCx+kPPSKWjDPE/KAxfxNSZAqJLLNjokRNLSOqwFs7ZZjf7pmi3TRqFiZeNY5ftYWJXlHHRBUwFnB078XfAKA4/GiDnon6IX28mLk7mf065qbo2k3i8VEJhl1jbPX0k7KK8/1suvdLZTvoS2rwevyJ48Gd4HRCg2dPKDJyBu1g4JfgOUZYG+F5CkFnhmUl9M5indvAwg1cfd0J7vgXz0RRrDcNBjZpy9S94/E9JMaudlWh5WXaAx5mpYe/bKy/v+hGzbOjXxgOG3Q==

Call for papers - TYPES 2020 - Postproceedings
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 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): 29 March 2021
Details:
  • Papers have to be formatted with lipics.cls 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.
  • 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 post-proceedings: call for papers, Ugo de'Liguoro, 07/19/2020

Archive powered by MHonArc 2.6.19+.

Top of Page