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:
- Data structures and algorithms for the efficient representation of
logical concepts
- Theorem proving systems
- Model generation systems
- Satisfiability-modulo-theories systems
- Constraint-based systems
- Logic programming systems
- Implementation of propositional logic and decision procedures
- Implementation of higher order logics and lambda-calculus
- Implementation of new and unusual calculi
- Integration of systems based on different logics
- Transformations between different logics (e.g., abstractions)
- Issues of reliability, witness generation, and witness verification
- Evaluation and benchmarking of logic-based systems
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.
Organization
Program
- 9:00-10:00am - Invited Talk
Algorithms and Data Structures for First-Order Equational Deduction
(PDF slides)
Stephan Schulz
- 10:00-10:30am - Break
- 10:30-11:00am
Term Indexing for the LEO-II Prover
Frank Theiß and Christoph Benzmüller
- 11:00-11:30am
Integrating External Deduction Tools with ACL2
(PPT slides)
Matt Kaufmann, J Strother Moore, Sandip Ray and Erik Reeber
- 11:30-12:00pm
Efficiently Checking Propositional Resolution Proofs in Isabelle/HOL
(PDF slides)
Tjark Weber
- 12:00-2:00pm - Lunch
- 2:00-3:00 - Invited Talk
Implementing an Instantiation-based Theorem Prover for First-order
Logic
Konstantin Korovin
- 3:00-3:30pm - Break
- 3:30-4:00pm
Tableau Decision Procedure for Propositional Intuitionistic Logic
(PDF slides)
Guido Fiorino, Alessandro Avellone and Ugo Moscato
- 4:00-4:30pm
LIFT-UP: Lifted First-Order Planning Under Uncertainty
Steffen Hölldobler and Olga Skvortsova
- 4:30-5:00pm
Multiple Preprocessing for Systematic SAT Solvers
(PDF slides)
Anbulagan and John Slaney
- 5:00-6:00pm - Panel Interrogation
A panel of experts on the implementation of logics will answer
tricky questions.
Anbulagan,
Martin Giese,
Konstantin Korovin,
Stephan Schulz
Proceedings
- Local PDF.
- CEUR Workshop Proceedings 212.
Please cite as:
@Proceedings{BFS06,
Author = "Benzmueller, C. and Fischer, B. and Sutcliffe, G.",
Year = "2006",
Title = "{Proceedings of the 6th International Workshop on the
Implementation of Logics}",
Place = "Phnom Penh, Cambodia",
Series = "CEUR Workshop Proceedings",
Volume = "212",
ISSN = "ISSN 1613-0073"
}
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
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
- Submission deadline - 18th September
- Papers distributed to PC - 20th September
- Reviews due in from PC - 2nd October
- Notification of acceptance - 6th October
- Camera ready versions due - 23rd October
- Workshop - 12th November