[FOM] ESCoR Workshop

[Martin Davis]

The IJCAR Workshop on Empirically Successful Computerized Reasoning (ESCoR)
will bring together practioners and researchers who are concerned with the
implementation and deployment of working computerized reasoning systems.
Reasoning in all forms (automated, interactive, etc) and all logics 
(classical,
non-classical, all orders, etc) is of interest to the workshop. The workshop
will discuss "really running" systems, and not theoretical ideas that have not
yet been translated into working software. ESCoR is the successor to the
successful ESFOR, ESCAR, and ESHOL workshops. IJCAR will be 16th to 21st 
August
2006 as part of FLoC'06, with ESCoR on the 21st. Full details are available 
at:
http://www.cs.miami.edu/~geoff/Conferences/ESCoR/

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 selected contributions will printed as workshop proceedings, and
will also be published electonrically. The submission deadline is 22nd May,
notification of acceptance is on 16th June, and camera ready versions are due
3rd July. Submission information is online at:
http://www.cs.miami.edu/~geoff/Conferences/ESCoR/