Dear ATP Researcher, The CADE-20 Workshop on Empirically Successful Classical Automated Reasoning (ESCAR) will bring together practioners and researchers who are concerned with the implementation and deployment of working automated reasoning systems for classical logic (propositional, first order, and higher order). The workshop will discuss "really running" systems, and not theoretical ideas that have not yet been translated into working software. ESCAR is the successor to the successful ESFOR workshop held at IJCAR 2004. CADE-20 will be 22nd to 27th July 2005, with ESCAR on the 22nd and 23rd. Full details are available at: http://www.cs.miami.edu/~geoff/Conferences/ESCAR/ Submission of papers for presentation at the workshop, and proposals for system and application demonstrations at the workshop, are now invited. Submissions will be refereed, and a balanced program of high-quality contributions will be selected. The submission deadline is 1st May, notification of acceptance on 30th May, and camera ready versions due 12th June. Submission information is online at: http://www.cs.miami.edu/~geoff/Conferences/ESCAR/ Additionally, the Journal of Automated Reasoning has agreed to a special issue on emperically successful automated reasoning. Authors of ESCAR papers will be able to submit extended versions of their workshop papers for this special issue. All papers submitted for the special issue will be reviewed according to the journal's standards. We hope you will accept this invitation, and be part of ESCAR. Cheers, Geoff, Stephan, Bernd Geoff Sutcliffe http://www.cs.miami.edu/~geoff Department of Computer Science Email : geoff@cs.miami.edu University of Miami Phone : +1 305 2842158/2842268 (Director of Undergraduate Studies) FAX : +1 305 2842264