From its begin, to its end, the 20th century provided fascinating questions and important results in the foundations and automation of mathematics. The first half of the 20th century saw the birth of Hilbert's dream concerning the derivation of true formulae, Goedel's incompleteness result which shattered Hilbert's dream, lambda calculus, type theory, logical and set theoretical paradigms whose aim was to give a solid and expressive foundation of mathematics without suffering from the paradoxes. In the second half of the 20th century, computers found a powerful role in the logical foundations of mathematics, and provided complementary and indispensible tools for reasoning about and representing mathematics. When in 1967, N.G. de Bruijn started his programme of Automating Mathematics (Automath), he was told his project will fail by Goedel's result. It seemed then, that all the confusion that reigned at the begin of the 20th century in the logical foundations of mathematics, had surfaced again in the automation of mathematics. But since, the area of automating and mechanising mathematics, has been fascinating and has given birth to many useful tools, techniques, and systems.
This special issue will be devoted to the different approaches in mechanising and automating mathematics. In particular, we are interested in the following:
Manuscripts emphasizing original results, key open issues, progress made and current challenges in the mechanisation, automation and computerisation of mathematics are of particular interest.
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. Information on JAR submissions can be found at http://www-unix.mcs.anl.gov/JAR/. Please format your submissions using JAR macros (available at http://www.springer.com/kaphtml.htm/STYLEFILES?referer=www.springeronline.com).
Submissions should be sent to the guest editor in postscript format, preferably gzipped and uuencoded. In addition, please send as plain text, the title, authors, abstract, and contact information for the paper.
Important Dates:
Guest Editor: Fairouz Kamareddine, Heriot-Watt University, Edinburgh, Scotland, email
This information is available on the web at: http://www.cedar-forest.org/forest/events/automath2002/AR.html
Last modified: Friday 10 May 2002.