Program

15th Workshop on Logic Programming and Constraint Systems

WLP 2000

Berlin

August 25 - 27, 2000




Friday, Aug 25

11:00 Registration

13:45 Opening

14:00 - 16:00 Session 1: Constraint Logic Programming

14:00 - 15:00 Invited Talk
Francesca Rossi (Univ. Padova):
Soft Constraints
15:30 - 16:00 Hans Schlenker, Frank Rehberger (GMD Berlin):
Towards a More General Distributed Constraint Satisfaction Framework: Intensional vs. Extensional Constraint Representation

16:00 - 18:00 Session 2: Constraints and Agents

16:00 - 17:00 Invited Talk
Philippe Codognet (Univ. Paris):
A Constraint-Based Language for Autonomous Agents in Virtual Worlds
17:30 - 18:00 Poster Presentation I
Pierre Bonzon (Univ. Lausanne):
From abstract to concrete agent runs: a logical machine for reflective concurrent planning

18:00 - 18:30 Common GLP and GI-FG1.1.1 Meeting

20:00 Dinner

Saturday, Aug 26

10:00 - 12:00 Session 3: Extensions of Logic Programming

10:00 - 11:00 Invited Talk
Markus Hannebauer (TU Berlin):
Collaborative Agents - A Fresh Look at Constraint Solving

11:00 - 11:30 Coffee Break
11:30 - 12:00 Poster Presentation II
Georg Ringwelski and Hans Schlenker (GMD-FIRST, Berlin):
Type Inference in CHR Programs for the Composition of Constraint Systems

12:00 - 14:00 Lunch

14:00 - 16:00 Session 4: Logics and the Web

14:00 - 15:00 Tutorial
François Bry (Univ. Munich):
Data Modeling with Markup Languages
15:00 - 15:30 Michael Hanus (Christian-Albrechts-Universität Kiel):
Server Side Web Scripting in Curry

15:30 - 16:00 Coffee Break

16:00 - 17:00 Session 5: Foundations

16:00 - 16:30 Liviu-Virgil Ciortuz (DFKI, Saarbrücken):
Scaling up the abstract machine for Unification of OSF-terms to do head-corner parsing with large-scale typed unification grammars

16:30 - 17:00 Andreas Behrend (Univ. Bonn):
A Dynamic Approach to Deductive Query Evaluation

17:00 - 18:00 Session 6: Program Analysis

17:00 - 17:30 Uwe Egly, Thomas Eiter, Volker Klotz, Hans Tompits, and Stefan Woltran (TU Vienna):
Experimental evaluation of the disjunctive logic programming module of the system QUIP

17:30 - 18:00 S. Burckel, S. Hoarau, F. Mesnard (Univ. Réunion), U. Neumerkel (TU Vienna):
cTI: Bottom-Up Termination Inference for Logic Programs

19:30 Farwell Party


Sunday, Aug 27

10:00 - 12:00 Visit at GMD FIRST