LPNMR'01: Second Call for Papers


Subject: LPNMR'01: Second Call for Papers
From: Wolfgang Faber (faber@kr.tuwien.ac.at)
Date: Wed Nov 29 2000 - 14:43:17 MET


[We apologize if you receive multiple copies of this call for papers.]

                         **************************
                         * SECOND CALL FOR PAPERS *
                         **************************
   
                   6th International Conference on Logic
                   Programming and Nonmonotonic Reasoning

                                  LPNMR'01
                                      
                   Vienna, Austria, September 17-19, 2001
                   
                    http://www.kr.tuwien.ac.at/lpnmr01/
   
                                   
   LPNMR'01 is the sixth in the series of international meetings on logic
   programming and nonmonotonic reasoning. Five previous meetings were
   held in Washington, U.S.A. (1991), in Lisbon, Portugal (1993), in
   Lexington, U.S.A. (1995), in Dagstuhl, Germany (1997), and in El
   Paso, U.S.A. (1999).

   LPNMR'01 will be coordinated with the Joint German/Austrian
   Conference on AI (KI 2001), which will be held from September 19-21
   in Vienna.

   As for the previous conferences, the proceedings of LPNMR'01 will be
   published by Springer in the LNCS/LNAI series, see
   http://www.springer.de/comp/lncs/.

LPNMR: AIM AND SCOPE

 The aim of the conference is to facilitate interactions between
 researchers interested in the design and implementation of logic
 based programming languages and database systems, and researchers
 who work in the areas of knowledge representation and non-monotonic
 reasoning. LPNMR strives to encompass these theoretical and
 exprimental studies that lead to the construction of practical
 systems for declarative programming and knowledge representation.
   
 A non-exhaustive list of topics of interest includes:

    1. Development and mathematical studies of logical systems
       with non-monotonic entailment relations:
         - Extensions of ``classical'' LPNMR languages by new logical
           connectives and new inference capabilities such as abduction,
           reasoning by cases, etc;
         - Semantics of new and existing languages;
         - Relationships between formalisms;
         - Complexity and expressive power;
         - Development of inference algorithms and search heuristics for
           LPNMR systems;
         - 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, and other domains;
         - 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.

INVITED SPEAKERS

 Jürgen Dix (Universität Koblenz-Landau, Germany)
 Phokion Kolaitis (University of California at Santa Cruz, USA)
 Maurizio Lenzerini (Università di Roma "La Sapienza", Italy)
 Chiaki Sakama (Wakayama University, Japan)

IMPORTANT DATES

 Submission Deadline April 3, 2001
 Notification (Accept/Reject) May 28, 2001
 Conference Schedule June 16, 2001
 Final Conference Papers June 21, 2001

 Early Registration Deadline July 2, 2001

 Conference September 17-19, 2001

SUBMISSION OF PAPERS

 Papers must not exceed thirteen (13) pages including title page,
 references and figures, and must be formatted according to the
 Springer LNCS/LNAI authors' instructions
 (see <URL:http://www.springer.de/comp/lncs/authors.html>).
 Papers must be written in English and present original research.
 For more details, see the submission information at the conference
 home page <URL:http://www.kr.tuwien.ac.at/lpnmr01/>.

LOCATION

 Vienna, the Austrian capital, is one of the most popular destinations
 in European city tourism--and with good reasons. Vienna's historical
 architecture, concentrated on the inner city and along the
 Ringstrasse, has been largely preserved and skillfully restored. Even
 the remains of a former Roman military camp dating back to the first
 century A.D. have been rediscovered. Some churches, monasteries and
 historic houses go back to the time of the Babenberg dynasty, which
 was in power at the beginning of the last millenium.

 As the capital of the Habsburg empire, Vienna saw its heyday under the
 resigns of Maria Theresia and Franz Joseph I., Baroque palaces, the
 Hofburg, Schoenbrunn and Belvedere palace, the magnificent houses of
 the bourgeoisie and aristocracy give ample evidence of the splendour
 of these epochs. From the turn of the century onwards life in this
 metropolis was determined by an immensely rich and diverse culture. As
 a centre of musical life, Vienna had already won worldwide
 recognition. No need to mention that composers like Haydn, Mozart,
 Beethoven, Schubert, the Strauss dynasty, Bruckner, Brahms, Mahler,
 Schoenberg, Berg and many many more were living in Vienna. Since the
 opening-up of Eastern Europe ten years ago, Vienna has more than ever
 before become an important European centre.

 Vienna is an attractive place at any season, and particularly nice in
 early fall, since the weather is still warm enough for enjoying
 outdoor parties at the traditional Viennese "Heurigen" restaurants in
 the evening, while the cultural season has already started and offers
 lots of concerts, exhibitions, and other events. Many visitors are
 charmed by Vienna, including Billy Joel:

     It's alright you can afford to lose a day or two
     When will you realize...
     Vienna waits for you.

PROGRAM CO-CHAIRS

 Thomas Eiter (Vienna University of Technology, Austria)
 Miroslaw Truszczynski (University of Kentucky at Lexington, USA)

PROGRAM COMMITTEE

 Alexander Bochman (Holon Academic Institute of Technology, Israel)
 Piero Bonatti (Università degli Studi Milano/Crema, Italy)
 Gerhard Brewka (University of Leipzig, Germany)
 James Delgrande (Simon Fraser University, Canada)
 Marc Denecker (Katholieke Universiteit Leuven, Belgium)
 Norman Foo (University of New South Wales, Australia)
 Michael Gelfond (Texas Tech University, USA)
 Katsumi Inoue (Kobe University, Japan)
 Antonis Kakas (University of Cyprus)
 Nicola Leone (Vienna University of Technology, Austria)
 Vladimir Lifschitz (University of Texas at Austin, USA)
 Fangzhen Lin (The Hong Kong University of Science and Technology, China)
 Victor Marek (University of Kentucky at Lexington, USA)
 Zhang Ming-Yi (Guizhou Academy of Sciences, China)
 Ilkka Niemelä (Helsinki University of Technology, Finland)
 Luís Moniz Pereira (Universidade Nova de Lisboa, Portugal)
 Marco Schaerf (Università di Roma "La Sapienza", Italy)
 Torsten Schaub (University of Potsdam, Germany)
 Francesca Toni (Imperial College, London, U.K.)
 Li-Yan Yuan (University of Alberta, Canada)

   
PUBLICITY CHAIR

 Wolfgang Faber (Vienna University of Technology, Austria)

WEB PAGE

 Please visit the conference web page at
 <URL:http://www.kr.tuwien.ac.at/lpnmr01/> for further details and
 up-to-date information.



This archive was generated by hypermail 2b25 : Wed Nov 29 2000 - 16:33:43 MET