Logic List Mailing Archive
CfP special issue of JAR on "Milestones in interactive theorem proving"
CALL FOR PAPERS
Special Issue On
MILESTONES IN INTERACTIVE THEOREM PROVING
Journal of Automated Reasoning
The past few decades have seen major achievements in interactive theorem
proving, such as the formalisation of deep mathematical theorems and
significant bodies of theoretical computer science, as well as the
verification of complex software and hardware systems. Too often, these
impressive results have been published in abbreviated or fragmentary form in
conference proceedings, or not at all. This special issue welcomes
full-length papers describing past work not previously published in a
journal, along with new developments of any length. Small, self-contained
Proof Pearls and applications of all kinds are also welcome.
This special issue will be devoted to applications of interactive theorem
proving in their full variety: formalised mathematics, formalised theory,
formalised semantics, formal proofs of hardware or software systems. They can
be large or small.
Manuscripts should be unpublished works and not submitted elsewhere. Revised
and enhanced versions of papers published in conference proceedings that have
not appeared in archival journals are eligible for submission. All
submissions will be reviewed according to the usual standards of scholarship
and originality.
Papers should be in pdf format, following the JAR guidelines for authors, and
be submitted using the usual Springer online submission system:
http://www.editorialmanager.com/jars/default.aspx
When you reach the drop-down menu "Choose Article Type", you must select
"S.I. : MILESTONE" to specify the special issue.. To encourage a speedy
review cycle, it will be expected that authors of submissions also serve as
referees.
Important Dates
1 Apr 2017 Submission Deadline
1 Oct 2017 Notification of accepted papers
1 Jan 2018 Final version
For more information, please see
http://www.cse.unsw.edu.au/~kleing/JAR-milestone/
Guest Editors
Larry Paulson, University of Cambridge
Jeremy Avigad, Carnegie Mellon University
Gerwin Klein, Data61 and UNSW Australia
--
[LOGIC] mailing list
http://www.dvmlg.de/mailingliste.html
Archive: http://www.illc.uva.nl/LogicList/
provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam