WLP 2006

20th Workshop on
Logic Programming

Vienna, Austria
February 22-24, 2006

   Wien Karlsplatz; Musikverein, Stadtbahnpavillon

General | Topics | Submission | Online Proceedings | Program | Registration | Local Info | Committees | Dates | Contact


The series of workshops on (constraint) logic programming serve as the annual meeting of the Society of Logic Programming (GLP, Gesellschaft für Logische Programmierung e.V.) and bring together researchers interested in logic programming, constraint programming, and related areas like databases and artificial intelligence. Previous workshops have been held in Germany, Austria and Switzerland. The workshops provide a forum for exchanging ideas on declarative logic programming, nonmonotonic reasoning and knowledge representation, and facilitate interactions between research in theoretical foundations and in the design and implementation of logic-based programming systems. The technical program of the workshop will include invited talks, presentations of refereed papers, and system demonstrations.


Contributions are welcome on all theoretical, experimental, and application aspects of constraint and logic programming, including, but not limited to the following areas (the order does not reflect any priorities):

The primary focus is on new and original research results but submissions describing innovative products, prototypes under development or interesting experiments (e.g., benchmarks) are also encouraged.


Authors are invited to submit an extended abstract (no longer than 10 pages including figures and references) or a system description (no longer than 3 pages) in PDF or Postscript format (11pt) before November 21, 2005. Submissions should include the title, authors' names, affiliations, addresses, and e-mail information. All submissions must be written in English. Authors are strongly encouraged to use LaTeX2e and the Springer llncs class file (in A4 format), available at the Springer LNCS/LNAI homepage.

All submissions should be sent to wlp06@kr.tuwien.ac.at.

The complete Call for Papers can also be downloaded here:

The accepted papers will be published as a technical report.

Online Proceedings (in ps.gz) (in pdf)


List of accepted papers

Workshop program

Invited Speakers: Tutorials by: Pictures


Please note:

Local Information

Conference Venue/Travel Information

List of Hotels


Program Chair

Hans Tompits (Vienna University of Technology)

Program Committee

Slim Abdennadher (German University Cairo)
Gerd Brewka (University of Leipzig)
François Bry (University of Munich)
Marc Denecker (Katholieke Universiteit Leuven)
Jürgen Dix (Clausthal University of Technology)
Thom Frühwirth (University of Ulm)
Ulrich Geske (FhG FIRST)
Michael Hanus (Christian-Albrechts-University of Kiel)
Steffen Hölldobler (Dresden University of Technology)
Gabriele Kern-Isberner (University of Dortmund)
Axel Polleres (University of Innsbruck)
Sebastian Schaffert (Salzburg Research)
Dietmar Seipel (University of Würzburg)
Hans Tompits (Vienna University of Technology)
Armin Wolf (FhG FIRST)

Local Organization

Michael Fink
Hans Tompits (Chair)
Stefan Woltran

Elfriede Nedoma (Secretary)
Matthias Schlögel (System Administrator)

Important Dates

Submission of papers: extended to November 21, 2005
Notification of acceptance: extended to December 23, 2005
Camera-ready papers: January 23, 2006
Early registration deadline: February 3, 2006
Workshop: February 22-24, 2006


Hans Tompits
Knowledge-Based Systems Group E184/3
Institute of Information Systems
Vienna University of Technology

Favoritenstrasse 9-11
A-1040 Vienna

Phone: +43-1-58801-18463
Fax: +43-1-58801-18493
Email: wlp06@kr.tuwien.ac.at

Webpage maintained by Stefan Woltran