Logic List Mailing Archive

"Empirically Successful Classical Automated Reasoning" (Tallinn, Estonia; deadline: May 1)

Reminder: ESCAR paper submission closes on 1st May

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.