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 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@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.