[PlanetKR] Joint INAP/WLP 2011 Call for Papers

[Hans Tompits]

------------------------------------------------------------------------------
       JOINT CALL FOR PAPERS

       19th International Conference on
       Applications of Declarative Programming
       and Knowledge Management (INAP 2011)

       http://www.kr.tuwien.ac.at/events/inap11

       AND

       25th Workshop on Logic Programming
       (WLP 2011)

       http://www.kr.tuwien.ac.at/events/wlp11

       Vienna University of Technology, Austria
       September 28-30, 2011
------------------------------------------------------------------------------


Declarative programming is an advanced paradigm for the modeling and 
solving of complex problems. This specification method attracted
increased attention over the last decades, 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 2011
=========

INAP is a communicative and dense conference for intensive discussion of
applications of important technologies around logic programming,
constraint problem solving, and closely related computing paradigms. 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 high quality contributions on different aspects of declarative
programming, constraint processing and knowledge management, as well as
their use for distributed systems and the Web, including, but not
limited to the following areas (the order does not reflect any
priorities):

     * 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, knowledge representation;
     * systems and tools for academic and industrial use;
     * knowledge-based Web services - logic solvers and applications.

This year, INAP consists of the following five tracks, covering relevant
subareas of declarative methods:

     * Nonmonotonic Reasoning Track;
     * Applications Track;
     * Extensions of Logic Programming Track;
     * Constraint Programming Track;
     * Databases and Data Mining Track.


WLP 2011
========

The workshops on (constraint) logic programming serve as the scientific
forum of the annual meeting of the Society of Logic Programming (GLP,
Gesellschaft für Logische Programmierung e.V.). They bring together
researchers interested in logic programming, constraint programming,
and related areas like databases, artificial intelligence, and
operations research. Previous workshops have been held in Germany,
Austria, Switzerland, and Egypt.

Contributions are welcome on all theoretical, experimental, and
application aspects of constraint programming (CP) and logic
programming (LP), including, but not limited to the following areas:

     * foundations of CP and LP;
     * constraint solving and optimization;
     * extensions: functional logic programming, objects;
     * deductive databases, data mining;
     * knowledge representation and reasoning;
     * answer-set programming;
     * dynamics, updates, states, transactions;
     * interaction of CP and LP with other formalisms like agents, XML,
       JAVA;
     * program analysis, program transformation, program verification,
       meta programming;
     * parallelism and concurrency;
     * implementation techniques;
     * software techniques and programming support (e.g., types,
       modularity, design patterns, debugging, testing, systematic
       program
       development).
     * applications of logic programming;
     * CP/LP for the Semantic Web.


The joint INAP and WLP event aims 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 event will include invited talks,
presentations of refereed papers, and system demonstrations.


Important Dates
===============

       Deadline for Submission:  July 1, 2011
       Notification of Authors:  August 1, 2011
       Camera-ready papers:      August 19, 2011
       Conference & Workshop:    September 28-30, 2011


Submissions
===========

Authors are invited to submit papers in the following categories:

     * technical papers (no longer than 15 pages);
     * system descriptions (no longer than 6 pages).

To mark the 25th anniversary of the WLP workshop series, we also
encourage submissions to WLP 2011 (no longer than 6 pages) describing
historical aspects of logic programming as well as personal
reminiscences about the early days of logic programming.

Submissions must be unpublished original work and not submitted for
publication elsewhere. However, work that already appeared in
informally published workshop proceedings may be submitted too. All
submissions must be in PDF format using LaTeX2e and the Springer
llncs.cls class file. Details about the submission process will be
given at the respective conference and workshop Web pages.

All accepted papers will be published in a technical report. As for
previous joint INAP/WLP events, it is planned to publish selected
papers in a post-conference proceedings volume in the Springer Lecture
Notes in Artificial Intelligence (LNAI) series.


Conference Chair (INAP)
=======================

Hans Tompits (Vienna University of Technology)


Track Chairs (INAP)
===================

Salvador Abreu (Universidade de Évora, Portugal): Extensions of LP Track
Dietmar Seipel (University of Würzburg, Germany): Databases & Data
Mining Track
Hans Tompits (Vienna University of Technology): NMR Track
Masanobu Umeda (Kyushu Institute of Technology, Japan): Applications
Track
Armin Wolf (Fraunhofer FIRST, Berlin, Germany): Constraint Programming
Track

Program Chair (WLP)
===================

Hans Tompits (Vienna University of Technology)


Local Organization
==================

Johannes Oetsch
Jörg Pührer
Hans Tompits


Contact
=======

Hans Tompits
Knowledge-Based Systems Group E184/3
Institute of Information Systems
Vienna University of Technology

Favoritenstrasse 9-11
A-1040 Vienna
Austria

Email: inap11 at kr.tuwien.ac.at
        wlp11 at kr.tuwien.ac.at


Homepages
=========

http://www.kr.tuwien.ac.at/events/inap11
http://www.kr.tuwien.ac.at/events/wlp11