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:
- 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, 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
- Track 1:
WLP
- Track 2:
Knowledge Management (INAP)
- Knowledge Base Management
- Answer Set Programming and its Applications
- Data Mining
- Track 3:
Constraints (INAP)
- CP and IP/OR and Local Search
- CP systems
- Optimization and Simulation of Complex Problems
in Industry, Medicine, and Offices
- Track 4:
Applications (INAP)
- 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 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:
http://www.easychair.org/INAP2007/.
Please, indicate your preference for one of the tracks of
the conference.
The submission procedure for WLP is described at
http://www.informatik.uni-kiel.de/~mh/wlp2007/.
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
- Thomas Kleemann, University of Würzburg, Germany
- Ilkka Niemelä, Helsinki University of Technology, Finland
- 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
- Hans Tompits, Vienna University of Technology, Austria
- Masanobu Umeda, Kyushu Institute of Technology, Japan
- Armin Wolf, Fraunhofer FIRST, Berlin, Germany
- Osamu Yoshie, Waseda University, Japan
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
WWW