From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 8A8697FA5E for ; Thu, 27 Apr 2017 11:54:23 +0200 (CEST) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=peter.schuller@marmara.edu.tr; spf=Pass smtp.mailfrom=peter.schuller@marmara.edu.tr; spf=None smtp.helo=postmaster@mx2.marmara.edu.tr Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of peter.schuller@marmara.edu.tr) identity=pra; client-ip=193.140.143.20; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="peter.schuller@marmara.edu.tr"; x-sender="peter.schuller@marmara.edu.tr"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of peter.schuller@marmara.edu.tr designates 193.140.143.20 as permitted sender) identity=mailfrom; client-ip=193.140.143.20; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="peter.schuller@marmara.edu.tr"; x-sender="peter.schuller@marmara.edu.tr"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mx2.marmara.edu.tr) identity=helo; client-ip=193.140.143.20; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="peter.schuller@marmara.edu.tr"; x-sender="postmaster@mx2.marmara.edu.tr"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3AXEc2QRwwz+Rj63fXCy+O+j09IxM/srCxBDY+r6Qd?= =?us-ascii?q?1O0TIJqq85mqBkHD//Il1AaPBtSHraocw8Pt8InYEVQa5piAtH1QOLdtbDQizf?= =?us-ascii?q?ssogo7HcSeAlf6JvO5JwYzHcBFSUM3tyrjaRsdF8nxfUDdrWOv5jAOBBr/KRB1?= =?us-ascii?q?JuPoEYLOksi7ze6/9pncbglSmDaxfa55IQmrownWqsQYm5ZpJLwryhvOrHtIeu?= =?us-ascii?q?BWyn1tKFmOgRvy5dq+8YB6/ShItP0v68BPUaPhf6QlVrNYFygpM3o05MLwqxbO?= =?us-ascii?q?SxaE62YGXWUXlhpIBBXF7A3/U5zsvCb2qvZx1S+HNsHwUL47RzGi76ZtSBDyki?= =?us-ascii?q?cMKjo1/W/LhsBsia5Wpg+qqR5izI7OeIybNOdwcKDTc9wVXmdNQtpdWzBdDo+g?= =?us-ascii?q?c4cDEuwMNvtYoYnnoFsOqAOzCxOyC+Pz1DBInGL907Am3OQhDRnG2AggEMwUsH?= =?us-ascii?q?/Jq9j1LLkdUfyrw6nS1znDdO9Z2Tfg6IjMdhAuv+uMUKl1ccXL00kvEhnKjk+K?= =?us-ascii?q?poD/ITyay/kNv3KH7+p6TO+ijXMspQ92ojiq3Mgsi4/Ji5oPxV/e8SV53IE1Kc?= =?us-ascii?q?e2SE56Z9OvDZhetzmCOodrRs4vTXtktDs1x7Eao5K3YScHxZo9yxLBd/CKdZWD?= =?us-ascii?q?7Aj5W+aLOzh4gWpoeLKhiBa29kit0uj8V8aq3FpQqypKiMPMtnUX2BzJ8MeLUO?= =?us-ascii?q?Vy8Vq82TqVywDT8PlIIUEylaXFN54s2qM8m54dvEjZAyP7l1n6gLWLekgr9OWk?= =?us-ascii?q?8frrbqn+qp+ZLYB0iwX+Mqo0msy4BOQ1KhAOUHaH+euizr3v51b5T6lKjv0rlq?= =?us-ascii?q?nZtI7VJd4Aq668GQBVyIMj5AylDzi8ytgXg2QILE9fdBKblYjlI0vOL+zgDfej?= =?us-ascii?q?n1Ssly9myOzcMb3kBpXBN3zDkLb6fbZh8ENc0woyzdVH551OEL0BIfTzWlXwtN?= =?us-ascii?q?PCFBM5PRa0kK7JEtJ4g7sTRW+VSpSSMDfWtVKSrrY3LvWBfskOszbgL/wo/dbr?= =?us-ascii?q?hGU8kEUUO6SlwN0LcibrTbxdP0yFbC+10Z86GmAQs19lFLTn?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0CBJQBuvwFZfRSPjMFcg1qBDH4OnxoBg?= =?us-ascii?q?xUBigkwiEyCDwErhXMDKoN0QBcBAQEBAQEBAQEBARIBAQsUCFdCDoFtAQQBAQE?= =?us-ascii?q?BAwMDAQEHgjUsISgCTRoWBB1ZhV2CKQOCAwqbb5IyJgKHXQeDRYgygmqBbIJ1D?= =?us-ascii?q?gMBgmgMQByCMQWJPYdSjEGBW4U+i2aCD1WEYoNZhkyIY4hEgwAgAYEPJgsugRp?= =?us-ascii?q?sDoQDKYFNcgGEZ4Ffgi4BAQU?= X-IPAS-Result: =?us-ascii?q?A0CBJQBuvwFZfRSPjMFcg1qBDH4OnxoBgxUBigkwiEyCDwE?= =?us-ascii?q?rhXMDKoN0QBcBAQEBAQEBAQEBARIBAQsUCFdCDoFtAQQBAQEBAwMDAQEHgjUsI?= =?us-ascii?q?SgCTRoWBB1ZhV2CKQOCAwqbb5IyJgKHXQeDRYgygmqBbIJ1DgMBgmgMQByCMQW?= =?us-ascii?q?JPYdSjEGBW4U+i2aCD1WEYoNZhkyIY4hEgwAgAYEPJgsugRpsDoQDKYFNcgGEZ?= =?us-ascii?q?4Ffgi4BAQU?= X-IronPort-AV: E=Sophos;i="5.37,383,1488841200"; d="scan'208";a="221705374" Received: from mx2.marmara.edu.tr ([193.140.143.20]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 27 Apr 2017 11:53:48 +0200 Received: (korumail 60122 invoked from network); 27 Apr 2017 09:53:46 -0000 Received: from unknown (HELO posta.marmara.edu.tr) () by 0 with ESMTPS (DHE-RSA-AES256-GCM-SHA384 encrypted); 27 Apr 2017 09:53:42 -0000 Received: (qmail 31422 invoked from network); 27 Apr 2017 12:53:26 +0300 Received: from unknown (HELO omsievews) (peter.schuller@[193.255.160.219]) (envelope-sender ) by posta.marmara.edu.tr (qmail-ldap-1.03) with AES256-GCM-SHA384 encrypted SMTP for ; 27 Apr 2017 12:53:26 +0300 Received: by omsievews (Postfix, from userid 1000) id 8D5E72C01F4; Thu, 27 Apr 2017 12:53:38 +0300 (+03) From: Peter =?iso-8859-1?q?Sch=FCller?= Message-Id: <20170427095338.8D5E72C01F4@omsievews> Date: Thu, 27 Apr 2017 12:53:38 +0300 (+03) X-Envelope-Sender: peter.schuller@marmara.edu.tr X-KORUMAIL-QueueId: 60023-1493286822-332867 X-SMTP-Filter: Korumail SMTP Filter Engine Korumail 6.6.3 X-KORUMAIL-Result: 42.000000 points (Probable Spam) X-KORUMAIL-Reason: Classified as probable spam MIME-Version: 1.0 X-Validation-by: peter.schuller@marmara.edu.tr Subject: [Caml-list] Call for Participation: International Conference on Logic Programming and Non-monotonic Reasoning, Finland, 3-6 July 2017 Call for Participation --------------------------------------------------------------------------- 14th International Conference on Logic Programming and Non-monotonic Reasoning LPNMR 2017 http://lpnmr2017.aalto.fi/ Hanasaari, Espoo, Finland July 3-6, 2017 !!! Early registration deadline is May 26, 2017 !!! !!! All LPNMR workshops are accepting submissions until May 1, 2017 !!! --------------------------------------------------------------------------- REGISTRATION Early registration deadline is May 26, 2017. For more information, visit: http://lpnmr2017.aalto.fi/registration.html ACCEPTED PAPERS, PROGRAM, INVITED SPEAKERS The conference program, including accepted papers and invited speaker information can be found at http://lpnmr2017.aalto.fi/program.html All LPNMR workshops are accepting submissions until May 1, 2017!! For details, see: http://lpnmr2017.aalto.fi/workshops.html AIMS AND SCOPE LPNMR 2017 is the fourteenth in the series of international meetings on logic programming and non-monotonic reasoning. LPNMR is a forum for exchanging ideas on declarative logic programming, non-monotonic reasoning, and knowledge representation. The aim of the conference is to facilitate interactions between researchers and practitioners interested in the design and implementation of logic-based programming languages and database systems, and those working in knowledge representation and nonmonotonic reasoning. LPNMR strives to encompass theoretical and experimental studies that have led or will lead to advances in declarative programming and knowledge representation, as well as their use in practical applications. This edition of LPNMR will feature several workshops and a special session dedicated to the 7th ASP Competition. A Doctoral Consortium will also be a part of the program. INVITED SPEAKERS Joao Leite, Universidade Nova de Lisboa, Lisbon, Portugal Tran Cao Son, New Mexico State University, Las Cruses, New Mexico, USA Francesca Toni, Imperial College, London, UK ASSOCIATED EVENTS WORKSHOPS - LPNMR 2017 will include specialized workshops to be held on July 3 prior to the main conference. Currently planned workshops include: - Answer Set Programming and Other Computing Paradigms (ASPOCP) Organizers: Bart Bogaerts and Amelia Harrison - Defeasible and Ampliative Reasoning (DARe) Organizers: Richard Booth, Giovanni Casini, and Ivan Varzinczak - Grounding and Transformations for Theories with Variables (GTTV) Organizers: Simona Perri and Shahab Tasharrofi - Knowledge Representation and Planning for Robotics and Autonomous Systems (KPRAS) Organizers: Fangkai Yang and Shiqi Zhang - Practical Aspects of Answer Set Programming (PAoASP) Organizers: Martin Gebser, Marco Maratea, and Francesco Ricca - User-Oriented Logic Paradigms (IULP) Organizers: Stefan Ellmauthaler and Claudia Schulz ASP COMPETITION - A special session dedicated to a discussion of the 7th ASP System Competition, including the methodology of the competition, benchmarks used, lessons learned and, most importantly, the results and the announcement of the winners. DOCTORAL CONSORTIUM - A mentoring event where PhD students have a change to present their current research, get feedback from peers and senior researchers, and establish contacts for the future. FURTHER INFORMATION WWW: lpnmr2017.aalto.fi/ email: lpnmr2017 at list dot aalto dot fi VENUE Espoo, the second largest and the fastest growing city in Finland, is located right next to the capital Helsinki in the coastal Finland. Espoo is Northern Europe's largest high-tech and innovation hub where science, business and culture meet the wilderness of Nuuksio National Park and stunning seaside environment. Espoo's location offers excellent traffic connections: only half an hour from the international airport and harbors. The main campus of Aalto University is situated in Espoo. The LPNMR 2017 conference will be held in the Hanasaari Conference center that is located on an island of its own and is only 15 minutes away from Helsinki center by public transport. For travel & lodging information, visit: http://lpnmr2017.aalto.fi/travel.html PROGRAM CHAIRS Marcello Balduccini, Drexel University, USA Tomi Janhunen, Aalto University, Finland PUBLICITY CHAIR Peter Schüller, Marmara University, Turkey WORKSHOPS CHAIR Joohyung Lee, Arizona State University, USA DOCTORAL CONSORTIUM CHAIR Marina De Vos, University of Bath, UK 7TH ASP COMPETITION ORGANIZERS Martin Gebser, University of Potsdam, Germany Marco Maratea, University of Genoa, Italy Francesco Ricca, University of Calabria, Italy PROGRAM COMMITTEE Jose Julio Alferes, Universidade Nova de Lisboa, Portugal Marcello Balduccini, Drexel University, USA Chitta Baral, Arizona State University, USA Bart Bogaerts, KU Leuven, Belgium Gerhard Brewka, Leipzig University, Germany Pedro Cabalar, University of Corunna, Spain Francesco Calimeri, University of Calabria, Italy Stefania Costantini, University of L'Aquila, Italy James Delgrande, Simon Fraser University, Canada Marc Denecker, K.U.Leuven, Belgium Marina De Vos, University of Bath, UK Agostino Dovier, University of Udine, Italy Thomas Eiter, Vienna University of Technology, Austria Wolfgang Faber, University of Huddersfield, UK Paul Fodor, Stony Brook University, USA Alfredo Gabaldon, GE Global Research, USA Martin Gebser, University of Potsdam, Germany Michael Gelfond, Texas Tech University, USA Giovanni Grasso, Oxford University, UK Giovambattista Ianni, University of Calabria, Italy Daniela Inclezan, Miami University, USA Tomi Janhunen, Aalto University, Finland Matthias Knorr, Universidade Nova de Lisboa, Portugal Joohyung Lee, Arizona State University, USA Yuliya Lierler, University of Nebraska at Omaha, USA Vladimir Lifschitz, University of Texas at Austin, USA Fangzhen Lin, Hong Kong University of Science and Technology, Hong Kong Marco Maratea, University of Genoa, Italy Alessandra Mileo, National University of Ireland, Ireland Emilia Oikarinen, Finnish Institute of Occupational Health, Finland Mauricio Osorio, Universidad de las Americas Puebla, Mexico Ravi Palla, GE Global Research, USA David Pearce, Universidad Politécnica de Madrid, Spain Axel Polleres, Vienna University of Economics and Business, Austria Enrico Pontelli, New Mexico State University, USA Christoph Redl, Vienna University of Technology, Austria Alessandra Russo, Imperial College, United Kingdom Orkunt Sabuncu, University of Potsdam, Germany Chiaki Sakama, Wakayama University, Japan Torsten Schaub, University of Potsdam, Germany Peter Schüller, Marmara University, Turkey Tran Cao Son, New Mexico State University, USA Hannes Strass, Leipzig University, Germany Theresa Swift, Universidade Nova de Lisboa, Portugal Shahab Tasharrofi, Aalto University, Finland Eugenia Ternovska, Simon Fraser University, Canada Hans Tompits, Vienna University of Technology, Austria Mirek Truszczynski, University of Kentucky, USA Agustin Valverde, Universidad de Màlaga, Spain Kewen Wang, Griffith University, Australia Yisong Wang, Guizhou University, China Stefan Woltran, Vienna University of Technology, Austria Jia-Huai You, University of Alberta, Canada Yi Zhou, University of Western Sydney, Australia (Apologies if you receive multiple copies of this email. Please distribute to interested parties.)