WLP 2009 - Call for Paper - Deadline Extension

From: Armin Wolf <Armin.Wolf_at_first.fraunhofer.de>
Date: Mon, 08 Jun 2009 09:58:33 +0200

Dear reader(s),

please find attached the WLP 2009 - Call for Papers - Deadline Extension
(July 05); 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 - 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 or interesting experiments (e.g., benchmarks) 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 June
08, 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. Work that already
appeared in unpublished or informally published workshops proceedings
may be submitted.

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: July 5, 2009
Notification of acceptance: July 20, 2009
Camera-ready papers: August 9, 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 Mo Jun 08 2009 - 11:14:43 CEST

This archive was generated by hypermail 2.3.0 : Do Jun 20 2024 - 07:16:02 CEST