...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 Mi Sep 02 2009 - 09:55:06 CEST