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 2004
(15th 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.
Topics
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
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
Submission of papers:
January 6, 2004
Notification of acceptance:
January 27, 2004
Camera-ready papers:
February 15, 2004
Workshop:
March 4-6, 2004
Submission
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 January 6, 2004. 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, available
here.
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.
The details about the procedure to submit papers
electronically are described
here.
If you have any problems with submitting papers, please send an email to
mh@informatik.uni-kiel.de.
Proceedings
All accepted papers will be published as a technical report.
In addition, selected papers will be publsihed as post-conference
proceedings in the
Springer Lecture Notes in Artificial Intelligence (LNAI) series.