Call for Papers

International Conference on
Applications of Declarative Programming
and Knowledge Management

University of Würzburg, Germany
October 4-6, 2007

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 natural language processing, for the modeling and the processing of combinatorial problems, and for establishing systems for the web.

INAP 2007

INAP is a communicative and dense 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 described fields, especially, but not excluding, on different aspects of Declarative Programming, Constraint Processing and Knowledge Management as well as their use for Distributed Systems and the Web:

WLP 2007

The Workshops on Logic Programming (WLP) are the annual meeting of the Society of Logic Programming (GLP e.V.); they 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):

This year, INAP and WLP 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 conference will include invited talks, presentations of refereed papers and system demonstrations.

Important Dates

Deadline for Submission: July 1, 2007
Notification of Authors: July 13, 2007
Final Versions of Papers: July 27, 2007
Conference: October 4-6, 2007

Conference Tracks

Invited Talks

to be announced


Submissions must be written in English and can be up to 10 pages long. 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. Authors are strongly encouraged to use LaTeX2e and the Springer llncs class file, available at the Authors' Instructions subpage.
All accepted papers will be published in a technical report. As for previous INAP conferences, it is planned to publish selected papers in a post-conference proceedings volume in the Springer Lecture Notes in Artificial Intelligence (LNAI) series LNCS/LNAI.

The submission to the INAP tracks will be by EasyChair: Please, indicate your preference for one of the tracks of the conference.
The submission procedure for WLP is described at

Program Chair (INAP)

Dietmar Seipel, University of Würzburg, Germany

Program Committee (INAP)

Program Chair (WLP)

Michael Hanus, University of Kiel, Germany
The Program Committee of WLP can be found at the WWW pages.

Conference Site

Department of Computer Science,
University of Würzburg, Germany

Local Arrangements

Joachim Baumeister, University of Würzburg, Germany
Dietmar Seipel, University of Würzburg, Germany