Note: The submission deadline has been changed to March 28, 2005.
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. The full
paper should be submitted electronically via the Web-based
submission form no later than March 28, 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
      Web-submission deadline:      
| March 28, 2005
|
      Notification of acceptance:      
| April 29, 2005
|
      Final versions due:     
| May 27, 2005
|
      Symposium:      
| July 18-19, 2005
|
Symposium and program chairs