CFP: LPNMR 2011 (Conference on Logic Programming and Nonmonotonic Reasoning)

[Jim Delgrande]

Call for Papers: LPNMR-11
=========================

11th International Conference on Logic Programming and Nonmonotonic Reasoning
Vancouver, BC, Canada, May 16-19, 2011
http://sites.google.com/site/lpnmr11


LPNMR-11 is the eleventh in the series of international meetings on logic
programming and nonmonotonic reasoning. LPNMR is a forum for exchanging ideas
on declarative logic programming, nonmonotonic reasoning, and knowledge
representation. The aim of the conference is to facilitate interactions
between those researchers and practitioners interested in the design and
implementation of logic-based programming languages and database systems, and
those who work in the area of knowledge representation and nonmonotonic
reasoning.  LPNMR strives to encompass theoretical and experimental studies
that have led or will lead to the construction of systems for declarative
programming and knowledge representation, as well as their use in practical
applications.

Authors are invited to submit papers presenting original and unpublished
research on nonmonotonic aspects of logic programming and knowledge
representation. We particularly encourage papers on LPNMR techniques which
have led to the development of significant applications. In addition, we
also invite submissions of short papers, and system and application
descriptions, which will be presented in a dedicated poster session.

The proceedings of the conference will be published in the Springer Verlag
Lecture Notes in Computer Science series; see http://www.springer.com/lncs/.
All accepted papers will be published in the proceedings.  As well, select
papers will be invited to appear at a special track at IJCAI 2011 in
Barcelona in July 2011.


Topics
======

Authors are invited to submit papers presenting original and unpublished
research on nonmonotonic aspects of logic programming and knowledge
representation. We particularly encourage papers on LPNMR techniques that
have led to the development of significant applications. A non-exhaustive
list of topics of interest includes:

1. Foundations of LPNMR Systems: 
   Semantics of new and existing languages; Relationships among
   formalisms; Complexity and expressive power; Development of
   inference algorithms and search heuristics for LPNMR systems;
   Extensions of "classical" LPNMR languages by new logical
   connectives and new inference capabilities such as abduction,
   reasoning by cases, etc; Updates and other operations on LPNMR
   systems; Uncertainty in LPNMR systems.

2. Implementation of LPNMR systems: 
   System descriptions, comparisons, evaluations; LPNMR benchmarks.

3. Applications of LPNMR systems: 
   LPNMR languages and algorithms in planning, diagnosis, software
   engineering, decision making, model checking and other domains;
   Applications of LPNMR languages in Data Integration and Exchange
   systems; Methodology of representing knowledge in LPNMR languages:
   theory and practice; Integration of LPNMR systems with other
   computational paradigms; Embedded LPNMR systems: Systems using
   LPNMR subsystems.

In addition to regular papers on the above topics, we also invite submission
of short papers, which may present technical results or give system or
application descriptions and which will be presented in a poster session. See
below for submission details.


Workshops
=========

The program of LPNMR-11 will also include several specialised workshops.
These workshops provide a venue for presenting more specialized and focussed
topics, and are intended to allow for intensive discussions and project
collaboration in any area related to LPNMR, including cross-disciplinary
areas.

Those interested in organizing a workshop at LPNMR-11 are invited to submit
an informal workshop proposal to the program chairs by 31 December 2010.
Potential workshop organizers are also invited to discuss their ideas for
a workshop with the program chairs beforehand.


Submission
==========

LPNMR'11 welcomes submissions in the following formats.

* Technical papers (13 pages)
* Short papers (6 pages)
* System descriptions (6 pages)
* Application descriptions (6 pages)

The indicated number of pages includes title page, references and figures.
Submissions must be formatted according to the Springer LNCS author
instructions, be written in English, and present original research. All
submissions will be peer-reviewed, and all accepted papers will appear in the
conference proceedings.  Paper submission will be electronic through
http://www.easychair.org/conferences/?conf=lpnmr11


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

* Paper registration: 1 December 2010
* Paper submission: 8 December 2010
* Workshop applications: 31 December 2010
* Notification: 8 February 2011
* Final versions due: 25 February 2011


Venue
=====

The conference will be held at the Segal Graduate School of Business of Simon
Fraser University in downtown Vancouver, British Columbia, Canada.  Vancouver
is located on the Pacific coast and is adjacent to the Coast Mountains.  It is
consistently ranked as one of the most livable and beautiful cities in the
world and features a broad range of outdoor, leisure, and cultural activities.


Program Chairs
==============

James Delgrande, Simon Fraser University, Canada
Wolfgang Faber, University of Calabria, Italy

Program Committee
=================

Marcello Balduccini, Kodak Research Labs, USA
Chitta Baral, Arizona State University, USA
Leopoldo Bertossi, Carleton University, Canada
Richard Booth, University of Luxembourg, Luxembourg
Gerhard Brewka, University of Leipzig, Germany
Pedro Cabalar, University of Corunna, Spain
Stefania Costantini, University of L'Aquila, Italy
Marina De Vos, University of Bath, UK
James Delgrande, Simon Fraser University, Canada
Marc Denecker, KU Leuven, Belgium
Yannis Dimopoulos, University of Cyprus, Cyprus
Juergen Dix, Technical University of Clausthal, Germany
Agostino Dovier, University of Udine, Italy
Thomas Eiter, Vienna University of Technology, Austria
Esra Erdem, Sabanci University, Turkey
Wolfgang Faber, University of Calabria, Italy
Michael Fink, Vienna University of Technology, Austria
Andrea Formisano, University of Perugia, Italy
Martin Gebser, University of Potsdam, Germany
Michael Gelfond, Texas Tech University, USA
Giovambattista Ianni, University of Calabria, Italy
Tomi Janhunen, Aalto University, Finland
Antonis Kakas, University of Cyprus, Cyprus
Joohyung Lee, Arizona State University, USA
Nicola Leone, University of Calabria, Italy
Vladimir Lifschitz, University of Texas, USA
Fangzhen Lin, Hong Kong University of Science and Technology, China
Jorge Lobo, IBM T. J. Watson Research Center, USA
Robert Mercer, University of Western Ontario, Canada
Alessandra Mileo, University of Milan-Bicocca, Italy
Pascal Nicolas, University of Angers, France
Ilkka Niemela, Aalto University, Finland
Mauricio Osorio, Universidad de las Americas, Mexico
Ramon Otero, University of Corunna, Spain
David Pearce, Universidad Politecnica de Madrid, Spain
Axel Polleres, National University of Ireland, Ireland
Enrico Pontelli, New Mexico State University, USA
Chiaki Sakama, Wakayama University, Japan
John Schlipf, University of Cincinnati, USA
Tran Cao Son, New Mexico State University, USA
Terrance Swift, Stony Brook University, USA
Evgenia Ternovska, Simon Fraser University, Canada
Hans Tompits, Vienna University of Technology, Austria
Francesca Toni, Imperial College London, UK
Mirek Truszczynski, University of Kentucky, USA
Agustin Valverde, University of Malaga, Spain
Kewen Wang, Griffith University, Australia
Stefan Woltran, Vienna University of Technology, Austria
Jia-Huai You, University of Alberta, Canada
Yan Zhang, University of Western Sydney, Australia


Contact
=======
Email to lpnmr11 at gmail.com