7th International Workshop on the Implementation of Logics
November, 2008, Doha, Qatar


The 7th International Workshop on the Implementation of Logics will be held in conjunction with the 15th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2008, in Doha, Qatar, in November 2008. IWIL has been unusually sucessful in bringing together many talented developers, and thus in sharing information about successful implementation techniques for automated reasoning systems and similar programs. We are looking for contributions describing implementation techniques for and implementations of automated reasoning programs, theorem provers for various logics, logic programming systems, and related technologies. 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.

Important dates:

Submission

Please submit an extended abstract of up to 10 pages in PDF, conforming to the format produced by LaTeX using the easychair.cls class file. Long listings of computer output should be relegated to a referenced WWW site. Submission is via EasyChair (thanks to Andrei Voronkov). All submissions will be informally reviewed by the programme committee and accepted contributions will be published in archived electronic notes.

Program committee:

Wolfgang Ahrendt Chalmers University of Technology and Göteborg University
Elvira Albert Complutense University of Madrid
Serge Autexier Saarland University
Chris Benzmüller Saarland University
Chad Brown Saarland University
Bart Demoen Katholieke Universiteit Leuven
Alessandro Cimatti FBK-irst, Trento
Hans de Nivelle Wrocław University
Bernd Fischer Southampton University
Alexander Fuchs Iowa University
Thomas Hillenbrand Max-Planck-Institut für Informatik
Ullrich Hustadt Liverpool University
Boris Konev (co-chair) Liverpool University
Konstantin Korovin Manchester University
Gopalan Nadathur Minnesota University
Albert Oliveras Technical University of Catalonia
Brigitte Pientka McGill University
Kostis Sagonas Uppsala University
Renate Schmidt (co-chair)   Manchester University
Peter Schneider-Kamp RWTH Aachen
Stephan Schulz (co-chair)   Technische Universität München
Volker Sorge Birmingham University
Geoff Sutcliffe University of Miami


Previous events:

Reunion Workshop
Second Workshop in Cuba
Third workshop in Tbilisi
Fourth workshop in Almati
Fifth workshop in Montevideo
Sixth workshop in Phnom Penh
Maintained by Boris Konev, B.Konev@csc.liv.ac.uk. Last updated September 16, 2003.