WLP 2007 - Extended Deadline: July 1, 2007

From: Michael Hanus <mh_at_informatik.uni-kiel.de>
Date: Wed, 13 Jun 2007 11:46:58 +0200

======================================================================

                           CALL FOR PAPERS

             21st Workshop on (Constraint) Logic Programming
                             (WLP 2007)

              http://www.informatik.uni-kiel.de/~mh/wlp2007

                        Wuerzburg, Germany
                        October 4-6, 2007

                     Co-located with INAP 2007

======================================================================

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 and artificial intelligence. Previous
workshops have been held in Germany, Austria and Switzerland.

In this year the workshop will be jointly organized with INAP 2007
(International Conference on Applications of Declarative Programming
and Knowledge Management) in order to promote the cross-fertilizing
exchange of ideas and experiences among 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.

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 Databasis, 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 Pogramming
 * 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 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.

----------------------------------------------------------------------
IMPORTANT DATES AND SUBMISSION GUIDELINES

Paper Submission: July 1, 2007
Notification: July 13, 2007
Final Manuscript: July 27, 2007
Workshop: October 4-6, 2007

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). Submissions
should include the title, authors' names, affiliations, addresses, and
e-mail. All submissions must be written in English. Authors are
strongly encouraged to use LaTeX2e and the Springer llncs class file.
All submissions must be original work. Submissions must be unpublished
and not submitted for publication elsewhere. Work that already
appeared in unpublished or informally published workshops proceedings
may be submitted.

All accepted papers will be published as a technical report. In
addition, selected papers will be published as post-conference
proceedings together with INAP 2007 in the Springer Lecture Notes in
Artificial Intelligence (LNAI) series.

----------------------------------------------------------------------
PROGRAM COMMITTEE

Slim Abdennadher (German University Cairo)
Christoph Beierle (FernUniv. Hagen)
Jürgen Dix (Clausthal University of Technology)
Thomas Eiter (Vienna University of Technology)
Tim Furche (LMU Muenchen)
Ulrich Geske (Univ. Potsdam)
Michael Hanus (CAU Kiel, Chair)
Petra Hofstedt (TU Berlin)
Sebastian Schaffert (Salzburg Research)
Torsten Schaub (Univ. Potsdam)
Sibylle Schwarz (Univ. Halle)
Dietmar Seipel (Univ. Wuerzburg)
Michael Thielscher (TU Dresden)
Hans Tompits (Vienna University of Technology)
Armin Wolf (FhG FIRST)

----------------------------------------------------------------------
CONTACTS:

For additional information about papers and submissions, please contact
the Program Chair:

          Michael Hanus
          PC Chair - WLP 2007
          Institut fuer Informatik
          University of Kiel
          D-24098 Kiel, Germany
          Email: mh_at_informatik.uni-kiel.de

----------------------------------------------------------------------

_______________________________________________
curry mailing list
curry_at_lists.RWTH-Aachen.DE
http://MailMan.RWTH-Aachen.DE/mailman/listinfo/curry
Received on Mi Jun 13 2007 - 13:33:22 CEST

This archive was generated by hypermail 2.3.0 : Do Jun 20 2024 - 07:15:09 CEST