Email Gateway (Aug 19 2022 at 15:55): Email Gateway (Aug 19 2022 at 15:55):From: Josef Urban <josef.urban@gmail.com>
Call for Papers for the 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: December 1, 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)
Last updated: Nov 21 2024 at 12:39 UTC