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 4643B7FA83 for ; Fri, 31 Mar 2017 10:09:00 +0200 (CEST) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=bpientka@cs.mcgill.ca; spf=Pass smtp.mailfrom=bpientka@cs.mcgill.ca; spf=None smtp.helo=postmaster@mail.cs.mcgill.ca Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of bpientka@cs.mcgill.ca) identity=pra; client-ip=132.206.51.234; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="bpientka@cs.mcgill.ca"; x-sender="bpientka@cs.mcgill.ca"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of bpientka@cs.mcgill.ca designates 132.206.51.234 as permitted sender) identity=mailfrom; client-ip=132.206.51.234; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="bpientka@cs.mcgill.ca"; x-sender="bpientka@cs.mcgill.ca"; 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@mail.cs.mcgill.ca) identity=helo; client-ip=132.206.51.234; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="bpientka@cs.mcgill.ca"; x-sender="postmaster@mail.cs.mcgill.ca"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3AXOC3Yh9TQNcKqP9uRHKM819IXTAuvvDOBiVQ1KB3?= =?us-ascii?q?0OscTK2v8tzYMVDF4r011RmSDNmds6oMotGVmpioYXYH75eFvSJKW713fDhBt/?= =?us-ascii?q?8rmRc9CtWOE0zxIa2iRSU7GMNfSA0tpCnjYgBaF8nkelLdvGC54yIMFRXjLwp1?= =?us-ascii?q?Ifn+FpLPg8it2e2//5Lebx9UiDahfLh/MAi4oQLNu8cMnIBsMLwxyhzHontJf+?= =?us-ascii?q?RZ22ZlLk+Nkhj/+8m94odt/zxftPw9+cFAV776f7kjQrxDEDsmKWE169b1uhTF?= =?us-ascii?q?UACC+2ETUmQSkhpPHgjF8BT3VYr/vyfmquZw3jSRMMvrRr42RDui9b9mRh/0hy?= =?us-ascii?q?kIKjA382/ZhNJ/g6xcux+huwV/w4vIbIGVKPZzfKXQds4aS2pbWcZRUjRMD56m?= =?us-ascii?q?b4sOAOoBPPpYr5XjqFATtxW+BBejBOXzyj9LnHD9wKo33P85EQHHwgMgGc4OsH?= =?us-ascii?q?fOo9juKKgSSvq5zKzUwjXMbvNW3TP95JLUfR87uPyBW697f8TWyUkqDQzFj1OQ?= =?us-ascii?q?pJT/MDyJ0+QBqW+b7/BvVe63jm4otw5xojmrxscokIXGmpgaxkjY+iVl2ok1I8?= =?us-ascii?q?e0SElhYd6rCJdfqTuVN5B2Q8w+Q2Fnoic6yqcctZ68ZigKx5IqzAPcZfyfa4WE?= =?us-ascii?q?/xzuWPiLLTtmmH5oeaizihav/US61OHxWMa53E5XoidLkdTArG4B2hPS58SdVP?= =?us-ascii?q?dx5Fmt1DmN2g3V9+pKO1o7lbDBJJ4k2rMwloQcsUDEHiLunUX5lq6WdkE+9ue0?= =?us-ascii?q?8OTreLDmqYOTN491jgH+Nr4ildClDuggMwgOWXaU+fik2bH+80D1Xq9GguMqnq?= =?us-ascii?q?TYqpzXJdkXqrSnDwJb3Ysv8xO/AC2n0NQck3kHNlVFeBefgofyI1HOIe73DfGj?= =?us-ascii?q?g1Svijhm3OzJPqb7DpXIMnfDn7bhfbJ560JG1AU818hT54hIBbEZPPLzRkjxuc?= =?us-ascii?q?TEARAjNgy0x//rCNF81oMFRWKCGbSZMaPXsV+Q/O0jOeiMZIkPuDb8Mfcp/fDu?= =?us-ascii?q?jWVq0WMaKKKg2J9SbHGjAtxnJV+YaDzimIQvC2AP6yAkTePrlEGPGQZSanCuXK?= =?us-ascii?q?t0sjsjCY+gEYTKbou2xrmK0ya/GttdbzYVWRi3DX70etDcCL83YyWIL5o5nw?= =?us-ascii?q?=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0C6AQAFDt5YeuozzoRdHQEFAQsBGAEFA?= =?us-ascii?q?QsBhAqBC4Nim0mNLoYyhB0qiTxCFQEBAQEBAQEBAQEBEgEBCwsLBCovgjMggmY?= =?us-ascii?q?GRQRCAiYCgQiJdg6dFI5XD4EggiaKXAsBAQEBASKBC4VDggUIhB6BOiGBGQEDg?= =?us-ascii?q?mwMLi6CMQWJIpNIhn2MHoExVIRWgzEFhluKI1GEPxSEJjV6LSUWCC1SAYI2gh6?= =?us-ascii?q?BdXMBh1EBASQHghABAQE?= X-IPAS-Result: =?us-ascii?q?A0C6AQAFDt5YeuozzoRdHQEFAQsBGAEFAQsBhAqBC4Nim0m?= =?us-ascii?q?NLoYyhB0qiTxCFQEBAQEBAQEBAQEBEgEBCwsLBCovgjMggmYGRQRCAiYCgQiJd?= =?us-ascii?q?g6dFI5XD4EggiaKXAsBAQEBASKBC4VDggUIhB6BOiGBGQEDgmwMLi6CMQWJIpN?= =?us-ascii?q?Ihn2MHoExVIRWgzEFhluKI1GEPxSEJjV6LSUWCC1SAYI2gh6BdXMBh1EBASQHg?= =?us-ascii?q?hABAQE?= X-IronPort-AV: E=Sophos;i="5.36,251,1486422000"; d="scan'208";a="218725202" Received: from mail.cs.mcgill.ca ([132.206.51.234]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 31 Mar 2017 10:08:59 +0200 Received: from [10.153.73.131] (host247-2.natpool.mwn.de [138.246.2.247]) (using TLSv1 with cipher ECDHE-RSA-AES256-SHA (256/256 bits)) (No client certificate requested) by mail.cs.mcgill.ca (Postfix) with ESMTPSA id C0DBB2158E22 for ; Fri, 31 Mar 2017 04:08:57 -0400 (EDT) From: Brigitte Pientka Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Message-Id: <362A7D6F-4360-48F2-B9DC-33C4472C40B7@cs.mcgill.ca> Date: Fri, 31 Mar 2017 10:08:56 +0200 To: caml-list@inria.fr Mime-Version: 1.0 (Mac OS X Mail 9.3 \(3124\)) X-Mailer: Apple Mail (2.3124) X-Validation-by: bpientka@cs.mcgill.ca Subject: [Caml-list] PPDP 2017: Call For Papers =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D CALL FOR PAPERS=20 19th International Symposium on Principles and Practice of Declarative Programming PPDP 2017 Namur, Belgium, October 9-11, 2017 (co-located with LOPSTR'17) http://complogic.cs.mcgill.ca/ppdp2017 =09=09=09=09=20=20=20 =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D SUBMISSION DEADLINE: 12 May (abstracts) / 19 MAY (papers) =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D PPDP 2017 is a forum that brings together researchers from the declarative programming communities, including those working in the functional, logic, answer-set, and constraint programming paradigms. The goal is to stimulate research in the use of logical forma= lisms and methods for analyzing, performing, specifying, and reasoning about computations, including mechanisms for concurrency, security, static analysis, and verification.=20 Submissions are invited on all topics from principles to practice, from foundations to applications. Topics of interest include, but are not limited to=20 ** Language Design: domain-specific languages; interoperability; concurrency, parallelism, and distribution; modules; probabilistic languages; reactive languages; database languages; knowledge representation languages; languages with objects; language extensions for tabulation; metaprogramming. ** Implementations: abstract machines; interpreters; compilation; compile-time and run-time optimization; garbage collection; memory management. ** Foundations: type systems; type classes; dependent types; logical frameworks; monads; resource analysis; cost models; continuations; control; state; effects; semantics. ** Analysis and Transformation: partial evaluation; abstract interpretation; control flow; data flow; information flow; termination analysis; resource analysis; type inference and type checking; verification; validation; debugging; testing. ** Tools and Applications: programming and proof environments; verification tools; case studies in proof assistants or interactive theorem provers; certification; novel applications of declarative programming inside and outside of CS; declarative programming pearls; practical experience reports and industrial application; education. This year the conference will be co-located with the 27th Int'l Symp.=20=20 on Logic-Based Program Synthesis and Transformation (LOPSTR 2017). IMPORTANT DATES: Abstract Submission: 12 May 2017 Paper Submission: 19 May 2017 Paper Rebuttal: 10 July 2017 Notification: 20 July 2017 Final Version: 15 Aug 2017 SUBMISSION CATEGORIES: Submissions can be made in three categories: regular Research Papers,=20 System Descriptions, and Experience Reports. Submissions of Research Papers must present original research which is unpublished and not submitted elsewhere. They must not exceed 12 pages ACM style 2-column (including figures and bibliography). Work that already appeared in unpublished or informally published workshop proceedings may be submitted (please contact the PC chair in case of questions). Submissions of research papers will be judged on originality, significance, correctness, clarity, and readability.=20=20=20= =20 Submission of System Descriptions must describe a working system whose description has not been published or submitted elsewhere. They must not exceed 10 pages and should contain a link to a working system. System Descriptions must be marked as such at the time of submission and will be judged on originality, significance, usefulness, clarity, and readabilit= y.=20 Submissions of Experience Reports are meant to help create a body of published, refereed, citable evidence where declarative programming such as functional, logic, answer-set, constraint programming, etc., is used in practice. They must not exceed 6 pages. Experience Reports must be marked as such at the time of submission and need not report original research results. They will be judged on significance, usefulness, clarity, and readability. Possible topics for an Experience Report include, but are not limited to: * insights gained from real-world projects using declarative programming=20 * comparison of declarative programming with conventional programming in the context of an industrial project or a university curriculum=20 * curricular issues encountered when using declarative programming in education=20 * real-world constraints that created special challenges for an implementation of a declarative language or for declarative programming in general * novel use of declarative programming in the classroom=20=20 * programming pearl that illustrates a nifty new data structure or programming technique. SUBMISSION GUIDELINES: Submissions must be formatted using ACM style files (latest release December 2016) using the instructions at=20 https://www.acm.org/publications/proceedings-template To prepare your submission using LaTex: * Download acmart.zip from https://www.ctan.org/pkg/acmart * Unzip acmart.zip * Run latex acmart.ins to produce an acmart.cls file * Run pdflatex sample-sigconf.tex to check that your installation works correctly * Write your paper using sample-sigconf.tex as a template=20=20 Proofs of theoretical results that do not fit within the page limit, executables of systems, code of case studies, benchmarks used to evaluate a given system, etc., should be made available, via a reference to a website or in an appendix of the paper. Reviewers will be encouraged to consider this additional material, but are not obliged to. Submissions must be self-contained within the respective page limit; considering the additional material should not be necessary to assess the merits of a submission.=20=20 At least one author of each accepted submission will be expected to attend and present their paper at the conference.=20 Papers must be submitted via easychair. The submission site is at=20 https://easychair.org/conferences/?conf=3Dppdp2017 PROCEEDING Accepted papers will be published in the ACM International Conference Proceedings Series. PROGRAM CHAIR Brigitte Pientka (McGill University) =20=20 PROGRAM COMMITTEE Andreas Abel (Gothenburg University) Nadia Amin (EPFL) Zena M. Ariola (University of Oregon) Kenichi Asai (Ochanomizu University) James Cheney (University of Edinburgh) Mariangiola Dezani-Ciancaglini (University of Torino) Santiago Escobar (Universitat Polit=C3=A8cnica de Val=C3=A8ncia)=20 Amy Felty (University of Ottawa) Thom Fr=C3=BChwirth (University of Ulm) Patricia Johann (Appalachian State University) Neel Krishnaswami (University of Cambridge) Micha=C3=ABl Leuschel (Universit=C3=A4t D=C3=BCsseldorf) Yanhong Annie Liu (Stony Brook University) Andres Loeh (Well-Typed) Vivek Nigam (Federal University of Paraiba / fortiss) Naoki Nishida (Nagoya University) Catuscia Palamidessi (INRIA) Brigitte Pientka (McGill University) (PC Chair) Ulrich Schoepp (Ludwig Maximilian University) Chung-chieh Shan (Indiana University) Bernardo Toninho (Imperial College London) LOCAL ORGANIZER (joint with LOPSTR): Wim Vanhoff (University of Namur)=20 ----------------------------------------------------------------------