The FLoC'06 Workshop on Empirically Successful Computerized Reasoning (ESCoR) will be held 21st August 2006, as part of the The 3rd International Joint Conference on Automated Reasoning at 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:

Systems

• Implementation techniques and comparisons
• Data structures and algorithms for the efficient representation of terms, formulae, search states, etc., e.g. new indexing techniques, efficient implemetation of simplification orderings, etc.
• Higher level data structures and formats for the representation of proof tasks and derivations, proof and lemma storage, etc.
• Implemented and evaluated heuristics
• Implemented and evaluated user interfaces

• Descriptions of computerized reasoning solutions in application domains
• Experiences with practical applications
• Encoding of domain problems into logic, and decoding of logic solutions into the domain
• Special reasoning techniques for applications
• User interfaces
• System integration

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:

• Researchers who have developed and implemented successful computerized reasoning techniques and systems.
• Practioners who have deployed computerized reasoning systems in working applications.
• Users who have already attempted to apply computerized reasoning in their domains, and now wish to learn more.
• Potential users who are interested in learning how computerized reasoning may be used in their domains.

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.

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:

• 9:00-10:30am - Systems Papers
  • Invited Talk: Matt Kaufmann, University of Texas
  • Technical paper
• 11:00-12:30pm - Systems Papers
  • Technical papers
• 2:00-3:30pm - Applications Papers
  • Invited Talk: Johan Bos, University of Rome "La Sapienza"
  • Technical paper
• 4:00-5:30pm - Applications Papers
  • Technical papers
• 5:30-6:30pm - Panel Discussion
  • My Top Ten Things To Do for more Empirically Successful Computerized Reasoning

@Proceedings{SSS06,
    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"
}

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:

• System name, developers names and contact details
• A system description, or associated paper submission
• Evidence that the system or application is empirically successful
• Screen shots or information for online access
• Details of hardware and software that will have to be provided by the organizers if the demonstration is approved

Important dates

• Submission deadline - 22nd May
• Papers distributed to PC - 24th May
• Reviews due in from PC - 12th June
• Notification of acceptance - 16th June
• Camera ready versions due - 3rd July
• Workshop - 21st August