WLP 2008
22nd Workshop on (Constraint) Logic Programming
Dresden, Germany
September 30 - October 1, 2008
Co-located with
JELIA 2008 - 11th
European Conference on Logics in Artificial Intelligence
General |
Topics |
Proceedings |
Submission |
Dates |
Local info |
Program committee |
Contact
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.
The technical program of the workshop will include invited talks,
presentations of refereed papers and demo presentations.
Previous workshops took place in
Würzburg (2007),
Vienna (2006),
Ulm (2005),
Potsdam (2004),
Dresden
(2002),
Kiel (2001),...
Call for Papers
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.
All accepted papers will be published as a technical report.
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)
before July 20, 2008 via EasyChair.
All submissions must be written in English.
Authors are strongly encouraged to use LaTeX2e and
the Springer llncs class file, available
here.
All submissions must be unpublished original work.
Work that already appeared
in unpublished or informally published workshops proceedings may be
submitted.
If you have any problems with submitting papers, please send an email to
schwarzs@informatik.uni-halle.de.
| Submission of papers: |
July 20, 2008 |
| Notification of acceptance: |
August 15, 2008 |
| Camera-ready papers: |
August 31, 2008 |
| Workshop: | September 30 - October 1, 2008 |
For information on
travel and
accomodation visit the
JELIA 2008 homepage.
Slim Abdennadher (German University Cairo)
Christoph Beierle (FernUniv. Hagen)
Stefan Brass (MLU Halle-Wittenberg)
Jürgen Dix (Clausthal University of Technology)
Tim Furche (LMU München)
Ulrich Geske (Univ. Potsdam)
Michael Hanus (CAU Kiel)
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 (MLU Halle-Wittenberg)
Dietmar Seipel (Univ. Würzburg)
Michael Thielscher (TU Dresden)
Hans Tompits (TU Wien)
Armin Wolf (FhG FIRST)
Dr.
Sibylle Schwarz
Institut für
Informatik
Martin-Luther-Universität Halle
Martin-Luther-Universität Halle-Wittenberg
Institut für Informatik
Von-Seckendorff-Platz 1
06120 Halle (Saale)
Phone : (+49) (345) 55 24715
Fax : (+49) (345) 55 27009
Email: mailto:schwarzs@informatik.uni-halle.de
Sibylle Schwarz,
mailto:schwarzs@informatik.uni-halle.de