Please note that deadline for paper submission is November 23, 2003
--------------------------------------------------------------------
Call for Papers
15th International Conference on
Applications of Declarative Programming and Knowledge Management
INAP 2004
collocated with
18th Workshop on (Constraint) Logic Programming WLP 2004
March 4-6, 2004
Fraunhofer FIRST, Berlin,
and University of Potsdam
organized by Society of Logic Programming (GLP e.V.)
and Prolog Association Japan (PAJ)
http://inap.dialogengines.com
----------------------------------------------------------------------
Declarative Programming is an advanced paradigm for the modeling and
solving of complex problems. This specification method has got more
and more attraction over the last years, e.g., in the domains of
databases and processing of natural language, for the modeling and
processing of combinatorial problems, and for establishing systems
for the Web.
INAP 2004
INAP 2004 is a communicative, single-track conference for intensive
discussion of applications of important technologies around
Prolog, Logic Programming, Constraint Problem Solving and closely
related advanced software. It comprehensively covers the impact of
programmable logic solvers in the Internet Society, its underlying
technologies, and leading edge applications in industry, commerce,
government, and societal services.
We invite the submission of papers on the fields described above,
especially, but not excluding, different aspects of Declarative
Programming, Constraint Processing and Knowledge Management as well
as their use for Distributed Systems and the Web:
* Knowledge Management:
e.g. Data Mining, Decision Support, Deductive Databases
* Distributed Systems and the Web:
e.g. Agents and Concurrent Engineering, Semantic Web
* Constraints:
e.g. Constraint Systems,
Extensions of Constraint (Logic) Programming
* Theoretical Foundations:
e.g. Deductive Databases, Nonmonotonic Reasoning
* Systems and Tools for academic and industrial use
* Knowledge-Based Web Services - Logic Solvers and Applications
WLP 2004
The WLP workshops 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.
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 Programming
* Parallelism and Concurrency
* 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
In the year 2004 both conferences will be jointly organized 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 joint conference will include invited
talks, presentations of refereed papers and demo presentations.
Important Dates
Deadline for Submission: November 23, 2003
Notification of Authors: December 22, 2003
Final Versions of Papers: January 19, 2004
Conference: March 4-6, 2004
Conference Chair
Oskar Bartenstein (IF Computer, Japan)
Program Chair
Dietmar Seipel (Univ. of Wuerzburg, Germany)
Local Arrangements
Ulrich Geske (Fraunhofer FIRST, Germany)
Program Committee of the 15th INAP
* Dietmar Seipel (Univ. of Wuerzburg, Germany, chair)
* Sergio A. Alvarez (Boston College, Chesnut Hill, USA)
* Roman Bartak (Charles University, Prague, Czech Republic)
* Oskar Bartenstein (IF Computer Japan, Japan)
* Joachim Baumeister (Univ. of Wuerzburg, Germany)
* Mehmet Dincbas (COSYTEC, France)
* Robin Drogemuller (CSIRO, Australia)
* Shuichi Fukuda (Tokyo Metropolitan Inst. of Technology, Japan)
* Rita Gavriloaie (Learning Lab, Web Cooperation, Germany)
* Ulrich Geske (Fraunhofer FIRST, Germany)
* Geun-Sik Jo (Inha Univ., Korea)
* Steve Prestwich (4C/UCC, Ireland
* Georg Ringwelski (4C/UCC, Ireland)
* Carolina Ruiz (Worchester Polytecnic Inst., USA)
* Torsten Schaub (Univ. of Potsdam, Germany)
* Paul Tarau (Binnet Corp, USA)
* Armin Wolf (Fraunhofer FIRST, Germany)
* Akihiro Yamamoto (Hokkaido Univ., Japan)
* Osamu Yoshie (Waseda Univ., Japan)
Program Committee of the 18th WLP
* Michael Hanus (CAU Kiel, chair)
* Slim Abdennadher (German Univ. Cairo)
* Christoph Beierle (FernUniv. Hagen)
* Francois Bry (LMU Muenchen)
* Juergen Dix (Univ. of Manchester)
* Uwe Egly (TU Wien)
* Thomas Eiter (TU Wien)
* Burkhard Freitag (Univ. of Passau)
* Thom Fruehwirth (Univ. of Ulm)
* Norbert E. Fuchs (Univ. of Zuerich)
* Ulrich Geske (Fraunhofer FIRST, Berlin)
* Petra Hofstedt (TU Berlin)
* Steffen Hoelldobler (TU Dresden)
* Ulrich Neumerkel (TU Wien)
* Dietmar Seipel (Univ. of Wuerzburg)
* Armin Wolf (Fraunhofer FIRST, Berlin)
Local Organizing Committee
* Ulrich Geske (Fraunhofer FIRST, Berlin, chair)
* Thomas Linke (Univ. of Potsdam)
* Torsten Schaub (Univ. of Potsdam)
* Wolfgang Severin (Univ. of Potsdam)
* Armin Wolf (Fraunhofer FIRST, Berlin)
Invited Talks
Shuichi Fukuda (Tokyo Metropolitan Inst. of Technology,
School of Engineering): "Concurrent Engineering"
The joint conference will be organized in 4 tracks:
Track: Workshop on (Constraint) Logic Programming (chair: Hanus)
* see the topics listed at WLP above
Track: Knowledge Management (chair: Seipel)
* Knowledge Base Management
* Answer Set Programming and its Applications
* Data Mining and Decision Support
Track: Constraints (chair: Geske)
* CP and IP/OR and Local Search
* CP systems
* Optimization and Simulation of Complex Problems
in Industry, Medicine, and Offices
Track: Distributed Systems and the Web (chair: Bartenstein)
* Web Agents and Concurrent Engineering
* Industrial Web Applications
* Education
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 postscript format (11pt) before
November 23, 2003. Submissions should include the title, authors'
names, affiliations, addresses, and e-mail.
The submission procedure is described at
http://inap.dialogengines.com
Please, indicate clearly your preference for one of the tracks of
the conference.
All accepted papers will be published in a technical report.
It is planned to publish selected papers in a proceedings in the
Springer Lecture Notes in Artificial Intelligence (LNAI) series.
