Final Call for Papers
Final Call for Papers
6th International Conference on Logic Programming and Nonmonotonic Reasoning
Vienna, Austria, September 17-19, 2001
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 19.-21.9.2001 in Vienna. As in the past, the proceedings of LPNMR'01 will be published by Springer in the LNCS/LNAI series, see http://www.springer.de/comp/lncs/. Furthermore, a special issue of a journal which contains extended versions of selected papers presented at the conference is planned; selected papers of the previous LPNMR conference will appear in a special issue of Artificial Intelligence.
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:
(Universität Koblenz-Landau, Germany)
Abstract Submission Deadline: April 3, 2001 23:59:59 GMT
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 http://www.springer.de/comp/lncs/authors.html). Papers must be written in English and present original research.
Paper submission is electronic via the conference home page http://www.kr.tuwien.ac.at/lpnmr01/. Papers must be registered (title, abstract, keywords, authors, contact information) by April 3, 2001, 23:59:59 GMT; the full paper must be uploaded by April 6, 2001, 23:59:59 GMT.
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
(Holon Academic Institute of Technology, Israel)
Wolfgang Faber (Vienna University of Technology, Austria)
Please visit the conference web page at http://www.kr.tuwien.ac.at/lpnmr01/ for further details and up-to-date information.