15th Workshop on Logic Programming and Constraint Systems

WLP 2000

Workshop of the

Society of Logic Programming (GLP e.V.) and

FG 1.1.1 "Declarative Languages" in GI e.V.

Collocated with ECAI2000

August 25 - 27, 2000


[Schedule] [Registration] [Conference Site] [Hotel Information]
[Invited Talks] [Tutorial] [Submissions] [Important Dates] [Organization] [Postscript]
Logic Programming is an advanced paradigm for the declarative specification of problems. In the logic programming language Prolog, the basic calculus is a subclass of predicate logics. Extended concepts integrate functions or constraints. These programming methods have got more and more attraction over the last years, e.g. in the domains of databases and processing of natural language, and for modeling and processing of combinatorial problems. In this manner logic programming is an active area, which also deals with the problem of its integration into modern software engineering enviroments, programming in dynamic enviroments, and communication

The technical program of the workshop will include invited talks, presentations of refereed papers and demo presentations. Papers are welcome on all theoretical and experimental aspects of logic programming and/or constraint programming, including, but not limited to (the order does not reflect priorities):

The primary focus is on new and original research. But we also encourage the submission of papers describing products, prototypes in development or benchmarks.



Conference Site Collocated with ECAI2000,
Room 2014A, Humboldt-University Berlin, Unter den Linden 5, D-10099 Berlin

Hotel Information

Accepted Papers

Invited Talks


François Bry (LMU Munich): Data Modeling with Markup Languages

Important Dates

Submission of papers July 1, 2000
Notification of acceptance July 24, 2000
Camera-ready papers due August 13, 2000
Workshop August 25 - 27, 2000


Submissions of original papers, not accepted/submitted elsewhere, should have the format of extended abstracts in English of 6 to 10 pages. A proceedings containing the accepted papers will be published. Authors are invited to send their papers (LaTeX source and corresponding Postscript file) to the following address: wlp2000@first.gmd.de.

Best Newcomer Award:

An award will be given to the best paper presented by one or several young researchers who have not yet obtained PhD degrees.


Program Committee

  • S. Abdennadher (Univ. Munich, D)
  • C. Beierle (Fern-Univ. Hagen, D)
  • H. Boley (DFKI Kaiserslautern, D)
  • D. Boulanger (GMD FIRST Berlin, D)
  • M. Bruynooghe (KU Leuven, B)
  • F. Bry (Univ. Munich, D)
  • J. Dix (Univ. Koblenz, D)
  • U. Egly (TU Vienna, A)
  • F. Fages (INRIA, Paris)
  • T.  Frühwirth (U. Munich, D)
  • N. Fuchs (Univ. Zürich, CH)
  • U. Geske (GMD-FIRST Berlin, D)
  • M. Hanus (Univ. Kiel, D)
  • S. Haridi (SICS Stockholm, S)
  • M. Hermenegildo (Univ. Madrid, E)
  • S. Hvlldobler (TU Dresden, D)
  • U. Neumerkel (TU Vienna, A)
  • D. Seipel (Univ. W|rzburg, D)
  • B. Thalheim (BTU Cottbus, D)
  • F. Toni (Imperial College London, UK)
  • A. Wolf (GMD FIRST Berlin, D)
Organizing Committee


page maintained by publicity chair Slim Abdennadher