WLP 2009 - Call for Participation

From: Armin Wolf <Armin.Wolf_at_first.fraunhofer.de>
Date: Tue, 01 Sep 2009 17:29:48 +0200

...please excuse multiple copies ...

               Call for Participation

      23rd Workshop on (Constraint) Logic Programming

         Potsdam, Germany, September 15/16, 2009

     URL: http://www.constraint-programming.de/wlp2009/

      co-located with
      LPNMR'09 - 10th International Conference
      on Logic Programming and Nonmonotonic Reasoning
      URL: http://www.cs.uni-potsdam.de/lpnmr09


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, artificial intelligence and
operations research. Previous workshops have been held in Germany,
Austria and Switzerland. The technical program of the workshop will
include an invited talk, presentations of refereed papers and demo

Previous workshops took place in Dresden (2008), Würzburg (2007),
Vienna (2006), Ulm (2005), Potsdam(2004), Dresden(2002), Kiel (2001),


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

 * Foundations of Constraint/Logic Programming
 * Constraint Solving and Optimization
 * Extensions: Functional Logic Programming, Objects
 * Deductive Databases, Data Mining
 * Nonmonotonic Reasoning
 * Dynamics, Updates, States, Transactions
 * Interaction of CP/LP with other formalisms like Agents, XML, JAVA
 * Program Analysis, Program Transformation, Program Verification,
   Meta Programming
 * Parallelism and Concurrency
 * Answer-set Programming
 * Implementation Techniques
 * Software Techniques (e.g., Types, Modularity, Design Patterns)
 * Applications (e.g., in Production, Environment, Education, Internet)
 * Constraint/Logic Programming for Semantic Web Systems and Applications
 * Reasoning on the Semantic Web
 * Data Modeling for the Web, Semistructured Data, and Web Query Languages

The primary focus is on new and original research results but
submissions describing innovative products, prototypes under
development, interesting experiments (e.g., benchmarks) or ongoing
scientific work are also encouraged.

Important Note: Co-submission to the LPNMR'09 are possible, however,
the submitted material can be presented on at most one of both events.


The proceedings will be published as a technical report of the
Institute of Computer Science, Potsdam University.


To register for WLP 2009 please consider the LPNMR'09 registration
at http://www.cs.uni-potsdam.de/lpnmr09/index.php?page=registration and its
registration form at
http://www.cs.uni-potsdam.de/lpnmr09/index.php?page=registform .

Local info

For information on travel please consider LPNMR'09 "Getting to Potsdam" at
for accommodation suggestions visit the LPNMR'09 accommodation web page at

Preliminary Program

Tuesday, September 15:
08:30 -- 09:30 Invited Talk at LPNMR

Ilkka Niemelä: Integrating Answer Set Programming and Satisfiability
Modulo Theories

09:30 -- 10:20 Databases

Michael Hanus and Sven Koschnicke: An ER-based Framework for Declarative
Web Programming

Dietmar Seipel. Practical Applications of Extended Deductive Databases
in Datalog^s

10:20 -- 10:40 Coffee Break

10:40 -- 11:55 Answer Set Programming

Martin Gebser, Henrik Hinrichs, Torsten Schaub and Sven Thiele: xpanda:
A (Simple) Preprocesser for Adding Multi-valued Propositions to ASP

Pedro Cabalar: Existential Quantifiers in the Rule Body

Johannes Oetsch, Martin Schwengerer and Hans Tompits: Kato: A
Plagiarism-Detection Tool for Answer-Set Programs

11:55 -- 12:20 Theory of Logic Programming

Heinrich Herre and Axel Hummel: A Paraconsistent Semantics for
Generalized Logic Programs

12:20 -- 13:30 Lunch Break

13:30 -- 14:20 Invited Talk at WLP

Neng-Fa Zhou: What I have learned from all these solver competitions

14:20 -- 15:35 Theory (of Logic Programming)

Heinrich Herre and Axel Hummel: Stationary Generated Models of
Generalized Logic Programs

John Gallagher and Gourinath Banda: Constraint-Based Abstraction of a
Model Checker for Infinite State Systems

Stefan Brass: Range Restriction for General Formulas

15:35 -- 16:00 Coffee Break

16:00 -- 17:15 GLP Meeting

17:20 Sanssouci Tour

Wednesday, September 16
08:30 -- 09:30 Invited Talk WLP

Tom Schrijvers: Monadic Constraint Programming
09:30 -- 10:20 CHR

Slim Abdennadher, Haythem Ismail and Frederick Khoury: Transforming
Imperative Algorithms to Constraint Handling Rules

Hariolf Betz, Frank Raiser and Thom Fruehwirth: Persistent Constraints
in Constraint Handling Rules

10:20 -- 10:40 Coffee Break

10:40 -- 11:30 Practice of LP

Hans-Joachim Goltz and Norbert Pieth: A Tool for Generating Partition
Schedules of Multiprocessor Systems

Ulrich Geske and Hans-Joachim Goltz: Efficiency of Difference-List

... continued by the LPNMR'09 program at

Program committee

Slim Abdennadher (German University Cairo) Christoph Beierle (FernUniv.
Stefan Brass (MLU Halle-Wittenberg) Jürgen Dix (Clausthal University of
Tim Furche (LMU München)
Ulrich Geske (Univ. Potsdam)
Hans-Joachim Goltz (Fraunhofer FIRST)
Michael Hanus (CAU Kiel)
Heinrich Herre (Univ. Leipzig) Steffen Hölldobler (TU Dresden)
Petra Hofstedt (TU Berlin)
Ulrich John (SIR Plan GmbH)
Michael Leuschel (Univ. Düsseldorf)
Ulrich Neumerkel (TU Wien)
Frank Raiser (Univ. Ulm)
Georg Ringwelski (Hochschule Zittau/Görlitz)
Sibylle Schwarz (Hochschule Zwickau)
Dietmar Seipel (Univ. Würzburg)
Michael Thielscher (TU Dresden)
Hans Tompits (TU Wien)
Armin Wolf (Fraunhofer FIRST)

Chair (Contact)

Dr. Armin Wolf
e-mail: armin.wolf_at_first.fraunhofer.de

Fraunhofer-Institut für Rechnerarchitektur
und Softwaretechnik, FIRST
Kekuléstraße 7
12489 Berlin

Prof. Dr. Ulrich Geske
e-mail: ulrich.geske_at_uni-potsdam.de

Universität Potsdam
Institut für Informatik
Haus 4 August-Bebel-Straße 89
14482 Potsdam

You are receiving this message because you are a member of the
mailinglist 'glp-list_at_informatik.uni-kiel.de'.
To unsubscribe from (leave) this mailinglist, please go to this URL:
Received on Mi Sep 02 2009 - 09:55:06 CEST

This archive was generated by hypermail 2.3.0 : Sa Mai 25 2024 - 07:16:02 CEST