*To*: undisclosed-recipients:;*Subject*: [isabelle] MCS: Formal Proofs for Mathematics and Computer Science [Last Call for Papers]*From*: Laurent Théry <Laurent.Thery at inria.fr>*Date*: Thu, 22 Aug 2013 18:49:31 +0200*User-agent*: Mozilla/5.0 (X11; Linux x86_64; rv:17.0) Gecko/20130625 Thunderbird/17.0.7

MCS Special Issue: Formal Proofs for Mathematics and Computer Science <http://www-sop.inria.fr/marelle/MCS-FP-2013/> CALL FOR PAPERS We invite submission of papers on Proof Formalization for possible publication in this Mathematics in Computer Science (MCS) special issue. Deadlines: Deadline for paper submission: August 31, 2013 Notification of acceptance/rejection: December 15, 2013 Publication of the special issue: Early 2014 Scope: In recent years, the use of Interactive Theorem Provers for the formalization of mathematical proofs has seen impressive advances: - In mathematics, the Flyspeck project and the formal verification of Feit-Thompson theorem indicate that formal proofs may play an active role in the development of new mathematics. - In computer science, the CompCert and L4.verified projects indicate that non-trivial systems like compilers and operating systems can be fully verified. Still, much more progress is needed in order to make the use of this new technology ubiquitous. The aim of this special issue is to bring together high quality contributions which present recent advances in the use of formal proofs and new perspectives on the technology of interactive theorem proving. Submission guidelines: Papers should be submitted as a pdf. While there is no strict page limit, papers are expected to be approximately 20 pages long. The LaTeX "mathincs" class should be used, according to the guidelines at <http://www.springer.com/birkhauser/mathematics/journal/11786>. Papers should either be accompanied by a formalization, a library for an interactive theorem prover, or an implemented system. Submission is preferably through EasyChair at <https://www.easychair.org/conferences/?conf=mcsfp2013>. Editors of the Special Issue: Laurent Théry, INRIA Sophia Antipolis email:<Laurent.Thery at inria.fr> Freek Wiedijk, Radboud University Nijmegen email:<freek at cs.ru.nl>

- Previous by Date: Re: [isabelle] subscripts in identifiers
- Next by Date: Re: [isabelle] Trouble loading theories on windows
- Previous by Thread: Re: [isabelle] subscripts in identifiers
- Next by Thread: [isabelle] Elbe Theory Viewer 1.67
- Cl-isabelle-users August 2013 archives indexes sorted by: [ thread ] [ subject ] [ author ] [ date ]
- Cl-isabelle-users list archive Table of Contents
- More information about the Cl-isabelle-users mailing list