FLoC'99 Workshop W7
CALCULEMUS: Systems for Integrated Computation and Deduction
11-12 July 1999, Trento - Italy
FLoC'99 Workshop W7
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 workshop 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 workshop include all aspects related to the
combination of deduction systems and computer algebra systems. The
emphasis of this year's workshop will be on whether existing systems
and technologies can be integrated as they stand or if a fundamental
redesign will be necessary. Contributions addressing this specific
problem will be considered of special interest. We also explicitly
encourage submissions of results from applications and case studies
where such an integration results particularly important.
The workshop
will feature invited talks, contributed presentations with ample time
for discussion, and a panel. Consistent with the workshop format, we
expect and encourage contributed talks to present work in progress,
rather than polished final results.
Authors are invited to submit papers in the following categories:
Submissions should be prepared with a font size not smaller than
11pt. The first page should contain the title, authors, e-mail, and
postal addresses of the authors. All submissions should be sent to
the organizing and programme committee (calculemus99@dist.unige.it)
in postscript format by March 28, 1999.
The submission deadline is March 28, 1999. Decisions on acceptance
will be sent by April 26, 1999. The deadline for sending the final
versions is June 5, 1999.
Authors of accepted extended abstracts and system descriptions are
expected to present their contribution at the workshop. Attendance is
by invitation only, based on the received submissions.
The workshop
proceedings will be published as a volume in the RISC technical report
series. A copy of the proceedings will be available at the workshop
and on the workshop web page. Authors of accepted abstracts will be
invited to submit a full version, which will again be refereed. The
selected papers and the resume` of the panel will be published later
as a special issue of the Journal of Symbolic
Computation.
Registration to the workshop must be done via the FLoC'99
Registration Form.
PC chairs
For further information, please contact either one of the
program chairs,
Alessandro Armando and
Tudor Jabelean.
Information of the previous workshops in this series can be found at
the CALCULEMUS Project home page.Topics of interest
Format of the Workshop
Invited speakers
Submission guidelines
Researchers interested in attending the workshop without giving a talk
may send a position paper of 1-2 pages describing their interest in
the mentioned topics. Publication
Important Dates
Submission deadline: March 28, 1999
Notification of acceptance: April 26, 1999
Final versions for proceedings: June 5, 1999
Workshop date: July 11-12, 1999
RTA & LICS: July 2-5, 1999
FLoC Workshops: July 5-6, 1999
CADE & CAV: July 7-10, 1999
Registration
Social Events
In both cases please let me know if you prefer a vegetarian menu.
Please send the information to Alessandro Armando.
Conference Organization
Program committee
Further information
Last modified: Thu Aug 26 15:45:18 MET DST 1999