[DL] CADE 2005 - Call for Workshop Proposals

[Brigitte PIENTKA]

 The 20th International Conference on Automated Deduction (CADE-20)

                      Call for Workshop Proposals

                            Tallinn, Estonia
                   Conference Dates: July 24-27, 2005
                    Workshop Dates: July 22-23, 2005

CADE-20 will be held in Tallinn, Estonia, in July 24-27, 2005 and will
be preceded by workshop and tutorials on July 22 and 23.  For more
information on CADE-20, see <http://sise.ttu.ee/it/cade/>

Researchers are invited to submit proposals for workshops related to
automated deduction, including theory, implementation, applications and
closely related fields.  Both continuations of existing workshop series
and new proposals are encouraged.  Workshop proposals should include:

- Name and short description of the workshop topics
- History of the workshop (if any), including web pointers and
  prior co-location information
- Estimated number of participants (also from past workshops if applicable)
- Proposed format and expected duration (1 or 2 days)
- Planned submission and selection procedure for workshop
- Workshop chair and organizing committee

Proposals are due December 1, 2004 and should be submitted
electronically to

  Frank Pfenning
  CADE-20 Workshop Chair
  fp at cs.cmu.edu

Workshops will be selected by the conference chair (Tanel Tammet),
program chair (Roberto Nieuwenhuis) and the workshop chair (Frank
Pfenning) and announced by December 10, 2004.