[TYPES] ESCAR Call for Papers

[geoff at cs.miami.edu]

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 at cs.miami.edu
University of Miami                       Phone : +1 305 2842158/2842268
(Director of Undergraduate Studies)       FAX   : +1 305 2842264