The 6th International Workshop
on the Implementation of Logics

will be held on the 12th November 2006, as part of

The 13th International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Phnom Penh, Cambodia, 13th - 17th November 2006

The IWIL workshop series brings together developers and users of systems that implement reasoning in logic, to share information about successful implementation techniques for automated reasoning systems and similar programs. Systems of all types (automated, interactive, etc), and for all logics (classical, non-classical, all orders, etc) are of interest to the workshop. Topics of interest include, but are not limited to:

Contributions that help the community to understand how to build useful and powerful reasoning systems in practice are of particular interest.

Previous IWIL workshops include the 5th IWIL (Montevideo, Uruguay), 4th IWIL (Almati, Kazakhstan), 3rd IWIL (Tbilisi, Georgia), 2nd IWIL (Havana, Cuba), and 1st IWIL (Reunion Island).

Journal Publication

The Journal of Algorithms in Applied Logic, Artificial Intelligence and Computer Science has agreed to a special issue based around around the topic of the IWIL workshop. The special issue targets IWIL participants, but will also also accept submissions from the broader community.


Program Proceedings
Organizers and Program Co-chairs
Chris Benzmüller (Universität des Saarlandes, Germany)
Bernd Fischer (University of Southampton, England)
Geoff Sutcliffe (University of Miami, USA)

Program Committee
Wolfgang Ahrendt (Chalmers University of Technology, Sweden)
Anbulagan (National ICT Australia, Australia)
Serge Autexier (Universität des Saarlandes, Germany)
Chad Brown (Universität des Saarlandes, Germany)
Hans de Nivelle (Max-Planck Institut für Informatik, Germany)
Alexander Fuchs (University of Iowa, USA)
Thomas Hillenbrand (Max-Planck Institut für Informatik, Germany)
Boris Konev (University of Liverpool, England)
Konstantin Korovin (University of Manchester, England)
Albert Oliveras (Technical University of Catalonia, Spain)
Brigitte Pientka (McGill University, Canada)
Stephan Schulz (Technische Universität München, Germany)
Volker Sorge (University of Birmingham, England)
Alwen Tiu (Australian National University, Australia)
Ullrich Hustadt (University of Liverpool, England)


Submission of papers for presentation at the workshop is now invited. Submissions will be reviewed (using this review form), and a balanced program of high-quality contributions will be selected. Submissions must be PDF, 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.

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

Important dates