W(C)LP 2005 -- Extended Call For Poster Proposals and System Demos

 
    Extended Call For Poster Proposals and System Demos
    ===================================================

            W(C)LP 2005
    19th Workshop on (Constraint) Logic Programming

University Ulm, Germany, in the week from 21th to 25th February  2005

Workshop of the Society of Logic Programming (GLP e.V.)
and FG 1.1.1 Declarative Languages at GI e.V.

Scope:
------

The workshop on (constraint) logic programming is the annual meeting
of the Society of Logic Programming (GLP e.V.) and brings together
researchers interested in logic programming, constraint programming,
and related areas like databases and artificial intelligence. Previous
workshops have been held in Germany, Austria, and Switzerland. In this
year the workshop will be organised in order to promote the
cross-fertilising exchange of ideas and experiences among
practitioners, researches, and students from the different communities
interested in the foundations, applications, and combinations of
high-level declarative programming languages and related areas. The
technical program of the workshop will include invited talks,
presentations of refereed papers, and demo presentations.

Topics:
-------

All fields of logic programming are of interest. Suggested topics include
the following (this list is not exhaustive and the order does not reflect
priorities):

  - Foundations of Constraint/Logic Programming
  - Constraint Solving and Optimisation
  - Functional Logic Programming, Object-oriented Programming
  - Deductive Databases, Data Mining
  - Non-monotonic Reasoning
  - Dynamics, Updates, States, Transactions
  - Interaction of CP/LP with other formalisms like Agents, XML, JAVA
  - Program Analysis / Transformation / Verification, Meta Programming
  - Parallelism and Concurrency
  - Rule-based Systems
  - Implementation Techniques
  - Software Techniques (e.g., Types, Modularity, Design Patterns)
  - Applications (e.g., in Production, Management, Environment, Education,
    Medicine, Internet)
  - (Constraint) Logic Programming for Semantic Web Systems and 
Applications
  - Reasoning on the Semantic Web
  - Data Modelling 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.

Submissions:
------------

Authors are invited to submit an abstract of their poster proposals or
system demonstrations no longer than 1 page in Postscript or PDF
(prefered) format before December 6, 2004. Submissions must be
written in English and include title, authors' names, affiliations,
and addresses.  Authors are strongly encouraged to use LaTeX2e and
the llncs class style, available at Springer Verlag:
http://www.springer.de/comp/lncs/authors.html.

There will be no formal referee process for the submitted abstracts.
However, it will be checked whether the submissions fit into the scope
of the workshop.

To submit an abstract send an e-mail with the subject ``WLP 2005'' to
[email protected].

Program Chair:
--------------
  
Armin Wolf, Fraunhofer FIRST, Berlin, Germany

Program Committee:
------------------

Slim Abdennadher, German Univ. Cairo
Christoph Beierle, FernUniv. Hagen
Francois Bry, LMU Munich
Henning Christiansen, Roskilde Univ.
Thom Frühwirth, Univ. Ulm
Ulrich Geske, FhG FIRST, Berlin
Michael Hanus, Univ. Kiel
Petra Hofstedt, TU Berlin
Steffen Hölldobler, Univ. Dresden
Christian Holzbaur, Vienna
Ulrich John, DaimlerChrysler, Berlin
Ulrich Neumerkel, TU Wien
Alessandra Raffaeta, Univ. Ca' Foscari, Venezia
Georg Ringwelski, 4C, Cork
Hans Schlenker, FhG FIRST, Berlin
Tom Schrijvers, Catholic Univ. Leuven
Dietmar Seipel, Univ. Würzburg
Michael Thielscher, TU Dresden
Herbert Wicklicky, Imperial College London
Armin Wolf, FhG FIRST, Berlin

Local Chair:
------------

Thom Frühwirth, University of Ulm, Germany

Local Organisation:
-------------------

Marc Meister, University of Ulm, Germany

Important Dates:
----------------
       
Submission of Abstracts:        Dec.  5, 2004
Notification of Acceptance:     Dec. 15, 2004
Camera-Ready Versions:          Jan. 21, 2005

Latest Information:
-------------------

see: http://www.first.fraunhofer.de/en/WLP_2005