Final CFP: CALCULEMUS AND TYPES 98
To: firstname.lastname@example.org, SILFS-L@icineca.cineca.it, email@example.com, firstname.lastname@example.org, email@example.com, firstname.lastname@example.org, email@example.com, firstname.lastname@example.org, email@example.com, firstname.lastname@example.org, email@example.com, firstname.lastname@example.org, email@example.com, firstname.lastname@example.org, email@example.com, firstname.lastname@example.org, email@example.com, firstname.lastname@example.org, email@example.com, firstname.lastname@example.org, email@example.com, firstname.lastname@example.org, email@example.com
Subject: Final CFP: CALCULEMUS AND TYPES 98
From: Calculemus and Types 98 <firstname.lastname@example.org>
Date: Fri, 24 Apr 1998 11:38:35 +0200 (MET DST)
Delivery-Date: Fri, 24 Apr 1998 04:49:29 -0500
Final Call for Papers
Sixth CALCULEMUS and TYPES Workshop
-Integrating Computation and Deduction-
Eindhoven University of Technology July 13-15, 1998
A few years ago, several groups from the deduction and computer
algebra communities decided to work together towards the
integration of theorem provers and computer algebra systems. This
collaborative project has been called Calculemus. Five workshops
have already been held, respectively in Rome, Dagstuhl, Linz,
Trento, and Edinburgh. Attendance was restricted to groups
belonging to Calculemus. So far the Types project has operated in
much the same direction, but with a stronger focus on
Lambda-Calculus. Significant progress has now been achieved and
it has been decided that this workshop will be fully open and
provide the atmosphere for discussion among the two communities.
The present workshop is the first joint enterprise of these two
The theme of the workshop is the integration of deduction and
computation. All pertinent submissions will be considered. Papers
and extended abstract on the following topics are especially
* Coupling existing computer algebra systems and theorem
* Connections between formal and informal approaches to
* Inclusion of deduction capabilities into computer algebra
* Inclusion of computational capabilities into theorem provers
* Implementation details regarding the above, such as a
mathematical software bus
* Formal methods, specification and semantics, applied to
Automated Theorem Proving or Symbolic Computation
* Design of systems for handling both deduction and
The workshop will be held in parallel with the UITP workshop on
the analysis and design of user interfaces for theorem proving
assistants. Two invited speakers are expected at the UITP
workshop, one of them is Harold Thimbleby.
Five invited talks are expected at the Calculemus and Types
workshop. Among them, there will be survey talks concerning the
achievements, the activities and the goals of the project
CALCULEMUS and those of the project TYPES. Robert Constable, Henk
Barendregt and Dana Scott will be among the invited speakers.
All invited talks will be held in plenary sessions with the
workshop UITP and the participants to both workshops will be
able to attend them.
Papers may be up to 10 pages in length. A cover sheet must display
the author's name, institution, email and postal adresses, and an
abstract. Systems demonstrations are also invited. Authors must
state in the cover sheet whether they intend to offer a
demonstration of a running system.
Submissions should be sent electronically, in (La)TeX source, or
as an HTML document to email@example.com before May 1.
The submissions will either be accepted or rejected for
presentation by the program committee before June 1. No formal
proceedings will appear, but a depository of the accepted papers
will be made available via the Web, provided the authors agree.
This enables authors to submit their work also to journals or
conferences with a proper refereeing procedure. The main role of
the program committee will be to filter the submissions so as to
ensure a balanced workshop and good quality contributions.
Henk Barendregt (Nijmegen) Fausto Giunchiglia (Trento)
Bruno Buchberger (Linz) JanWillem Klop (Amsterdam)
Alan Bundy (Edinburgh) Joerg Siekmann (Saarbrücken)
Jacques Calmet (Karlsruhe) Jan Smith (cochair, Gothenburg)
Arjeh Cohen (chair,
Eindhoven) Andrzej Trybulec (Bialystok)
Please let the organizers know as soon as possible if you intend
to come by sending a short e-mail to firstname.lastname@example.org .
* Olga Caprotti
* Arjeh M. Cohen
Eindhoven University of Technology, Eindhoven, The Netherlands
EIDMA, the Euler Institute for Discrete Mathematics and its
Enquire with mail to email@example.com and/or look up the workshop
web page: http://www.win.tue.nl/~calc.