WLP 2000 Homepage

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

Berlin

[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):

Foundations of Logic Programming
Constraint Logic Programming, Constraint Solving and Optimization
Functional-Logic Programming and Objects
Deductive Databasis
Nonmonotonic Reasoning
Dynamics, Updates, States, Transactions
Interaction with formalism of knowledge representation and programming, like Agents, XML, JAVA
Program Analysis, Program Transformation, Program Verification
Meta Pogramming
Parallelism and Concurrency
Implementation Techniques
Software Technique (e.g. Abstraction, Modularity, Objects, Types)
Applications (e.g. in Production, Environment, Education, Internet)

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

Schedule

Registration

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

Hotel Information

Accepted Papers

Michael Hanus: Server Side Web Scripting in Curry
Hans Schlenker, Frank Rehberger: Towards a More General Distributed Constraint Satisfaction Framework: Intensional vs. Extensional Constraint Representation
Andreas Behrend: A Dynamic Approach to Deductive Query Evaluation
Liviu-Virgil Ciortuz: Scaling up the abstract machine for Unification of OSF-terms to do head-corner parsing with large-scale typed unification grammars
Uwe Egly, Thomas Eiter, Volker Klotz, Hans Tompits, and Stefan Woltran: Experimental evaluation of the disjunctive logic programming module of the system QUIP*
S.Burckel, S.Hoarau, F.Mesnard, U.Neumerkel: cTI: Bottom-Up Termination Inference for Logic Programs
Pierre Bonzon: From abstract to concrete agent runs: a logical machine for reflective concurrent planning (Poster presentation)
Georg Ringwelski and Hans Schlenker: Type Inference in CHR Programs for the Composition of Constraint Systems (Poster presentation)

Invited Talks

Francesca Rossi (Univ. Padua): Programming and Solving Soft Constraints
Philippe Codognet (INRIA, Paris): A Constraint-Based Language for Autonomous Agents in Virtual Worlds
Markus Hannebauer (TU Berlin): Collaborative Agents - A Fresh Look at Constraint Solving

Tutorial

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

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.

Organization

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

Ulrich Geske (GMD FIRST Berlin),
Dietmar Seipel (Univ. W|rzburg),
Slim Abdennadher (LMU M|nchen)

Postscript

Flyer

page maintained by publicity chair Slim Abdennadher

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

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