CADE-19 in Miami

28 July - 2 August 2003

In the sunshine ... On the beach

Call for Workshops and Tutorials

CADE-19, the 19th International Conference on Automated Deduction, will take place in Miami, Florida, USA (... in the sunshine ... on the beach), on July 28 - August 2, 2003. Workshops and tutorials will be held on July 28-29, 2002. They will ordinarily run for one or two days, but half-day ones are possible as well.

Workshop Topics
Recent CADE workshops have included term schematizations and their applications, automation of proofs by induction, empirical studies in logic algorithms, mechanizations of partial functions, proof search in type-theoretic languages, automated model building, evaluation of automated theorem-proving systems, strategies in automated deduction, automated theorem proving in software engineering and in mathematics, unification, automated verification, and integration of symbolic computation and deduction. We encourage workshops that build on previous events as well as new ones in novel research areas broadly related to automated deduction.

Tutorial Topics
Recent CADE tutorials have included equality reasoning in semantic tableaux, proof systems for nonmonotonic logics, rewrite techniques in theorem proving, proof planning, parallelization of deduction strategies, resolution decision methods, constructive type theory, the use of semantics in Herbrand-based proof procedures, logical frameworks, theorem proving by the inverse method, deduction methods based on boolean rings, higher-order equational logic, term indexing in automated reasoning, and combination of decision procedures. Tutorials may be introductory, intermediate, or advanced. Tutorials on novel research are also encouraged. In any case, a tutorial must be broad enough to cover a research area in which there is a significant publication activity in the community. Presentations that focus on the presenters' own research results or commercial presentations are not eligible.

Workshop/Tutorial Participation

Workshop/tutorial participants will not be required to register for CADE. There will be a basic workshop/tutorial registration fee, with two-day events (workshops or tutorials) costing twice as much as a one-day events. The fee will be the same regardless of whether the participant also registers for CADE or not.

The basic fee covers registration for the day(s) of one event, and includes materials (workshop proceedings or tutorial handouts) for that event and lunch on the event's day(s). To encourage attendance to more than one event, registration to additional workshops and tutorials held on the day(s) covered by the basic fee will require only a small extra fee, per each additional event.

Each workshop/tutorial will receive from CADE 2 or 3 basic fee waivers for the benefit of the event's organizers/presenters.

Workshop/Tutorial Publication

Workshop organizers may choose to have their workshop proceedings printed and distributed by CADE-19 organizers. In that case, the workshop organizers must provide camera-ready proceedings in PDF format by July 14, 2003. In addition, there will be a joint Web-publication of all the workshop proceedings at the conference. Hence, electronic submissions to the workshops are strongly encouraged, and the workshop organizers are expected to provide an on-line version of their proceedings (a table of contents with pointers to postscript/PDF versions of the papers is sufficient).

Tutorial presenters are expected to prepare handouts for the audience, and may choose to have these printed and distributed by CADE-19 organizers. In that case, the tutorial presenters must provide camera-ready copies in PDF format by July 14, 2003. They may also choose to have their materials made available on the conference Web site before the start of the conference.

How to Propose a Workshop

Workshop proposals must contain the necessary information for the program committee to judge the importance, quality and community interest in the proposed topic. Each workshop must have one or more designated organizers and may have a program committee as well. A workshop's submission deadline should be no earlier than April 7, 2003, while its notification of acceptance deadline should be no later than May 16, 2003. Workshop proposals must be limited to three pages and provide at least the following information:

How to Propose a Tutorial

Tutorial proposals must be limited to three pages and contain all information the proposer considers to be relevant for judging the relevance of the tutorial. In particular, they must contain:


Workshop/tutorial proposals and tutorial sample material must be submitted by email, to or, in either plain text or in PS/PDF format. PS/PDF submissions should be sent as attachments.

Proposals must be submitted by 15th December 2002. They will be evaluated by the workshop/tutorial chair in close collaboration with the program committee. Proponents will be notified by 15th January 2003.

The CADE-19 organizers reserve the right to cancel accepted workshops/tutorials if not enough people register by the deadline for early registration.


Important Dates

15th December 2002 Deadline for submission of workshop and tutorial proposals
15th January 2003 Notification of acceptance of tutorials and workshops
7th April 2003 Earliest deadline for workshop submissions
16th May 2003 Latest deadline for notification of acceptance of workshop papers
23rd May 2003 Deadline for early registration
14th July 2003 Deadline for delivery of workshop proceedings and tutorial handouts, for printing by CADE-19 organizers

Further Info

Further information will be available from the conference WWW page: