From: Hugo Herbelin <Hugo.Herbelin@inria.fr>
To: caml-list@inria.fr
Subject: [Caml-list] Final CFP Post-proceedings TYPES 2014 Types for Proofs and Programs (open call, extended deadline)
Date: Fri, 29 Aug 2014 17:37:49 +0200 [thread overview]
Message-ID: <20140829153749.GA14327@yquem.inria.fr> (raw)
Final call for papers: Types for Proofs and Programs,
post-proceedings of TYPES 2014 (open call)
(with deadline extension and corrected submission link)
-------------------------------------------------
TYPES is a major forum for the presentation of research on all aspects
of type theory and its applications. The post-proceedings of TYPES
2014, which was held May 12-15 in Paris, are open to everyone, also
those who did not participate in the conference. We would like to
invite all researchers that study type systems to share their results
concerning type-based theorem proving environments or type-based
formal modelling, in particular we welcome submissions on any topic in
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
- Formalising mathematics using type theory.
Important dates
---------------
Abstract submission deadline: 8 September 2014 (new deadline)
Paper submission deadline: 15 September 2014 (new deadline)
Notification of acceptance: 15 February 2015
Details
-------
* Papers must be submitted in PDF format using EasyChair:
"https://www.easychair.org/conferences/?conf=types14postproceedin".
* Authors have the option to include an attachment (.zip or .tgz)
containing mechanised proofs, but reviewers are not obliged to take
these attachments into account. Attachments will not be published.
* The post-proceedings will be published in LIPIcs (Leibniz
International Proceedings in Informatics,
"http://www.dagstuhl.de/en/publications/lipics"), an open-access
series of conference proceedings (TYPES 2013 post-proceedings have
been published last July as volume 26 of the LIPIcs series Informatics,
see http://drops.dagstuhl.de/portals/extern/index.php?semnr=14006).
* We recommend to keep the length of the contributions in the range of
15-25 pages, and 25 pages is the upper limit for the
submissions. More detailed instructions are given at
"https://www.pps.univ-paris-diderot.fr/types2014/PostProceedings".
Editors
-------
Hugo Herbelin Inria Paris-Rocquencourt, France
Pierre Letouzey University Paris-Diderot, France
Matthieu Sozeau Inria Paris-Rocquencourt, France
reply other threads:[~2014-08-29 15:37 UTC|newest]
Thread overview: [no followups] expand[flat|nested] mbox.gz Atom feed
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=20140829153749.GA14327@yquem.inria.fr \
--to=hugo.herbelin@inria.fr \
--cc=caml-list@inria.fr \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).