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 mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id DA3B37F71A for ; Fri, 11 Apr 2014 12:09:52 +0200 (CEST) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of cnn@cs.au.dk) identity=pra; client-ip=213.199.154.208; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="cnn@cs.au.dk"; x-sender="cnn@cs.au.dk"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of cnn@cs.au.dk) identity=mailfrom; client-ip=213.199.154.208; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="cnn@cs.au.dk"; x-sender="cnn@cs.au.dk"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@am1outboundpool.messaging.microsoft.com) identity=helo; client-ip=213.199.154.208; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="cnn@cs.au.dk"; x-sender="postmaster@am1outboundpool.messaging.microsoft.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AoUBAJe+R1PVx5rQlWdsb2JhbABZDoMzvWWIZg4BAQEBBw0JCRIqgicBBQEBDwsbHBICTSUPAkwBDAYCAQESDIdaBAmcWYEYAQGKRQEBo1MXjgoKAQYBhQ8EiSOWEAyOVEKBZwEIFw X-IPAS-Result: AoUBAJe+R1PVx5rQlWdsb2JhbABZDoMzvWWIZg4BAQEBBw0JCRIqgicBBQEBDwsbHBICTSUPAkwBDAYCAQESDIdaBAmcWYEYAQGKRQEBo1MXjgoKAQYBhQ8EiSOWEAyOVEKBZwEIFw X-IronPort-AV: E=Sophos;i="4.97,841,1389740400"; d="scan'208";a="67676304" Received: from am1ehsobe005.messaging.microsoft.com (HELO am1outboundpool.messaging.microsoft.com) ([213.199.154.208]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-SHA; 11 Apr 2014 12:09:51 +0200 Received: from mail37-am1-R.bigfish.com (10.3.201.239) by AM1EHSOBE025.bigfish.com (10.3.207.147) with Microsoft SMTP Server id 14.1.225.22; Fri, 11 Apr 2014 10:09:25 +0000 Received: from mail37-am1 (localhost [127.0.0.1]) by mail37-am1-R.bigfish.com (Postfix) with ESMTP id 53DA64022D; Fri, 11 Apr 2014 10:09:25 +0000 (UTC) X-Forefront-Antispam-Report: CIP:130.225.30.56;KIP:(null);UIP:(null);IPV:NLI;H:uniedge02.uni.au.dk;RD:uniedge02.uni.au.dk;EFVD:NLI X-SpamScore: 17 X-BigFish: VPS17(z5801oz62a3Izz1f42h2148h1ee6h1de0h1d18h1fdah2073h2146h1202h1e76h2189h1d1ah1d2ah21bch1fc6h208ch1082kzd9hdch5ck70kd2iz1de098h17326ah1777e0h1de097h186068hz2dh2a8h839h947hd25he5bhf0ah1288h12a5h12a9h12bdh137ah13b6h1441h1504h1537h153bh162dh1631h1758h18e1h190ch1946h19b4h19c3h1b0ah2222h224fh1d0ch1d2eh1d3fh1dc1h1dfeh1dffh1fe8h1ff5h209eh2216h22d0h2336h2438h2461h2487h24d7h2516h2545h255eh25f6h2605h268bh26d3h20cfi1155h) Received: from mail37-am1 (localhost.localdomain [127.0.0.1]) by mail37-am1 (MessageSwitch) id 1397210963106865_26900; Fri, 11 Apr 2014 10:09:23 +0000 (UTC) Received: from AM1EHSMHS009.bigfish.com (unknown [10.3.201.242]) by mail37-am1.bigfish.com (Postfix) with ESMTP id 0FD7F1000B2; Fri, 11 Apr 2014 10:09:23 +0000 (UTC) Received: from uniedge02.uni.au.dk (130.225.30.56) by AM1EHSMHS009.bigfish.com (10.3.207.109) with Microsoft SMTP Server (TLS) id 14.16.227.3; Fri, 11 Apr 2014 10:09:22 +0000 Received: from SRVUNIHUB01.uni.au.dk (10.88.2.6) by uniedge02.uni.au.dk (10.87.2.13) with Microsoft SMTP Server (TLS) id 14.3.181.6; Fri, 11 Apr 2014 12:09:09 +0200 Received: from [10.11.80.95] (10.88.100.16) by SRVUNIHUB01.uni.au.dk (10.88.2.6) with Microsoft SMTP Server (TLS) id 14.3.174.1; Fri, 11 Apr 2014 12:09:10 +0200 Message-ID: <5347BF46.50102@cs.au.dk> Date: Fri, 11 Apr 2014 12:09:10 +0200 From: Jacob Johannsen User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:24.0) Gecko/20100101 Thunderbird/24.4.0 MIME-Version: 1.0 To: , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , Content-Type: text/plain; charset="ISO-8859-1"; format=flowed Content-Transfer-Encoding: 7bit X-OriginatorOrg: cs.au.dk X-FOPE-CONNECTOR: Id%0$Dn%*$RO%0$TLS%0$FQDN%$TlsDn% X-Validation-by: cnn@cs.au.dk Subject: [Caml-list] PPDP 2014: Call for Papers ====================================================================== Call for papers 16th International Symposium on Principles and Practice of Declarative Programming PPDP 2014 Canterbury, Kent, September 8-10, 2014 (co-located with LOPSTR 2014) http://users-cs.au.dk/danvy/ppdp14/ ====================================================================== SUBMISSION DEADLINE: 15 MAY, 2014 PPDP 2014 is a forum that brings together researchers from the declaratrive programming communities, including those working in the logic, constraint and functional programming paradigms, but also embracing languages, database languages, and knowledge representation languages. The goal is to stimulate research in the use of logical formalisms and methods for specifying, performing, and analyzing computations, including mechanisms for mobility, modularity, concurrency, object-orientation, security, verification and static analysis. Papers related to the use of declarative paradigms and tools in industry and education are especially solicited. Topics of interest include, but are not limited to * Functional programming * Logic programming * Answer-set programming * Functional-logic programming * Declarative visual languages * Constraint Handling Rules * Parallel implementation and concurrency * Monads, type classes and dependent type systems * Declarative domain-specific languages * Termination, resource analysis and the verification of declarative programs * Transformation and partial evaluation of declarative languages * Language extensions for security and tabulation * Probabilistic modeling in a declarative language and modeling reactivity * Memory management and the implementation of declarative systems * Practical experiences and industrial application This year the conference will be co-located with the 24th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2014). The conference will be held in Canterbury, UK. Previous symposia were held at Madrid (Spain), Leuven (Belgium), Odense (Denmark), Hagenberg (Austria), Coimbra (Portugal), Valencia (Spain), Wroclaw (Poland), Venice (Italy), Lisboa (Portugal), Verona (Italy), Uppsala (Sweden), Pittsburgh (USA), Florence (Italy), Montreal (Canada), and Paris (France). You might have a look at the contents of past PPDP symposia. Papers must describe original work, be written and presented in English, and must not substantially overlap with papers that have been published or that are simultaneously submitted to a journal, conference, or workshop with refereed proceedings. Work that already appeared in unpublished or informally published workshop proceedings may be submitted (please contact the PC chair in case of questions). After the symposium, a selection of the best papers will be invited to extend their submissions in the light of the feedback solicited at the symposium. The papers are expected to include at least 30% extra material over and above the PPDP version. Then, after another round of reviewing, these revised papers will be published in a journal. Important Dates Abstract Submission: 12 May, 2014 Paper submission: 15 May, 2014 Notification: 30 June, 2014 Camera-ready: To be announced Symposium: 8-10 September, 2014 Invites for journal publication: To be announced Submission of journal version: To be announced Notification: To be announced Camera-ready version: To be announced Authors should submit an electronic copy of the full paper in PDF. Papers should be submitted to the submission website for PPDP 2014. Each submission must include on its first page the paper title; authors and their affiliations; abstract; and three to four keywords. The keywords will be used to assist the program committee in selecting appropriate reviewers for the paper. Papers should consist of the equivalent of 12 pages under the ACM formatting guidelines. These guidelines are available online, along with formatting templates or style files. Submitted papers will be judged on the basis of significance, relevance, correctness, originality, and clarity. They should include a clear identification of what has been accomplished and why it is significant. Authors who wish to provide additional material to the reviewers beyond the 12-page limit can do so in clearly marked appendices: reviewers are not required to read such appendices. Program Committee Michael Adams University of Illinois at Urbana-Champaign, USA Elvira Albert Complutense University of Madrid, Spain Dariusz Biernacki University of Wroclaw, Poland Bernd Brassel Recordbay, Germany Mike Codish Ben-Gurion University of the Negev, Israel Olivier Danvy (chair) Aarhus University, Denmark Marc Denecker KU Leuven, Belgium Joshua Dunfield Max Planck Institute for Software Systems, Germany Zoe Drey ENSTA Bretagne/Lab-STICC, France Thibaut Feydy NICTA, Australia Danko Ilik Inria, France Yukiyoshi Kameyama University of Tsukuba, Japan Chantal Keller Microsoft Research -- Inria Joint Centre Temur Kutsia RISC, Johannes Kepler University Linz, Austria Dan Licata Wesleyan University, USA Akimasa Morihata University of Tokyo, Japan Matthias Puech McGill University, Canada Tiark Rompf Oracle Labs and EPFL, Switzerland Kristoffer H. Rose Two Sigma Labs, New York, USA Ilya Sergey IMDEA Software Institute, Spain Ralf Treinen University Paris-Diderot, France Frank D. Valencia CNRS and LIX, Ecole Polytechnique, France Program Chair Olivier Danvy Department of Computer Science Aarhus University Aabogade 34 DK-8200 Aarhus N, Denmark Email: danvy@cs.au.dk Symposium Chairs: Andy King School of Computing University of Kent Canterbury, Kent, CT2 7NF United Kingdom Email: A.M.King@kent.ac.uk Olaf Chitil School of Computing University of Kent Canterbury, Kent, CT2 7NF United Kingdom Email: O.Chitil@kent.ac.uk Publicity Chair: Jacob Johannsen Department of Computer Science Aarhus University Aabogade 34 DK-8200 Aarhus N, Denmark Email: cnn@cs.au.dk