WLP 2004

18th Workshop on (Constraint) Logic Programming

Potsdam, Germany
March 4-6, 2004

General | Topics | Dates | Submission | Accepted papers | Schedule (WLP/INAP) | Proceedings | Program committee | Contact


The workshops on (constraint) logic programming are the annual meeting of the Society of Logic Programming (GLP 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. In this year the workshop will be jointly organized with INAP 2004 (15th International Conference on Applications of Declarative Programming and Knowledge Management) in order to promote the cross-fertilizing exchange of ideas and experiences among researches and students from the different communities interested in the foundations, applications, and combinations of high-level, declarative programming languages and related areas. The technical program of the workshop will include invited talks, presentations of refereed papers and demo presentations.


Contributions are welcome on all theoretical, experimental, and application aspects of constraint programming (CP) and logic programming (LP), including, but not limited to (the order does not reflect 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.

 Important dates

Submission of papers: January 6, 2004
Notification of acceptance: January 27, 2004
Camera-ready papers: February 15, 2004
Workshop: March 4-6, 2004


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 January 6, 2004. Submissions should include the title, authors' names, affiliations, addresses, and e-mail. All submissions must be written in English. Authors are strongly encouraged to use LaTeX2e and the Springer llncs class file, available here. All submissions must be original work. Submissions must be unpublished and not submitted for publication elsewhere. Work that already appeared in unpublished or informally published workshops proceedings may be submitted.
The details about the procedure to submit papers electronically are described here. If you have any problems with submitting papers, please send an email to mh@informatik.uni-kiel.de.


All accepted papers will be published as a technical report. In addition, selected papers will be publsihed as post-conference proceedings in the Springer Lecture Notes in Artificial Intelligence (LNAI) series.

 Program committee

Slim Abdennadher (German University Cairo)
Christoph Beierle (FernUniv. Hagen)
François Bry (LMU München)
Jürgen Dix (Univ. Manchester)
Uwe Egly (TU Wien)
Thomas Eiter (TU Wien)
Burkhard Freitag (Univ. Passau)
Thom Frühwirth (Univ. of Ulm)
Norbert E. Fuchs (Univ. Zürich)
Ulrich Geske (FhG FIRST)
Michael Hanus (CAU Kiel, chair)
Petra Hofstedt (TU Berlin)
Steffen Hölldobler (TU Dresden)
Ulrich Neumerkel (TU Wien)
Dietmar Seipel (Univ. Würzburg)
Armin Wolf (FhG FIRST)


Prof. Michael Hanus
Institut für Informatik und Praktische Mathematik
Christian-Albrechts-Universität Kiel
Olshausenstr. 40
D-24098 Kiel, Germany
Phone: ++49-(0)431-880-7271 or -7270 (Secr.)
Fax : ++49-(0)431-880-7613
Email: mh@informatik.uni-kiel.de

Michael Hanus
Last modified: Mon Mar 1 12:51:59 MET 2004