[PlanetKR] INAP/WLP 2011: Deadline Extension and Final Call for Papers

Fri Jul 1 19:38:31 EST 2011

------------------------------------------------------------------------------
       DEADLINE EXTENSION AND FINAL CALL FOR PAPERS

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

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

       AND

       25th Workshop on Logic Programming
       (WLP 2011)

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

       Vienna, Austria, September 28-30, 2011

    ***New submission deadline: July 15, 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 fuer 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
===============

       Paper registration:       July 8, 2011 (NEW!)
       Deadline for submissions: July 15 2011 (EXTENDED!)
       Notification of authors:  August 12, 2011 (EXTENDED!)
       Camera-ready papers:      August 22, 2011 (EXTENDED!)
       Conference & Workshop:    September 28-30, 2011

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

Authors are invited to submit long papers (no longer than 15 pages) or
short papers (no longer than 6 pages) in the following categories:

     * technical papers;
     * application papers;
     * system descriptions.

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. Paper submission is electronic via the Easychair submission 
system, available at

http://www.easychair.org/conferences/?conf=inap2011

and

http://www.easychair.org/conferences/?conf=wlp2011,

respectively.

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 Evora): Extensions of LP Track
Dietmar Seipel (University of Wuerzburg): Databases & Data Mining Track
Hans Tompits (Vienna University of Technology): NMR Track
Masanobu Umeda (Kyushu Institute of Technology): Applications Track
Armin Wolf (Fraunhofer FIRST): Constraint Programming Track

Program Committee (INAP)
========================

Salvador Abreu (Universidade de Evora)
Jose Alferes (Universidade Nova de Lisboa)
Sergio Alvarez (Boston College)
Grigoris Antoniou (University of Crete)
Marcello Balduccini (Kodak Research Labs)
Chitta Baral (Arizona State University)
Christoph Beierle (FernUniversitaet in Hagen)
Philippe Besnard (Universite Paul Sabatier)
Stefan Brass (University of Halle)
Gerd Brewka (University of Leipzig)
Vitor Santos Costa (Universidade do Porto)
James P. Delgrande (Simon Fraser University)
Marc Denecker (Katholieke Universiteit Leuven)
Marina De Vos (University of Bath)
Daniel Diaz (University of Paris 1)
Juergen Dix (Clausthal University of Technology)
Esra Erdem (Sabanci University)
Michael Fink (Vienna University of Technology)
Gerhard Friedrich (Alpen-Adria-Universitaet Klagenfurt)
Thom Fruehwirth (University of Ulm)
Johannes Fuernkranz (Technische Universitaet Darmstadt)
Michael Gelfond (Texas Tech University)
Carmen Gervet (German University in Cairo)
Ulrich Geske (University of Potsdam)
Gopal Gupta (University of Texas at Dallas)
Petra Hofstedt (Brandenburg University of Technology Cottbus)
Anthony Hunter (University College London)
Katsumi Inoue (National Institute of Informatics)
Tomi Janhunen (Aalto University)
Gabriele Kern-Isberner (University of Dortmund)
Nicola Leone (University of Calabria)
Vladimir Lifschitz (University of Texas at Austin)
Alessandra Mileo (National University of Ireland)
Ulrich Neumerkel (Vienna University of Technology)
Ilkka Niemelae (Aalto University)
Vitor Nogueira (Universidade de Evora)
David Pearce (Universidad Politecnica de Madrid)
Reinhard Pichler (Vienna University of Technology)
Axel Polleres (National University of Ireland)
Enrico Pontelli (New Mexico State University)
Irene Rodrigues (Universidade de Evora)
Carolina Ruiz (Worcester Polytechnic Institute)
Torsten Schaub (University of Potsdam)
Dietmar Seipel (University of Wuerzburg)
V.S. Subrahmanian (University of Maryland)
Terrance Swift (Universidade Nova de Lisboa)
Hans Tompits (Vienna University of Technology)
Masanobu Umeda (Kyushu Institute of Technology)
Kewen Wang (Griffith University)
Emil Weydert (University of Luxembourg)
Armin Wolf (Fraunhofer FIRST)
Osamu Yoshie (Waseda University)

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

Hans Tompits (Vienna University of Technology)

Program Committee (WLP)
=======================

Slim Abdennadher (German University in Cairo)
Gerd Brewka (University of Leipzig)
Christoph Beierle (FernUniversitaet in Hagen)
Francois Bry (University of Munich)
Marc Denecker (Katholieke Universiteit Leuven)
Marina De Vos (University of Bath)
Juergen Dix (Clausthal University of Technology)
Esra Erdem (Sabanci University)
Wolfgang Faber (University of Calabria)
Michael Fink (Vienna University of Technology)
Thom Fruehwirth (University of Ulm)
Carmen Gervet (German University in Cairo)
Ulrich Geske (University of Potsdam)
Michael Hanus (Christian-Albrechts-University of Kiel)
Petra Hofstedt (Brandenburg University of Technology Cottbus)
Steffen Hoelldobler (Dresden University of Technology)
Tomi Janhunen (Aalto University)
Gabriele Kern-Isberner (University of Dortmund)
Alessandra Mileo (National University of Ireland)
Axel Polleres (National University of Ireland)
Torsten Schaub (University of Potsdam)
Jan Sefranek (Comenius University)
Dietmar Seipel (University of Wuerzburg)
Hans Tompits (Vienna University of Technology)
Armin Wolf (Fraunhofer FIRST)

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

Johannes Oetsch
Joerg Puehrer
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 [dot] tuwien [dot] ac [dot] at
         wlp11 [at] kr [dot] tuwien [dot] ac [dot] at

Homepages
=========

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