coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] TYPES 2015 post-proceedings open call for papers (reminder)

From: Tarmo Uustalu <tarmo AT cs.ioc.ee>
To: types AT lists.chalmers.se, types-announce AT lists.seas.upenn.edu, agda AT lists.chalmers.se, coq-club AT inria.fr
Subject: [Coq-Club] TYPES 2015 post-proceedings open call for papers (reminder)
Date: Thu, 1 Oct 2015 21:48:36 +0300
Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=tarmo AT cs.ioc.ee; spf=None smtp.mailfrom=tarmo AT cs.ioc.ee; spf=None smtp.helo=postmaster AT postiljon.ioc.ee
Ironport-phdr: 9a23:8Yh8vBLDYvHO6XheHtmcpTZWNBhigK39O0sv0rFitYgVKPzxwZ3uMQTl6Ol3ixeRBMOAu64C1bCd6vu5EUU7or+/81k6OKRWUBEEjchE1ycBO+WiTXPBEfjxciYhF95DXlI2t1uyMExSBdqsLwaK+i760zceF13FOBZvIaytQ8iJ35jxibr5osaKKyxzxxODIppKZC2sqgvQssREyaBDEY0WjiXzn31TZu5NznlpL1/A1zz158O34YIxu38I46FppIZ8VvDmbrw1VpRcDS86KCY+5MTvsBTZVk2U6z9UTnQOnwENCg7D6wz8VZrZtirhqvE7wySTJovrVb0yX3Kv47ovABbnhC4vMz8i7HqRgcx5iKdWugnnvBE7i4XTecSeMOd0VqLbZ9ITA2RbDehLUCkUPoqmaoxHMvcaIe9cssGpu1IUqByWDhLqBeTkjDJF0CyllZYm2vgsRFmVlDcrGMgD5SzZ

Paper submission deadline 27 Nov 2015.

But please let us know of your intent to submit *now*!

Open call for papers

Post-proceedings of the
21st International Conference on Types for Proofs and Programs,
TYPES 2015
Tallinn, Estonia, 18-21 May 2015

BACKGROUND

TYPES is a major forum for presenting research on all aspects of type
theory and its applications. TYPES 2015 was held 18-21 May 2015 in
Tallinn, Estonia.

A post-proceedings volume will be published in LIPIcs (Leibniz
International Proceedings in Informatics), an open-access series of
conference proceedings.

http://www.dagstuhl.de/en/publications/lipics

Submission to this post-proceedings volume is open to everyone, so
also those who did not participate in the conference or did not talk.

We would like to invite all researchers that study and apply type
theory to share their results. In particular, we welcome submissions
on topics from the following list:

foundations of type theory and constructive mathematics;
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.

IMPORTANT DATES

Non-binding intents to submit a paper:
(by submitting (a placeholder for) an abstract)
2 October 2015
Papers due: 27 November 2015
Final notifications: 27 May 2016

DETAILS

* Papers must be formatted with lipics.cls and adhere to the style
requirements of LIPIcs.

http://www.dagstuhl.de/publikationen/lipics/anleitung-fuer-autoren/

* The recommended length of a paper is 15-25 pages.

Submissions significantly longer than 25 pages will not be
considered.

* Papers must be submitted in pdf through EasyChair:

https://www.easychair.org/conferences/?conf=types15postproceedin

* Authors have the option to attach to their submission a zip or tgz
file containing code (formalized proofs or programs), but reviewers
are not obliged to take those attachments into account and they will
not be published.

EDITOR

Tarmo Uustalu, Institute of Cybernetics, Tallinn, Estonia

[Coq-Club] TYPES 2015 post-proceedings open call for papers (reminder), Tarmo Uustalu, 10/01/2015