Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Final CFP Post-proceedings TYPES 2014 Types fo...

Email Gateway (Aug 19 2022 at 15:41):

From: Hugo Herbelin <Hugo.Herbelin@inria.fr>
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

Last updated: Nov 21 2024 at 12:39 UTC