CFP: W(C)LP 2005 - 2nd Call for Papers
From: Armin Wolf (armin.wolf_at_first.fraunhofer.de)
Date: 10/20/04
- Previous message: Djamé Seddah: "Prolog and Regexp"
- Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]
Date: Wed, 20 Oct 2004 17:18:45 GMT
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 armin@first.fraunhofer.de.
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 Fruehwirth, Univ. Ulm
Ulrich Geske, FhG FIRST, Berlin
Michael Hanus, Univ. Kiel
Petra Hofstedt, TU Berlin
Steffen Hoelldobler, 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. Wuerzburg
Michael Tielscher, TU Dresden
Herbert Wicklicky, Imperial College London
Armin Wolf, FhG FIRST, Berlin
Local Chair:
------------
Thom Fruehwirth, 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
[ comp.ai is moderated. To submit, just post and be patient, or if ]
[ that fails mail your article to <comp-ai@moderators.isc.org>, and ]
[ ask your news administrator to fix the problems with your system. ]
- Previous message: Djamé Seddah: "Prolog and Regexp"
- Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]
Relevant Pages
|
