Last Call for Papers - EXTENDED DEADLINE

---------------------------------
Special issue of the

JOURNAL OF FORMALIZED REASONING

on

TWENTY YEARS OF THE QED MANIFESTO
---------------------------------
http://www.cs.ru.nl/qed20/QED-cfp.txt


IMPORTANT DATES
---------------
Paper submission: EXTENDED, December 14, 2014
Notification of acceptance: March 1, 2015
Final versions: March 22, 2015
Publication in JFR: April-May 2015


BACKGROUND
----------

This a special issue on the occasion of the QED+20 workshop
(http://www.cs.ru.nl/qed20/QED-index.html) commemorating the 20th
anniversary of the QED Manifesto and the related 1994 and 1995 QED
Workshops.

From the QED Manifesto (http://www.cs.ru.nl/~freek/qed/qed.html):

"QED is the very tentative title of a project to build a computer
system that effectively represents all important mathematical
knowledge and techniques. The QED system will conform to the highest
standards of mathematical rigor, including the use of strict formality
in the internal representation of knowledge and the use of mechanical
methods to check proofs of the correctness of all entries in the
system..." 


SCOPE AND TOPICS
----------------

The purpose of this special issue is to demonstrate the state of the
art in formalization of mathematics 20 years after the QED Manifesto
and the related 1994 and 1995 QED Workshops, and to show how we are
(not yet) achieving the QED goals.

The topics of interest include:

 * significant formalization projects, particularly in mathematics and
   related areas

 * formalization and theorem proving technology for QED-scale efforts

 * projects generally aimed at large-scale computer understanding and
   semantic processing of mathematical knowledge and reasoning

 * important issues in computer understanding and formalization of
   mathematics and their proposed/prototyped/working solutions

 * important applications and uptake of computer-understandable
   mathematics

Participants of the QED+20 workshop, as well as other authors are invited to
submit contributions.


SUBMISSION GUIDELINES
---------------------

This special issue welcomes original high-quality contributions that
have been neither published in nor simultaneously submitted to other
venues. Submissions will be peer-reviewed using the standard
refereeing procedure of the Journal of Formalized Reasoning.

Submission instructions, author guidelines and the JFR latex style are
available at http://jfr.unibo.it/about/submissions#onlineSubmissions.

In the first step of the online submission process, authors should
select the section: "QED 20th anniversary".


GUEST EDITORS
-------------
John Harrison (Intel Corporation)
Josef Urban (Radboud University Nijmegen)
Freek Wiedijk (Radboud University Nijmegen)