From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 3C6A2800BE for ; Fri, 10 Feb 2017 19:44:47 +0100 (CET) Authentication-Results: mail2-smtp-roc.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@mx.marmara.edu.tr Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of peter.schuller@marmara.edu.tr) identity=pra; client-ip=193.140.143.18; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="peter.schuller@marmara.edu.tr"; x-sender="peter.schuller@marmara.edu.tr"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of peter.schuller@marmara.edu.tr designates 193.140.143.18 as permitted sender) identity=mailfrom; client-ip=193.140.143.18; receiver=mail2-smtp-roc.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 (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mx.marmara.edu.tr) identity=helo; client-ip=193.140.143.18; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="peter.schuller@marmara.edu.tr"; x-sender="postmaster@mx.marmara.edu.tr"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3Av4hhNRMSh5jEMUcHLPEl6mtUPXoX/o7sNwtQ0KIM?= =?us-ascii?q?zox0KP7yrarrMEGX3/hxlliBBdydsKMYzbqJ+Pm5AiRAuc/H6y9SNsQUFlcsso?= =?us-ascii?q?Y/oU8JOIa9E0r1LfrnPWQRPf9pcxtbxUy9KlVfA83kZlff8TWY5D8WHQjjZ0Iu?= =?us-ascii?q?frymUrjpkt+v2uuu15rWagROzHrhMPIhKRSttgTXuYEqpsNsK6s1xlOJ+SMJKN?= =?us-ascii?q?J733lvPxe+mR376sa289YjqHwR6LoP7clFBO/Ccrg1V/RjBzSN52Qx6deh/U3b?= =?us-ascii?q?QBeC/D0HWWULlh5FGSDA5Qv/V4349Cb2q6xhwn/JboXNUbkoVGH7vO9QQxjyhX?= =?us-ascii?q?Jeb280?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0D2CQAUCZ5YZBKPjMFeHQEFAQsBFwEBB?= =?us-ascii?q?AEBCgEBgycgQXwNnzwDAYMPAYlthleEHAEphiCCVUMUAQEBAQEBAQEBAQEDHAs?= =?us-ascii?q?KBx8vgjcDAwEGAgIBAQcCgg53CkMaGh1EhXKECgqgFpImJgKHWAeDTiEFIIxXg?= =?us-ascii?q?moKBAMBgmgMQByCMQWbcgGGbosYggiFF4NEhi+IHId6gn82aC8IggEMgRmCSym?= =?us-ascii?q?BSj41h2IPF1yBOgEBBQ?= X-IPAS-Result: =?us-ascii?q?A0D2CQAUCZ5YZBKPjMFeHQEFAQsBFwEBBAEBCgEBgycgQXw?= =?us-ascii?q?NnzwDAYMPAYlthleEHAEphiCCVUMUAQEBAQEBAQEBAQEDHAsKBx8vgjcDAwEGA?= =?us-ascii?q?gIBAQcCgg53CkMaGh1EhXKECgqgFpImJgKHWAeDTiEFIIxXgmoKBAMBgmgMQBy?= =?us-ascii?q?CMQWbcgGGbosYggiFF4NEhi+IHId6gn82aC8IggEMgRmCSymBSj41h2IPF1yBO?= =?us-ascii?q?gEBBQ?= X-IronPort-AV: E=Sophos;i="5.35,142,1484002800"; d="scan'208";a="259812844" Received: from mx.marmara.edu.tr ([193.140.143.18]) by mail2-smtp-roc.national.inria.fr with ESMTP; 10 Feb 2017 19:44:46 +0100 Received: (korumail 38821 invoked from network); 10 Feb 2017 18:44:44 -0000 Received: from unknown (HELO posta.marmara.edu.tr) () by 0 with ESMTPS (DHE-RSA-AES256-GCM-SHA384 encrypted); 10 Feb 2017 18:44:44 -0000 Received: (qmail 10135 invoked from network); 10 Feb 2017 21:43:25 +0300 Received: from unknown (HELO inspire) (peter.schuller@[172.16.8.84]) (envelope-sender ) by posta.marmara.edu.tr (qmail-ldap-1.03) with AES256-GCM-SHA384 encrypted SMTP for ; 10 Feb 2017 21:43:25 +0300 Received: by inspire (Postfix, from userid 1000) id 6DDEC3140081; Fri, 10 Feb 2017 20:44:40 +0200 (EET) From: "Peter Schüller" Message-Id: <20170210184440.6DDEC3140081@inspire> Date: Fri, 10 Feb 2017 20:44:40 +0200 (EET) X-Validation-by: peter.schuller@marmara.edu.tr Subject: [Caml-list] CFP International Workshop on Practical Aspects of Answer Set Programming at LPNMR, Espoo, Finland, 3 July 2017 ======================================================================== 1st International Workshop on Practical Aspects of Answer Set Programming (PAoASP 2017) Espoo, Finland, July 3, 2017 https://sites.google.com/site/paoasp2017/ ======================================================================== Answer Set Programming (ASP) is a declarative programming paradigm with close relationships to neighboring fields such as ATP, CP, FO(.), SAT, SMT, and others. Since its inception in 2007, the ASP Competition series strives to evaluate and advance the state of the art in ASP solving technology. The International Workshop on Practical Aspects of Answer Set Programming (PAoASP) addresses current developments of systems, tools, and applications in ASP and neighboring fields. To this end, it aims to bring together researchers and practitioners of declarative programming with dedicated focus on, but not limited to, recent methods and trends emerging from the ASP Competition. The 1st International Workshop on Practical Aspects of Answer Set Programming (PAoASP 2017) is organized in conjunction with the 7th Answer Set Programming Competition (ASPCOMP 2017) and affiliated with the 14th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2017). We solicit the submission of papers on systems, tools, and applications of declarative programming methods, developed in the area of ASP and neighboring fields. In particular, we encourage submissions presenting recent developments, including work in progress. Topics of interest include, but are not limited to: * Algorithm Selection and Configuration * Applications and Benchmarks * Empirical Evaluation * Grounding and Solving * Implementation Techniques * Parallel Systems * Portfolio Systems * Reasoning Tasks * Theory Solving * Translation Methods Accepted papers will be published within (informal) online proceedings. Selected submissions will be invited for rapid publication in Theory and Practice of Logic Programming (TPLP). == Important Dates (tentative) == * Paper submission: April 3, 2017 * Notification of acceptance: May 1, 2017 * Final version due: May 22, 2017 * Workshop: July 3, 2017 == Committee == Workshop Chairs: * Martin Gebser, University of Potsdam, Germany * Marco Maratea, University of Genoa, Italy * Francesco Ricca, University of Calabria, Italy Program Committee: * Carmine Dodaro, University of Genova, Italy * Daniela Inclezan, Miami University, USA * Benjamin Kaufmann, University of Potsdam, Germany * Claire Lefèvre, University of Angers, France * Simona Perri, University of Calabria, Italy * Luca Pulina, University of Sassari, Italy * Jörg Pührer, University of Leipzig, Germany * Christoph Redl, TU Vienna, Austria * Claudia Schulz, Imperial College London, UK * Peter Schüller, Marmara University, Turkey * Shahab Tasharrofi, Aalto University, Finland == Contact == Workshop Chairs: aspcomp2017@dibris.unige.it Website: https://sites.google.com/site/paoasp2017/ (Apologies if you receive multiple copies of this email. Please distribute to interested parties.)