INAP2004

March 4-6, 2004
Fraunhofer FIRST, Berlin,
and
University of Potsdam
organized by Society of Logic Programming, GLP e.V. and INAP Organizers

http://inap.dialogengines.com

Declarative Programming is an advanced paradigm for the modeling and solving of complex problems. These 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 processing of combinatorial problems, and for establishing systems for the web.

INAP 2004
INAP is a communicative and dense 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 described fields, especially, but not excluding, in 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.

In 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.

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)

Important Dates:

Deadline for Submission:    January 6, 2004
Notification of Authors:    January 27, 2004
Final Versions of Papers:   February 15, 2004
Conference:                 March 4 - 6, 2004

Planned Sessions

• Track 1: WLP (chair: Michael Hanus)
• Track 2: Knowledge Management (chair: Dietmar Seipel)
  • Knowledge Base Management
  • Answer Set Programming and its Applications
  • Data Mining
• Track 3: Constraints (chair: Ulrich Geske)
• CP and IP/OR and Local Search
• CP systems
• Optimization and Simulation of Complex Problems in Industry, Medicine, and Offices
• Track 4: Distributed Systems and the Web (chair: Oskar Bartenstein)
  • Web Agents and Concurrent Engineering
  • Industrial Web Applications
  • Education

Invited Talks
Shuichi Fukuda (Tokyo Metropolitan Institute of Technology, School of Engineering): "Concurrent Engineering"

Submissions


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

Authors are strongly encouraged to use LaTeX2e and the Springer llncs class file, available at Authors' Instructions subpage

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.

Please, indicate clearly your preference for one of the tracks of the conference.

All accepted papers will be published in a technical report. Selected papers will be published in a post-conference proceedings volume in the Springer Lecture Notes in Artificial Intelligence (LNAI) series LNCS/LNAI.

Conference Site
University of Potsdam, Germany

Fraunhofer FIRST, Berlin, Germany

Conference Chair
Oskar Bartenstein, IF Computer, Japan

Program Chair
Dietmar Seipel, University of Wuerzburg, Germany

Local Arrangements
Ulrich Geske, Fraunhofer FIRST / Univ. of Potsdam, Germany
Thomas Linke, University of Potsdam, Germany
Torsten Schaub, University of Potsdam, Germany
Wolfgang Severin, University of Potsdam, Germany
Armin Wolf, FhG FIRST, Berlin, Germany