Calculemus 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
Call for Papers
General
The Calculemus Interest
Group 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 integrated systems.
Scope
Calculemus 2005 welcomes research papers on all aspects of integrating
symbolic computation and formal deduction including:
- Combining computer algebra and computer deduction systems.
- Adding deductive capabilities to computer algebra systems.
- Adding computational capabilities to computer deduction systems.
- Combining methods of symbolic computation and formal deduction.
- Design and implementation issues in integrated systems.
- Formal method problems requiring mixed computing and proving.
- Applications of decision procedures to formal methods.
- Applications of formal methods to the construction of
integrated systems.
- Case studies and applications.
Invited speakers
Submissions
Authors are invited to submit papers in the following two categories:
- Research papers up to 15 pages describing original theoretical
or applied research that has not been published elsewhere.
- System descriptions up to 5 pages describing new systems,
significant upgrades of existing systems, or experiments using
systems.
The papers should be prepared following the ENTCS instructions.
- An ASCII version of the title and abstract of the paper should
be e-mailed to both program chairs (see below) no later than
February 18, 2005.
- The full paper should be submitted electronically via the Web-based
submission form no later than March 11, 2005.
Proceedings
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).
Important Dates
      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