W(C)LP 2005 - 2nd CfP

        2nd Call For Papers
        ===================

            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 a paper no longer than 12 pages or a
system description no longer than 3 pages in PDF or Postscript format
before November 14, 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 (see
http://www.springer.de/comp/lncs/authors.html ). All submissions must
be original work and not be published or submitted for publication
elsewhere.

To submit a paper or system description 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 Tielscher, 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 Papers:           Nov. 14, 2004
Notification of Acceptance:     Dec. 15, 2004
Camera-Ready Versions:          Jan. 21, 2005

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

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

_______________________________________________
Lprolog mailing list
[email protected]
https://wwws.cs.umn.edu/mm-cs/listinfo/lprolog