Logic List Mailing Archive

IJCAR 2004 Workshop on Empirically Successful First Order Reasoning (ESFOR); Cork (Ireland, July 2004)

The IJCAR 2004 Workshop on Empirically Successful First Order Reasoning
(ESFOR (aka S4)) will be held at

The 2nd International Joint Conference on Automated Reasoning
Cork, Ireland, 4th July - 8th July, 2004 

It will bring together practioners and researchers who are
concerned with the implementation and deployment of working automated
reasoning systems for first order logic. The workshop will discuss "really
running"  systems, and not theoretical ideas that have not yet been
translated into working systems. Full details are available online at:
     http://www.cs.miami.edu/~tptp/Workshops/ESFOR/

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. Submission information is online at:
     http://www.cs.miami.edu/~tptp/Workshops/ESFOR/

Additionally, the International Journal of Artificial Intelligence Tools
has approved a special edition with extended versions of the workshop
papers, scheduled to appear in June 2005.  If your ESFOR paper is accepted
you will be invited to submit an extended paper for the journal.