[FOM] workshop on implemented classical logic programs

[martin@eipye.com]

      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.