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

General
-------

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
presentations.

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

Topics
------

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.

Proceedings
-----------

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

Registration
------------

To register for WLP 2009 please consider the LPNMR'09 registration
information
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
http://www.cs.uni-potsdam.de/lpnmr09/index.php?page=getting-to-potsdamand
for accommodation suggestions visit the LPNMR'09 accommodation web page at
http://www.cs.uni-potsdam.de/lpnmr09/index.php?page=accommodation.

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
Programming


... continued by the LPNMR'09 program at
http://www.cs.uni-potsdam.de/lpnmr09/index.php?page=conference-program



Program committee
-----------------

Slim Abdennadher (German University Cairo) Christoph Beierle (FernUniv.
Hagen)
Stefan Brass (MLU Halle-Wittenberg) Jürgen Dix (Clausthal University of
Technology)
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:
  https://lists.informatik.uni-kiel.de/mailman/listinfo/glp-list
Received on Wed Sep 02 2009 - 09:55:06 CEST

This archive was generated by hypermail 2.3.0 : Thu Feb 22 2018 - 07:16:02 CET