The Coq mailing list

[geoff AT cs.miami.edu]

-------------------------------------------------------------------------------
      ESCAR Workshop Final CFP ... Paper deadline extended until 9th May
-------------------------------------------------------------------------------
ESCAR, a CADE-20 Workshop                                   22nd-23rd July 
2005
http://www.cs.miami.edu/~geoff/Conferences/ESCAR/              Tallinn, ;
Estonia

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 9th 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.
-------------------------------------------------------------------------------