CALCULEMUS-2001
Siena, Italy, June 21st-22nd, 2001
9th Symposium on the Integration of
Symbolic Computation and
Mechanized Reasoning
co-located with IJCAR -
International Joint Conference on Automated Reasoning
Internal court, Palazzo Comunale, Siena. (Photo by Lucia Sebastiani)
Generalities
Both Deduction Systems and Computer Algebra Systems are receiving
growing attention from industry and academia.
On the one hand, Mathematical Software Systems have been commercially very
successful. Their use is now wide-spread in industry, education, and scientific
contexts.
On the other hand, the use of formal methods in hardware and software development
has made Deduction Systems indispensable not least because of the complexity and
sheer size of the reasoning tasks involved. In spite of these successes there is
still need for improvement as many application domains still fall outside the
scope of existing Deduction Systems and Computer Algebra Systems.
The symposium is intended for researchers
and developers interested in combining the reasoning capabilities of
Deduction Systems and the computational power of CASs.
Topics of interest for the symposium include all aspects related to the
combination of deduction systems and computer algebra systems.
We explicitly encourage submissions of results from applications and case studies
where such an integration results particularly important.
Consistent with the symposium format, we expect and encourage contributed talks to
present work in progress, rather than polished final results.
Proceedings
Given the informal style of the symposium, there will not be
archival proceedings, but only informal ones. This means that
the symposium will be open to student's work, work in progress, etc.
Special issue of Journal of Symbolic Computation
Call for Papers
(CLOSED)
(text),
(postscript),
(pdf)
Papers
-
Call for Papers (closed)
(text),
(postscript),
(pdf)
Invited speaker (joint event with
IJCAR):
- Doron Zeilberger,
Department of Mathematics, Temple University , Philadelphia, USA
Important Dates
(Notice the deadline extension, and the anticipated notification of acceptance!)
Submission deadline: April 9, 2001
Notification of acceptance: May 7, 2001
Deadline for final papers: June 1, 2001
Symposium: June 21-22, 2001
IJCAR: June 18-23, 2001
Chairs
- Steve
Linton
, St Andrews University, Scotland, UK.
On the one hand, Mathematical Software Systems have been commercially very successful. Their use is now wide-spread in industry, education, and scientific contexts.
On the other hand, the use of formal methods in hardware and software development has made Deduction Systems indispensable not least because of the complexity and sheer size of the reasoning tasks involved. In spite of these successes there is still need for improvement as many application domains still fall outside the scope of existing Deduction Systems and Computer Algebra Systems.
The symposium is intended for researchers and developers interested in combining the reasoning capabilities of Deduction Systems and the computational power of CASs.
Programme Committee
Submission
Authors are invited to submit papers in the following categories:
Submitted papers shall be prepared following the
LNCS
guidelines and
shall be submitted electronically by sending an e-mail to
calculemus2001-chairs@cs.unitn.it, with header "CALCULEMUS-2001 SUBMISSION",
containing as attachments the file of the paper (in either postscript of pdf format)
and a compiled submission
form.
We strongly encourage the author(s) to use LaTeX.
Authors of accepted full papers and system descriptions are expected to present their contribution at the symposium. Authors of system descriptions are expected to demonstrate their systems.
Registration
Registration is with IJCAR
Social Events
There will be an official dinner. (Date to be estabilished.)
Useful Information
APT -- official Tourism Association
Piazza del Campo, 56
Phone: ++39 0577 280551
fax ++39 0577 270676
e-mail: aptsiena@siena.turismo.toscana.it
Related Events
Further Information
Previous CALCULEMUS meetings