The FLoC'06 Workshop on

Empirically Successful
Computerized Reasoning

will be held 21st August 2006, as part of the

The 3rd International Joint Conference on Automated Reasoning


The 2006 Federated Logic Conference
Seattle, USA, 10th - 22nd August, 2006

This workshop brings together practioners and researchers who are concerned with the implementation and deployment of working computerized reasoning systems. Reasoning in all forms (automated, interactive, etc) and all logics (classical, non-classical, all orders, etc) is of interest to the workshop. The workshop will discuss only "really running" systems and applications, and not theoretical ideas that have not yet been translated into working software. The workshop has two main topic areas:



Additionally, the workshop includes system and application demonstrations. Demonstrations of systems and applications described in paper presentations, and demonstrations of systems and applications without an accompanying paper, are both encouraged.

Participants are expected from several sources:

Among the concrete application areas we envision users active in the fields of verification, deductive databases, mathematics, knowledge representation, semantic web, etc. The workshop provides a forum for discussion of the techniques necessary to take computerized reasoning from the lab and into the "real world". The workshop will enable the attendees to learn from each others' practical experiences, and will document their state-of-the-art techniques.

ESCoR is the successor to the successful ESFOR, ESCAR, and ESHOL workshops.

Journal Publication

The Journal of Applied Logic has agreed to a special issue based around around the topic of the ESCoR workshop. The special issue targets ESCoR participants, but will also also accept submissions from the broader community. The Call for Papers is now available.


The workshop will be a one day workshop, organized as follows:

See the FLoC page for details of the program. The proceedings are now available here, and as CEUR Workshop Proceedings 192. The proceedings may be cited as:
    Author       = "Sutcliffe, G. and Schmidt, R. and Schulz, S.",
    Year         = "2006",
    Title        = "{Proceedings of the FLoC'06 Workshop on Empirically
                    Successful Computerized Reasoning, 3rd International
                    Joint Conference on Automated Reasoning}",
    Place        = "Seattle, USA",
    Series       = "CEUR Workshop Proceedings",
    Volume       = "192",
    ISSN         = "ISSN 1613-0073"

Program Committee
System papers Application papers
Monty Newborn
Dominique Pastre
Jay Halcomb
Bill McCune
Ralf Möller
Michael Norrish
Larry Paulson
Silvio Ranise
Alexandre Riazanov
Stephan Schulz
Laurent Simon
Uwe Waldmann
Freek Wiedijk
Bernhard Beckert
Nikolaj Bjørner
Koen Claessen
Clare Dixon
Bernd Fischer
Ulrich Furbach
Wolfgang Reif
Renate Schmidt
Kurt Stenzel
Geoff Sutcliffe
... more coming ...

The workshop organizers are Geoff Sutcliffe, Stephan Schulz and Renate Schmidt. If you have any questions about the workshop, please email the organizers.


Submission of papers for presentation at the workshop, and proposals for system and application demonstrations at the workshop, are now invited. Submissions will be reviewed (using this review form), and a balanced program of high-quality contributions will be selected. Submissions can be in PDF or Postscript, and must conform to the format produced by LaTeX with this template. There is a 20 page limit. Long listings of problems or computer output should be relegated to a referenced WWW site.

Proposals for system and application demonstrations must include:

Submission is via EasyChair (thanks to Andrei Voronkov). The selected contributions will printed as workshop proceedings, and will also be published electronically.

Important dates