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 B04417EE78 for ; Sun, 24 Apr 2016 20:35:38 +0200 (CEST) IronPort-PHdr: 9a23:P28DDhyJAS5KpJ/XCy+O+j09IxM/srCxBDY+r6Qd0OMXIJqq85mqBkHD//Il1AaPBtWLra0YwLSM+4nbGkU+or+5+EgYd5JNUxJXwe43pCcHRPC/NEvgMfTxZDY7FskRHHVs/nW8LFQHUJ2mPw6anHS+4HYoFwnlMkItf6KuSt6U0Jj8ibr60qaQSjsLrQL1Wal1IhSyoFeZnegtqqwmFJwMzADUqGBDYeVcyDAgD1uSmxHh+pX4p8Y7oGwSgP8k9shJS+26JPxgDO8QMTI9Lmpg5NH3rUuECg+O/WcHFH0XmRNURgzM6h68WY3+9S7zt+540S/dOtXqTLcyQnOm6KhqQ1rwkiAILTc89WDRhZ9NirlGqkekrh1734mGZIaaNfE7ZrnacskTQG9AWMkUTSFYH46nc6MLDvEdJqBAroL0ux4KpB2xQw62C7T01zVKi3TqiLA8yPkrCgrc3QYtTPwUt3GBlNjpOb1aauu10aTMyTjZJ6dO1Cvw8s7TeRA8pfWBR5p1eNDUwFMmUQ7JkxOMs9q2bHuuyu0Rvj3CvKJbXuW1hjt881l8 Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=logic-programming-bounces@lists.picat-lang.org; spf=None smtp.mailfrom=logic-programming-bounces@lists.picat-lang.org; spf=None smtp.helo=postmaster@mailman01.siteprotect.com Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of logic-programming-bounces@lists.picat-lang.org) identity=pra; client-ip=64.41.126.239; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="logic-programming-bounces@lists.picat-lang.org"; x-sender="logic-programming-bounces@lists.picat-lang.org"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of logic-programming-bounces@lists.picat-lang.org) identity=mailfrom; client-ip=64.41.126.239; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="logic-programming-bounces@lists.picat-lang.org"; x-sender="logic-programming-bounces@lists.picat-lang.org"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mailman01.siteprotect.com) identity=helo; client-ip=64.41.126.239; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="logic-programming-bounces@lists.picat-lang.org"; x-sender="postmaster@mailman01.siteprotect.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0BrAQBmER1XkO9+KUBehAtxDKZOiyuKEwuCPINabTsRAQEBAQEBAQERAQEBAQkLCQkhL4IyghEGAQEaHQQIChEFAgMDDgMBAgYCKxUEAQMIAwEHBBgBBEQFBA2IFAQKu12EMgELAR2KADyBaIJiA4MyG4IrBY5DAYlLhXyCdYI5gmGCPocchUCGFIYqgyeCPiSBOGkBhygBHgeBFwEBBQ X-IPAS-Result: A0BrAQBmER1XkO9+KUBehAtxDKZOiyuKEwuCPINabTsRAQEBAQEBAQERAQEBAQkLCQkhL4IyghEGAQEaHQQIChEFAgMDDgMBAgYCKxUEAQMIAwEHBBgBBEQFBA2IFAQKu12EMgELAR2KADyBaIJiA4MyG4IrBY5DAYlLhXyCdYI5gmGCPocchUCGFIYqgyeCPiSBOGkBhygBHgeBFwEBBQ X-IronPort-AV: E=Sophos;i="5.24,528,1454972400"; d="scan'208";a="175603328" Received: from mailman01.siteprotect.com ([64.41.126.239]) by mail3-smtp-sop.national.inria.fr with ESMTP; 24 Apr 2016 20:35:22 +0200 Received: from mailman01.siteprotect.com (localhost.localdomain [127.0.0.1]) by mailman01.siteprotect.com (Postfix) with ESMTP id 59B23270804E; Sun, 24 Apr 2016 13:34:43 -0500 (CDT) X-Original-To: logic-programming@lists.picat-lang.org Delivered-To: logic-programming@lists.picat-lang.org Received: from mx.marmara.edu.tr (mx.marmara.edu.tr [193.140.143.18]) by mailman01.siteprotect.com (Postfix) with ESMTP id 5CF252708018 for ; Thu, 21 Apr 2016 16:26:37 -0500 (CDT) Received: (korumail 1688 invoked by uid 0); 21 Apr 2016 21:26:33 -0000 Received: from unknown (HELO posta.marmara.edu.tr) () by 0 with ESMTPS (DHE-RSA-AES256-GCM-SHA384 encrypted); 21 Apr 2016 21:26:33 -0000 Received: (qmail 32393 invoked from network); 22 Apr 2016 00:23:24 +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 ; 22 Apr 2016 00:23:24 +0300 Received: by omsievews (Postfix, from userid 1000) id EFE3B2C0282; Fri, 22 Apr 2016 00:26:30 +0300 (EEST) From: Peter Schueller Message-Id: <20160421212630.EFE3B2C0282@omsievews> Date: Fri, 22 Apr 2016 00:26:30 +0300 (EEST) X-SMTP-Filter: Korumail SMTP Filter Engine Korumail 6.0 X-KORUMAIL-Result: Clean (Content eval: 0.000000 points) X-KORUMAIL-Reason: WHITELIST match: peter.schuller@marmara.edu.tr [pattern: @marmara.edu.tr$] MIME-Version: 1.0 X-Mailman-Approved-At: Sun, 24 Apr 2016 13:34:41 -0500 X-BeenThere: logic-programming@lists.picat-lang.org X-Mailman-Version: 2.1.18-1 List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: 7bit Errors-To: logic-programming-bounces@lists.picat-lang.org Sender: "logic-programming" X-Validation-by: peter.schuller@marmara.edu.tr Subject: [Caml-list] [logic-programming] Final CFP and Deadline Extension ICLP 2016, New York City: 32nd International Conference on Logic Programming, Oct 17-21 Final Call For Papers and Deadline Extension 32nd International Conference on Logic Programming New York City, USA October 17-21, 2016 http://software.imdea.org/Conferences/ICLP2016/ Conference Scope Since the first conference held in Marseilles in 1982, ICLP has been the pre- mier international conference for presenting research in logic programming. Contributions are sought in all areas of logic programming, including but not restricted to: - Theory: Semantic Foundations, Formalisms, Nonmonotonic Reasoning, Knowledge Representation. - Implementation: Compilation, Virtual Machines, Parallelism, Constraint Han- dling Rules, Tabling. - Environments: Program Analysis, Transformation, Validation, Verification, Debugging, Profiling, Testing. - Language Issues: Concurrency, Objects, Coordination, Mobility, Higher Order, Types, Modes, Assertions, Programming Techniques. - Related Paradigms: Inductive and Co-inductive Logic Programming, Constraint Logic Programming, Answer-Set Programming, SAT-Checking. - Applications: Databases, Big Data, Data Integration and Federation, Soft- ware Engineering, Natural Language Processing, Web and Semantic Web, Agents, Artificial Intelligence, Bioinformatics, and Education. In addition to the presentations of accepted papers, the technical program will include invited talks, advanced tutorials, the doctoral consortium, and several workshops. Important Dates Paper registration (abstract): 29 April, 2016 (extended deadline, firm) Submission deadline: 6 May, 2016 (extended deadline) Notification to authors: 17 June, 2016 Revision deadline (when needed): 8 July, 2016 Final notification: 22 July, 2016 Camera-ready copy due: 5 Aug, 2016 Conference: 17-21 Oct, 2016 Submission Details Submissions of regular papers must be made in the condensed TPLP format (see http://software.imdea.org/Conferences/ICLP2016/TPLP-ICLP-2016.tar) via Easy- Chair (see http://www.easychair.org/conferences/?conf=iclp2016). A regular paper must not exceed 14 pages including the bibliography, but the paper may be supplemented with appendices for proofs and details of datasets which do not count towards this limit and which will be available as appendices to the published paper. We accept three kinds of papers: - Technical papers for technically sound, innovative ideas that can advance the state of logic programming; - Application papers that impact interesting application domains; - System and tool papers which emphasize novelty, practicality, usability, and availability of the systems and tools described. Application, system, and tool papers need to be clearly marked in their title. All submissions must be written in English and describe original, previously unpublished research, and must not simultaneously be submitted for publication elsewhere. Papers of the highest quality will be selected to be published in the journal of Theory and Practice of Logic Programming (TPLP), Cambridge Uni- versity Press (CUP). In order to ensure the quality of the final version, papers may be subject to more than one round of refereeing (within the deci- sion period). The program committee may recommend some papers to be published as technical communications. Technical communications (TCs) will be published by Dagstuhl Publishing in the OpenAccess Series in Informatics (OASIcs) (http://www.dagstuhl.de/publikationen/oasics/). These TC papers should not exceed 14 pages including bibliography. Authors can also elect to convert their submissions into extended abstracts, of 2 or 3 pages, for inclusion in the TCs. This should allow authors to submit a long version elsewhere. All regular papers and regular TCs will be presented during the conference. Doctoral consortium position papers, of between 10 and 14 pages, will also be published as TCs. Authors of accepted papers will, by default, be automatically included in the list of ALP members, who will receive quarterly updates from the Logic Pro- gramming Newsletter at no cost. Conference Organization General Chairs: Michael Kifer Stony Brook University, USA Neng-Fa Zhou City University of New York, USA Program Chairs: Manuel Carro UPM and IMDEA Software Institute, Spain Andy King University of Kent, UK Workshop Chair: Marcello Balduccini Drexel University, USA Publicity Chair: Peter Schueller Marmara University, Turkey Doctoral Consortium Chairs: Marina De Vos University of Bath, UK Neda Saeedloei University of Minnesota Duluth, USA Programming Contest Chair: Paul Fodor Stony Brook University, USA Web Presence: Joaquin Arias IMDEA Software Institute, Spain Program Committee: Marcello Balduccini Drexel University, USA Mutsunori Banbara Kobe University, Japan Roman Bartak Charles University, Czech Republic Pedro Cabalar University of Corunna, Spain Mats Carlsson SICS, Sweden Manuel Carro UPM and IMDEA Software Institute, Spain Michael Codish Ben-Gurion University of the Negev, Israel Marina De Vos University of Bath, UK Agostino Dovier Universita degli Studi di Udine, Italy Gregory Duck National University of Singapore, Singapore Esra Erdem Sabanci University, Turkey Wolfgang Faber University of Huddersfield, UK Thom Fruehwirth University of Ulm, Germany John Gallagher Roskilde University, Denmark, and IMDEA Software Institute, Spain Marco Gavanelli Universita degli Studi di Ferrara, Italy Martin Gebser University of Potsdam, Germany Michael Hanus CAU Kiel, Germany Katsumi Inoue NII, Japan Gerda Janssens KU Leuven - University of Leuven, Belgium Andy King University of Kent, UK Ekaterina Komendantskaya Heriot-Watt University, UK Michael Leuschel University of Dusseldorf, Germany Vladimir Lifschitz University of Texas, USA Jose F. Morales IMDEA Software Institute, Spain Enrico Pontelli New Mexico State University, USA Jorg Puhrer Leipzig University, Germany Ricardo Rocha University of Porto, Portugal Zoltan Somogyi Independent Researcher, Australia Harald Sondergaard University of Melbourne, Australia Theresa Swift NOVALINKS, US, and UNL, Portugal Francesca Toni Imperial College London, UK Irina Trubitsyna University of Calabria, Italy Mirek Truszczynski University of Kentucky, USA Alicia Villanueva Universitat Politecnica de Valencia, Spain Jan Wielemaker VU University Amsterdam, Netherlands Stefan Woltran TU Wien, Austria Fangkai Yang Schlumberger Inc., USA Jia-Huai You University of Alberta, Canada Workshops The ICLP 2016 program will include several workshops. They are perhaps the best places for the presentation of preliminary work, underdeveloped novel ideas, and new open problems to a wide and interested audience with opportuni- ties for intensive discussions and project collaboration. Autumn School on Computational Logic A school on computational logic is planned. More up to date information will be available at the conference Web page. Doctoral Consortium The Twelfth Doctoral Consortium (DC) on Logic Programming provides research students with the opportunity to present and discuss their research direc- tions, and to obtain feedback from both peers and experts in the field. Accepted participants will receive partial financial support to attend the event and the main conference. The best paper from the DC will be given the opportunity to present in a session of the main ICLP conference. Conference Venue The venue will be the Sheraton LaGuardia East Hotel in Flushing, New York City. New York City is an international tourist destination, receiving 56 million tourists in 2014 alone. Several sources have ranked New York the most photographed city in the world. Times square, known as the city's heart, is the brightly illuminated hub of the Broadway theatre district. The Statue of Liberty greets new arrivals to the Americas by ship in the late 19th and early 20th century, and is a globally recognized symbol of the United States. Flush- ing is associated by many with the National Tennis Centre, since Flushing Meadows has been the home of the US Open Grand Slam tennis tournament every year since 1978. New York is the most populous city in the United States and one of the most populous urban agglomerations in the world. Situated in one of the world's largest natural harbours, New York City consists of five boroughs, each of which is a separate county of New York State. The conference hotel is situated in the Queens borough, just a two-minute walk from the Flushing-Main Street rail station. Direct train lines take you directly from there to Times Square in just over 45 minutes, which is fast for New York City. The Museum of Modern Art can be reached in under 40 mins, Grand Central Terminal in 40 mins, the Empire State Building under 50 mins, and The High Line Park in 50 minutes. The hotel is also close to LaGuardia Airports and JFK. LaGuardia is just 3 miles away and the hotel offers a complementary shuttle service. John F. Kennedy International Airport (JFK) is 10 miles away and can be reached within 30 minutes by taxi. The hotel is situated in a vibrant Asian district that offers a variety of Eastern cuisine, as well as many stores and shops. Sponsor The conference is sponsored by the Association for Logic Programming (ALP). Financial Assistance The Association for Logic Programming has funds to assist financially disad- vantaged participants and, especially, students to enable them to attend the conference. Inquiries should be made to the general chairs. _______________________________________________ logic-programming mailing list logic-programming@lists.picat-lang.org http://lists.picat-lang.org/mailman/listinfo/logic-programming