From: Manfred Kerber <M.Kerber@cs.bham.ac.uk>
To: categories@mta.ca
Subject: 1st CFP CALCULEMUS-2000
Date: Wed, 08 Dec 1999 15:27:51 +0000 [thread overview]
Message-ID: <199912081539.LAA03094@mailserv.mta.ca> (raw)
CALCULEMUS-2000
Symposium on the Integration of
Symbolic Computation and Mechanized Reasoning
6-7 August 2000
St Andrews, Scotland
(collocated with ISSAC 2000)
http://www.mathweb.org/calculemus/meetings/standrews00
SCOPE
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. As many application domains fall
outside the scope of existing deduction systems and computer algebra
systems, there is still need for improvement and in particular need
for the integration of computer algebra and deduction systems.
The symposium is intended for researchers and developers interested in
combining the reasoning capabilities of deduction systems and the
computational power of computer algebra systems.
TOPICS
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 integration results are particularly important.
FORMAT
The symposium will feature invited talks, contributed presentations
with ample time for discussion, and a panel session.
Consistent with the tradition of the symposium as a lively forum for
discussing controversial ideas, we expect and encourage contributed
talks to present work in progress, rather than polished final results.
INVITED SPEAKERS
- Henk Barendregt, U. Nijmegen, Mathematics and Computer Science
- Arjeh Cohen, Eindhoven University of Technology, Dept. Math.
- Gaston Gonnet, ETH Z"urich, Institute for Scientific Computation
SUBMISSION
Authors are invited to submit papers in the following categories:
- Full papers up to 15 pages describing original results not
published elsewhere.
- System descriptions of up to 5 pages describing new systems or
significant upgrades of existing ones, especially including
experiments.
Details of the submission format will be available from the web page
(see top) closer to the deadline.
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.
The symposium will have published proceedings, the organizers are
currently negotiating with major publishers. The results and details
will be published at the web page together with the submission
specification.
IMPORTANT DATES
Submission deadline: 1 April 2000
Notification of acceptance: 22 May 2000
Final versions for proceedings: 9 July 2000
Workshop: 6-7 August 2000
ISSAC: 7-9 August 2000
ORGANIZATION and PROGRAMME CHAIRS
Manfred Kerber, U. Birmingham, <M.Kerber@cs.bham.ac.uk>
Michael Kohlhase, U. Saarbr"ucken, <kohlhase@cs.uni-sb.de>
LOCAL ORGANIZER
Steve Linton, St. Andrews U. <sal@dcs.st-and.ac.uk>
PROGRAMME COMMITTEE
Alessandro Armando, U. Genova
Michael Beeson, San Jose State U.
Manuel Bronstein, INRIA Sophia Antipolis
Bruno Buchberger, RISC, Linz
Jaques Calmet, U. Karlsruhe
Olga Caprotti, TU. Eindhoven
Edmund Clarke, CMU
Therese Hardin, Paris VI
John Harrison, Intel Corp.
Tudor Jebelean, RISC, Linz
Helene Kirchner, Nancy LORIA/INRIA
Deepak Kapur, U. New Mexico, Albuquerque
Steve Linton, St. Andrews U.
Ursula Martin, St. Andrews U.
Julian Richardson, U. Edinburgh
J"org Siekmann, U. Saarbr"ucken
Carolyn Talcott, Stanford U.
Andrzej Trybulec, U. Bialystok
reply other threads:[~1999-12-08 15:27 UTC|newest]
Thread overview: [no followups] expand[flat|nested] mbox.gz Atom feed
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=199912081539.LAA03094@mailserv.mta.ca \
--to=m.kerber@cs.bham.ac.uk \
--cc=categories@mta.ca \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).