WLP 2008 - Second Call for Papers

From: Michael Hanus <mh_at_informatik.uni-kiel.de>
Date: Mon, 7 Jul 2008 10:55:48 +0200

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

                       SECOND CALL FOR PAPERS

             22nd Workshop on (Constraint) Logic Programming
                             (WLP 2008)

         http://nirvana.informatik.uni-halle.de/~schwarz/wlp2008/

                          Dresden, Germany
                   September 30 - October 1, 2008

               Co-located with JELIA 2008 and CLIMA IX

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

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 JELIA 2008
(11th European Conference on Logics in Artificial Intelligence) and
CLIMA IX (9th International Workshop on Computational Logic in
Multi-Agent Systems) 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 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 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 20, 2008
Notification: August 15, 2008
Final Manuscript: August 31, 2008
Workshop: September 30 - October 1, 2008

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).

For submission of the paper, please use the easychair system at
http://www.easychair.org/conferences/?conf=wlp2008. 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 unpublished original work. Work that already
appeared in unpublished or informally published workshops proceedings
may be submitted.

All accepted papers will be published as a technical report.

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

Slim Abdennadher (German University Cairo)
Christoph Beierle (FernUniv. Hagen)
Stefan Brass (Univ. Halle)
Jürgen Dix (Clausthal University of Technology)
Tim Furche (LMU Muenchen)
Ulrich Geske (Univ. Potsdam)
Michael Hanus (CAU Kiel, Chair)
Heinrich Herre (Univ. Leipzig)
Petra Hofstedt (TU Berlin)
Michael Leuschel (Univ. Düsseldorf)
Georg Ringwelski (Hochschule Zittau/Görlitz)
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)

----------------------------------------------------------------------
CONTACT

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

Sibylle Schwarz
PC Chair - WLP 2008
Institut für Informatik
Martin-Luther-Universität Halle-Wittenberg
06120 Halle (Saale)
email:schwarzs_at_informatik.uni-halle.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 Mon Jul 07 2008 - 11:05:27 CEST

This archive was generated by hypermail 2.3.0 : Thu Feb 22 2018 - 07:16:02 CET