INAP2007

International Conference on
Applications of Declarative Programming
and Knowledge Management

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

organized by the Society of Logic Programming (GLP e.V.) and the INAP Committee

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 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:

• 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 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):

• 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
• Implementation Techniques
• Software Techniques (e.g. Types, Modularity, Design Patterns)
• Applications (e.g. in Production, Environment, Education, Internet)
  
  

This year 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 workshop will include invited talks, presentations of refereed papers and demo presentations.

Important Dates

Deadline for Submission: June 8, 2007
Notification of Authors: July 6, 2007
Final Versions of Papers: July 27, 2007


Conference: October 4-6, 2007

Conference Tracks

• Track 1: WLP (Chair: Michael Hanus)
• Track 2: Knowledge Management
  • Knowledge Base Management
  • Answer Set Programming and its Applications
  • Data Mining
• Track 3: Constraints
  • CP and IP/OR and Local Search
  • CP systems
  • Optimization and Simulation of Complex Problems in Industry, Medicine, and Offices
• Track 4: Applications
  • Web Agents and Industrial Web Applications
  • Information Systems for Industry, Commerce, Government and Societal Services
  • Systems and Tools for Education and Research

Invited Talks

to be announced

Submissions

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 Authors' Instructions subpage

• The submission procedure to WLP 2007 is described here.
• The submission procedure to the other tracks of INAP 2007 is described here.

Please, indicate clearly your preference for one of the tracks of the conference.
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.

Conference Site

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

Program Chair (INAP)

Dietmar Seipel, University of Würzburg, Germany

Program Committee (INAP)

• Sergio Alvarez, Boston College, USA
• Oskar Bartenstein, IF Computer, Japan
• Joachim Baumeister, University of Würzburg, Germany
• Henning Christiansen, Roskilde University, Denmark
• Ulrich Geske, University of Potsdam, Germany
• Parke Godfrey, York University, Canada
• Petra Hofstedt, Technical University of Berlin, Germany
• David Pearce, Universidad Rey Juan Carlos, Madrid, Spain
• Carolina Ruiz, Worcester Polytechnic Institute, USA
• Dietmar Seipel, University of Würzburg, Germany
• Osamu Takata, Kyushu Institute of Technology, Japan
• Osamu Yoshie, Waseda University, Japan
• Masanobu Umeda, Kyushu Institute of Technology, Japan
• Armin Wolf, Fraunhofer FIRST, Berlin, Germany

Local Arrangements

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