WLP 2009 - Call for Paper - Further Deadline Extension

From: Armin Wolf <Armin.Wolf_at_first.fraunhofer.de>
Date: Fri, 03 Jul 2009 10:54:03 +0200

Dear reader(s),

please find attached the WLP 2009 - Call for Papers - Further Deadline
Extension (August 09);
see also http://www.constraint-programming.de/wlp2009/ for your
information and further distribution.

Please apologize for multiple copies of this announcement.

Yours

Armin Wolf and Ulrich Geske
(WLP 2009 PC Chairs)

-----%<-----%<-----%<-----%<-----%<-----%<-----%<-----%<-----%<-----%<-----%<-----%<-----%<----



       Call for Papers - Further Deadline Extension
       ============================================

      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.


Submission
----------

Authors are invited to submit an extended abstract (no longer than 10
pages including figures and references) or a system description (no
longer than 3 pages) in PDF or Postscript format (11pt) before August
09, 2009 via

EasyChair - URL: http://www.easychair.org/conferences/?conf=wlp2009

All submissions must be written in English. Authors are strongly
encouraged to use LaTeX2e and the Springer llncs class file, available
at http://www.springer.de/comp/lncs/authors.html

All submissions must be unpublished original work. However, Work that
already appeared in unpublished or informally published workshops
proceedings may be submitted, too.

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

If you have any problems with submitting papers, please send an email
to armin.wolf_at_first.fraunhofer.de or ugeske_at_uni-potsdam.de.


Important Dates - Deadline Extension
------------------------------------

Submission of papers: August 9, 2009
Notification of acceptance: August 21, 2009
Camera-ready papers: August 31, 2009

Workshop: September 15/16, 2009


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


-- 
----------------------------------------------------------------------
 DOTPlan - The Online Participant Booking and Planning System
--> find it at http://dotplan.first.fraunhofer.de/dotplan/ <--
----------------------------------------------------------------------
--
Dr. Armin Wolf
Tel.: +49 (0)30 6392 1864
Mob.: +49 (0)175 1854 160
Fax.: +49 (0)30 6392 1805
E-Mail: Armin.Wolf_at_first.fraunhofer.de
Fraunhofer-Institut fuer Rechnerarchitektur und Softwaretechnik, FIRST
Kekulestrasse 7
12489 Berlin
Germany
http://www.first.fraunhofer.de
-- 
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 Fr Jul 03 2009 - 11:17:00 CEST

This archive was generated by hypermail 2.3.0 : Do Mär 28 2024 - 07:16:02 CET