[FOM] IJCAR Workshop

[by way of Martin Davis <martin@eipye.com>]

Dear ATP Practitioner,

The  IJCAR 2004  Workshop on  Empirically Successful First Order Reasoning
(ESFOR (aka S4))  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.

Cheers,

Geoff, Stephan, Tanel

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