[FOM] Calculemus 2005 Second Call for Papers
wmfarmer at mcmaster.ca
Fri Feb 4 13:26:18 EST 2005
12th Symposium on the Integration of
Symbolic Computation and Mechanized Reasoning
July 18-19, 2005
In conjunction with Formal Methods 2005
University of Newcastle upon Tyne, United Kingdom
July 18-22, 2005
SECOND CALL FOR PAPERS
The Calculemus Interest Group (http://www.calculemus.net/) is
dedicated to advancing the integration of symbolic computation and
formal deduction in mathematical software systems and computer-aided
verification tools. Calculemus has previously sponsored a series of
11 symposia starting in 1996 whose aim is to bring together
researchers interested in this objective. (Calculemus was also part
of IJCAR 2004.) This series is the major forum for the presentation
of research in combining the capabilities of computer algebra systems
and computer deduction systems.
Calculemus 2005, the 12th symposium in the series, will be held July
18-19, 2005 at the University of Newcastle upon Tyne, United Kingdom
in conjunction with Formal Methods 2005. A principal theme of
Calculemus 2005 will be interactions with formal methods, including
problems in formal methods which require a mixture of computing and
proving, and applications of formal methods to the construction of
Calculemus 2005 welcomes research papers on all aspects of integrating
symbolic computation and formal deduction including:
o Combining computer algebra and computer deduction systems.
o Adding deductive capabilities to computer algebra systems.
o Adding computational capabilities to computer deduction systems.
o Combining methods of symbolic computation and formal deduction.
o Design and implementation issues in integrated systems.
o Formal method problems requiring mixed computing and proving.
o Applications of decision procedures to formal methods.
o Applications of formal methods to the construction of integrated
o Case studies and applications.
o Natarajan Shankar, SRI International
o Awaiting confirmation
Authors are invited to submit papers in the following two categories:
o Research papers up to 15 pages describing original theoretical or
applied research that has not been published elsewhere.
o System descriptions up to 5 pages describing new systems,
significant upgrades of existing systems, or experiments using
The papers should be prepared following the ENTCS instructions (see
o An ASCII version of the title and abstract of the paper should
be e-mailed to both program chairs at carette at mcmaster.ca and
wmfarmer at mcmaster.ca no later than February 18, 2005.
o The full paper should be submitted electronically via the
Web-based submission form at
no later than March 11, 2005.
Accepted papers will be published in a preliminary proceedings which
will be distributed to the registered participants of Calculemus 2005.
The final proceedings will be published soon after the symposium as a
volume in the Electronic Notes in Theoretical Computer Science (ENTCS)
Titles and abstracts due: February 18, 2005
Web-submission deadline: March 11, 2005
Notification of acceptance: April 15, 2005
Final versions due: May 13, 2005
Symposium: July 18-19, 2005
SYMPOSIUM AND PROGRAM CHAIRS
Jacques Carette McMaster University, Canada
William M. Farmer McMaster University, Canada
Andrew A. Adams University of Reading, UK
Alessandro Armando Universit`a di Genova, Italy
Michael Beeson San Jose State University, USA
Wieb Bosma Radboud Universiteit Nijmegen, The Netherlands
Manuel Bronstein INRIA Sophia Antipolis, France
Jacques Calmet Universit"at Karlruhe, Germany
J"urgen Gerhard Maplesoft, Canada
Michael Kohlhase International University Bremen, Germany
Marc Moreno Maza University of Western Ontario, Canada
Roy McCasland University of Edinburgh, UK
Silvio Ranise LORIA and INRIA Lorraine, France
Piotr Rudnicki University of Alberta, Canada
Volker Sorge University of Birmingham, UK
Adam Strzebonski Wolfram Research, USA
Volker Weispfenning Universit"at Passau, Germany
Please send questions to:
Jacques Carette (carette at mcmaster.ca)
William M. Farmer (wmfarmer at mcmaster.ca)
More information about the FOM