From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.3 required=5.0 tests=MAILTO_TO_SPAM_ADDR autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by yquem.inria.fr (Postfix) with ESMTP id 16310BBC6 for ; Mon, 16 Mar 2009 10:54:38 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AuMFALG9vUmNWTAHgWdsb2JhbACNGgGGcIE2AQEWIr0Mg38G X-IronPort-AV: E=Sophos;i="4.38,372,1233529200"; d="scan'208";a="36605158" Received: from mail.cs.uni-potsdam.de ([141.89.48.7]) by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/ADH-AES256-SHA; 16 Mar 2009 10:54:37 +0100 Received: by mail.cs.uni-potsdam.de (Postfix, from userid 2543) id 0FB5010D43; Mon, 16 Mar 2009 10:55:37 +0100 (CET) To: caml-list@inria.fr Subject: Call for Papers: LPNMR'09 Message-Id: <20090316095537.0FB5010D43@mail.cs.uni-potsdam.de> Date: Mon, 16 Mar 2009 10:55:37 +0100 (CET) From: lpnmr09@cs.uni-potsdam.de (LPNMR09 Account) X-Spam: no; 0.00; verlag:01 lncs:01 lncs:01 2009:98 2009:98 experimental:01 short:01 short:01 springer:02 springer:02 implemented:02 proceedings:02 authors:03 authors:03 marc:03 Call for Papers: LPNMR'09 ========================= 10th International Conference on Logic Programming and Nonmonotonic Reasoning Potsdam, Germany, 14-18 September, 2009 http://www.cs.uni-potsdam.de/lpnmr09 LPNMR'09 is the tenth in the series of international meetings on logic programming and nonmonotonic reasoning. The special theme of LPNMR'09 is Applications of Logic Programming and Nonmonotonic Reasoning; it aims at providing a comprehensive survey of the state-of-the-art of Applications in the field, with a slight focus on Answer Set Programming (ASP). 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 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 nonmonotonic reasoning. LPNMR strives to encompass theoretical and experimental studies that led or will lead to the construction of practical systems for declarative programming and knowledge representation. 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 led to the development of significant applications. In addition to technical and original application papers, we also invite submissions of short papers, system descriptions, and summaries of of existing successful applications of LPNMR systems, which will be presented in dedicated poster sessions. As in the past, the proceedings of the conference will be published in the Springer Verlag LNCS series (http://www.springeronline.com/lncs). As part of the technical program, LPNMR'09 comprises special sessions devoted to presentations and demonstrations of implemented nonmonotonic reasoning systems and applications of LPNMR with a focus on applications of ASP. Moreover, LPNMR'09 hosts the award ceremony of the Second Answer Set Programming Competition (http://www.cs.kuleuven.be/~dtai/events/ASP-competition). Workshops --------- The program of LPNMR'09 will also include several workshops. Workshops provide a venue for presenting specialized topics and opportunities for intensive discussions and project collaboration in any areas related to LPNMR, including cross-disciplinary areas. Those interested in organizing a workshop at LPNMR'09 are invited to submit an informal workshop proposal to the program chairs until 30 April 2009. Submission ---------- LPNMR'09 welcomes submissions in the following formats. * Technical papers (13 pages) * Original application papers (13 pages) * Short papers (6 pages) * System descriptions (6 pages) * Summaries of of existing successful applications (6 pages) All papers must not exceed the alloted number of pages including title page, references and figures; they must be formatted according to the Springer LNCS authors instructions. Papers must be written in English and present original research. All submissions will be peer-reviewed by an international panel. Paper submission will be electronic through http://www.easychair.org/conferences/?conf=lpnmr09 Important Dates --------------- * Paper registration 15 April 2009 * Paper submission 20 April 2009 * Workshop submission 30 April 2009 * Paper Notification 1 June 2009 * Final conference papers 22 June 2009 Venue ----- The conference will be held at the University of Potsdam's Institute of Informatics. Potsdam, once a city of kings and royal residences, is today the capital of the state of Brandenburg in Germany and at the same time a European city of culture and science. The heart of Prussia is famous for its palaces and parks, its gardens and villas, and its numerous museums. Last but not least it nicely complements the adjacent capital city of Berlin. Program Chairs -------------- Fangzhen Lin, Hong Kong University of Science and Technology, Hong Kong, China, http://www.cs.ust.hk/~flin Torsten Schaub, University of Potsdam, Germany, http://www.cs.uni-potsdam.de/~torsten ASP/LPNMR Application Theme Chair --------------------------------- Esra Erdem, Sabanci University, Istanbul, Turkey, http://people.sabanciuniv.edu/esraerdem ASP Competition Chair --------------------- Marc Denecker, Leuven University, Belgium, http://www.cs.kuleuven.ac.be/~marcd Contact ------- Email to lpnmr09@cs.uni-potsdam.de.