CADE-19 in Miami 28 July - 2 August 2003 In the sunshine ... On the beach

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:

• The title of the workshop.
• Description of the workshop topic and goals.
  Why do you believe this is an interesting and significant topic, and why do you believe the workshop is best held at CADE? What are the main goals of the workshop?
• Intended audience.
  From which areas do you expect potential participants to come? How many participants do you expect? Are there any limitations to participation (e.g., maximum number of participants, or by invitation only)? How are you going to publicize your workshop?
• Organization of the workshop.
  Describe the intended format of the workshop, its expected duration (from half a day to two days) and preferred dates (Aug 28, 29, or both). Are you going to schedule invited talks, presentations, panel discussions, and other methods for ensuring an interactive atmosphere? Are there any plans to document the workshop results beyond CADE's Web publication?
• Organizers' details.
  Provide complete affiliations and contact details (email, web page, phone, fax, etc.) of all organizers and committee members. For the designated organizers, briefly describe their background in the proposed topic, together with a list of workshops previously organized in the workshop's or related areas.

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:

• A short overview of the area that will be covered.
• An outline of the tutorial in the form of a structured list of topics.
• A description of the target audience.
• Information about the scientific qualifications of the presenter(s), including their experience on teaching the material of the tutorial.
• If possible, some sample material (e.g., slides or handouts from a previous tutorial or a course the presenters taught).

Submissions

Workshop/tutorial proposals and tutorial sample material must be submitted by email, to workshops@cade-19.info or tutorials@cade-19.info, 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.

Deadlines

Important Dates

Further Info

Further information will be available from the conference WWW page: http://www.CADE-19.info