Formal Proofs for Mathematics and Computer Science

Guest Editors

Laurent Théry and Freek Wiedijk

Call for Papers

We invite submission of papers on Proof Formalization for possible publication in this Mathematics in Computer Science (MCS) special issue.



In recent years, the use of Interactive Theorem Provers for the formalization of mathematical proofs has seen impressive advances:

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 > .

Guest Editors of the Special Issue:

Laurent Théry, INRIA Sophia Antipolis, email: < Laurent.Thery@inria.fr >

Freek Wiedijk, Radboud University Nijmegen, email: < freek@cs.ru.nl>