Endgültiges Programm

Mittwoch, 27. September

09.00-09.30 Anmeldung und Eröffnung

09.30-10.30 Eingeladener Vortrag

• Application Development with the CHIP System
  Helmut Simonis

10.30 Kaffee Pause

11.00-12.30 Constraint-Logische Programmierung

• A Framework for Symbolic Simulation of Hybrid Systems in Constraint Logic Programming
  Luis Urbina und Günter Riedewald
• Analysis of Robotics Applications in CLP
  Luis Urbina
• Ein effizientes constraint-logisches Verfahren zur Eingrenzung der optimalen Lösungen von Problemen der Ablaufplanung
  Hans-Joachim Goltz

12.30 Mittagessen

14.00-15.30 Beweisverfahren

• From Theorem Proving to Logic Programming
  Ulrich Furbach
• A Theorem-Proving approach to CLP
  Gerhard Wetzel, Robert A. Kowalski und Francesca Toni
• LeanEA; A Lean Evolving Algebra Compiler
  Bernhard Beckert und Joachim Posegga

15.30 Kaffee Pause

16.00-17.30 Typen und Analyse

• Typen für logikbasierte aktive Objekte
  Franz Puntigam
• Polymorphe Typinferenz für Prolog
  Jörg Zimmermann
• Complete Analysis for Definite Logic Programs
  Dmitri Boulanger

17.30-18.30 GLP Versammlung

Donnerstag, 28. September

09.00-10.00 Eingeladener Vortrag

• Integrating records into concurrent constraint programming: A case study for DFKI Oz
  Peter Van Roy

10.00-10.30 Constraint-Logische Programmierung

• Constructive Disjunction in Oz
  Tobias Müller und Jörg Würtz

10.30 Kaffee Pause

11.00-12.30 Constraint-Logische Programmierung

• Co-ordinating Parallel Computation through Equational Constraints
  Manuel M.T. Chakravarty, Yike Guo, Martin Köhler und Hendrik C.R. Lock
• Cardinality-Operator & Constraint Hierarchien: Metaconstraints zur Behandlung weicher Randbedingungen
  Wolfgang Grund und Astrid Schmücker Schend
• Integration of Ordered Constraint Hierarchies Based on a Non-Trivial Error Function in CLP(FD)
  Armin Wolf

12.30 Mittagessen

14.00-15.30 Natürliche Sprache and Programmtransformation

• Attempto: Specifications in Controlled Natural Language
  Rolf Schwitter, Bernhard Hamburger und Norbert Fuchs
• Program Transformations for Constraint-Based Grammar Formalism
  Annette Opalka und Ingo Raasch
• Interprozedurale Registerallokation durch Quelltexttransformationen
  Ulrich Neumerkel

15.30 Kaffee Pause

16.00-17.00 Implementierung

• Partielle Maschinencodegenerierung für binäres Prolog
  Marinos Yannikos
• Verifizierte Implementierung funktional-logischer Sprachen
  Andy Mück

19.00 Workshop Abendessen

Freitag, 29. September

09.00-10.00 Eingeladener Vortrag

• Extended Logic Programs with Dynamic Preference Information: Extended Abstract
  Gerd Brewka

10.00-10.30 Beweisverfahren

• Variationen über ein Thema: Suchstrategien und Datenstrukturen für SATCHMO-Beweiser
  Francois Bry und Rainer Manthey

10.30 Kaffee Pause

11.00-12.30 Semantik

• On Modularity Properties of Partial Semantics for Disjunctive Logic Programs
  Thomas Eiter and Nicola Leone
• Mixed Fixpoint Theory for Disjunktive Deductive Databases
  Dietmar Seipel, Ulrich Güntzer
• A resource-oriented deductive approach towards hierarchical planning
  Kerstin Eder, Steffen Hölldobler und Michael Thielscher