<html><head><meta http-equiv="Content-Type" content="text/html charset=utf-8"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;" class=""><div class="" style="font-family: LucidaGrande;"><font face="Menlo" class="">========================================================</font></div><div class="" style="font-family: LucidaGrande;"><font face="Menlo" class=""><br class=""></font></div><div class="" style="font-family: LucidaGrande;"><font face="Menlo" class=""><span class="Apple-tab-span" style="white-space: pre;"> </span>CALL FOR PAPERS </font></div><div class="" style="font-family: LucidaGrande;"><font face="Menlo" class=""><br class=""></font></div><div class="" style="font-family: LucidaGrande;"><font face="Menlo" class=""><span class="Apple-tab-span" style="white-space: pre;"> </span> 19th International Symposium on</font></div><div class="" style="font-family: LucidaGrande;"><font face="Menlo" class=""><span class="Apple-tab-span" style="white-space: pre;"> </span> Principles and Practice of Declarative Programming</font></div><div class="" style="font-family: LucidaGrande;"><font face="Menlo" class=""><span class="Apple-tab-span" style="white-space: pre;"> </span> PPDP 2017</font></div><div class="" style="font-family: LucidaGrande;"><font face="Menlo" class=""><br class=""></font></div><div class="" style="font-family: LucidaGrande;"><font face="Menlo" class=""><span class="Apple-tab-span" style="white-space: pre;"> </span>Namur, Belgium, October 9-11, 2017</font></div><div class="" style="font-family: LucidaGrande;"><font face="Menlo" class=""><span class="Apple-tab-span" style="white-space: pre;"> </span> (co-located with LOPSTR'17)</font></div><div class="" style="font-family: LucidaGrande;"><font face="Menlo" class=""><br class=""></font></div><div class="" style="font-family: LucidaGrande;"><font face="Menlo" class=""><span class="Apple-tab-span" style="white-space: pre;"> </span> <a href="http://complogic.cs.mcgill.ca/ppdp2017" class="">http://complogic.cs.mcgill.ca/ppdp2017</a></font></div><div class="" style="font-family: LucidaGrande;"><font face="Menlo" class=""><span class="Apple-tab-span" style="white-space: pre;"> </span> </font></div><div class="" style="font-family: LucidaGrande;"><font face="Menlo" class="">========================================================</font></div><div class="" style="font-family: LucidaGrande;"><font face="Menlo" class=""><br class=""></font></div><div class="" style="font-family: LucidaGrande;"><font face="Menlo" class=""> REVISED PAPER SUBMISSION DEADLINE: 26 May </font></div><div class="" style="font-family: LucidaGrande;"><font face="Menlo" class=""><br class=""></font></div><div class="" style="font-family: LucidaGrande;"><font face="Menlo" class="">========================================================</font></div><div class="" style="font-family: LucidaGrande;"><font face="Menlo" class=""><br class=""></font></div><div class="" style="font-family: LucidaGrande;"><font face="Menlo" class="">PPDP 2017 is a forum that brings together researchers from the</font></div><div class="" style="font-family: LucidaGrande;"><font face="Menlo" class="">declarative programming communities, including those working in the</font></div><div class="" style="font-family: LucidaGrande;"><font face="Menlo" class="">functional, logic, answer-set, and constraint programming</font></div><div class="" style="font-family: LucidaGrande;"><font face="Menlo" class="">paradigms. The goal is to stimulate research in the use of logical formalisms</font></div><div class="" style="font-family: LucidaGrande;"><font face="Menlo" class="">and methods for analyzing, performing, specifying, and reasoning about</font></div><div class="" style="font-family: LucidaGrande;"><font face="Menlo" class="">computations, including mechanisms for concurrency, security, static</font></div><div class="" style="font-family: LucidaGrande;"><font face="Menlo" class="">analysis, and verification. </font></div><div class="" style="font-family: LucidaGrande;"><font face="Menlo" class=""><br class=""></font></div><div class="" style="font-family: LucidaGrande;"><font face="Menlo" class="">Submissions are invited on all topics from principles to practice,</font></div><div class="" style="font-family: LucidaGrande;"><font face="Menlo" class="">from foundations to applications. Topics of interest include, but are</font></div><div class="" style="font-family: LucidaGrande;"><font face="Menlo" class="">not limited to </font></div><div class="" style="font-family: LucidaGrande;"><font face="Menlo" class=""><br class=""></font></div><div class="" style="font-family: LucidaGrande;"><font face="Menlo" class="">** Language Design: domain-specific languages; interoperability;</font></div><div class="" style="font-family: LucidaGrande;"><font face="Menlo" class=""> concurrency, parallelism, and distribution; modules;</font></div><div class="" style="font-family: LucidaGrande;"><font face="Menlo" class=""> probabilistic languages; reactive languages; database</font></div><div class="" style="font-family: LucidaGrande;"><font face="Menlo" class=""> languages; knowledge representation languages; languages</font></div><div class="" style="font-family: LucidaGrande;"><font face="Menlo" class=""> with objects; language extensions for tabulation;</font></div><div class="" style="font-family: LucidaGrande;"><font face="Menlo" class=""> metaprogramming.</font></div><div class="" style="font-family: LucidaGrande;"><font face="Menlo" class=""><br class=""></font></div><div class="" style="font-family: LucidaGrande;"><font face="Menlo" class="">** Implementations: abstract machines; interpreters; compilation;</font></div><div class="" style="font-family: LucidaGrande;"><font face="Menlo" class=""> compile-time and run-time optimization; garbage collection; memory</font></div><div class="" style="font-family: LucidaGrande;"><font face="Menlo" class=""> <span class="Apple-tab-span" style="white-space: pre;"> </span>management.</font></div><div class="" style="font-family: LucidaGrande;"><font face="Menlo" class=""><br class=""></font></div><div class="" style="font-family: LucidaGrande;"><font face="Menlo" class="">** Foundations: type systems; type classes; dependent types; logical</font></div><div class="" style="font-family: LucidaGrande;"><font face="Menlo" class=""> frameworks; monads; resource analysis; cost models;</font></div><div class="" style="font-family: LucidaGrande;"><font face="Menlo" class=""> continuations; control; state; effects; semantics.</font></div><div class="" style="font-family: LucidaGrande;"><font face="Menlo" class=""><br class=""></font></div><div class="" style="font-family: LucidaGrande;"><font face="Menlo" class="">** Analysis and Transformation: partial evaluation; abstract</font></div><div class="" style="font-family: LucidaGrande;"><font face="Menlo" class=""> interpretation; control flow; data flow; information flow;</font></div><div class="" style="font-family: LucidaGrande;"><font face="Menlo" class=""> termination analysis; resource analysis; type inference and</font></div><div class="" style="font-family: LucidaGrande;"><font face="Menlo" class=""> type checking; verification; validation; debugging; testing.</font></div><div class="" style="font-family: LucidaGrande;"><font face="Menlo" class=""><br class=""></font></div><div class="" style="font-family: LucidaGrande;"><font face="Menlo" class="">** Tools and Applications: programming and proof</font></div><div class="" style="font-family: LucidaGrande;"><font face="Menlo" class=""> environments; verification tools; case studies in proof assistants</font></div><div class="" style="font-family: LucidaGrande;"><font face="Menlo" class=""> or interactive theorem provers; certification; novel applications</font></div><div class="" style="font-family: LucidaGrande;"><font face="Menlo" class=""> of declarative programming inside and outside of CS;</font></div><div class="" style="font-family: LucidaGrande;"><font face="Menlo" class=""> declarative programming pearls; practical experience reports</font></div><div class="" style="font-family: LucidaGrande;"><font face="Menlo" class=""> and industrial application; education.</font></div><div class="" style="font-family: LucidaGrande;"><font face="Menlo" class=""><br class=""></font></div><div class="" style="font-family: LucidaGrande;"><font face="Menlo" class="">This year the conference will be co-located with the 27th Int'l Symp. </font></div><div class="" style="font-family: LucidaGrande;"><font face="Menlo" class="">on Logic-Based Program Synthesis and Transformation (LOPSTR 2017).</font></div><div class="" style="font-family: LucidaGrande;"><font face="Menlo" class=""><br class=""></font></div><div class="" style="font-family: LucidaGrande;"><font face="Menlo" class="">IMPORTANT DATES:</font></div><div class="" style="font-family: LucidaGrande;"><br class=""></div><div class="" style="font-family: LucidaGrande;"><font face="Menlo" class="">Paper Submission: <span class="Apple-tab-span" style="white-space: pre;"> </span>26 May 2017</font></div><div class="" style="font-family: LucidaGrande;"><font face="Menlo" class="">Paper Rebuttal:<span class="Apple-tab-span" style="white-space: pre;"> </span>10 July 2017</font></div><div class="" style="font-family: LucidaGrande;"><font face="Menlo" class="">Notification:<span class="Apple-tab-span" style="white-space: pre;"> </span>20 July 2017</font></div><div class="" style="font-family: LucidaGrande;"><font face="Menlo" class="">Final Version:<span class="Apple-tab-span" style="white-space: pre;"> </span>15 Aug 2017</font></div><div class="" style="font-family: LucidaGrande;"><font face="Menlo" class=""><br class=""></font></div><div class="" style="font-family: LucidaGrande;"><font face="Menlo" class="">SUBMISSION CATEGORIES:</font></div><div class="" style="font-family: LucidaGrande;"><font face="Menlo" class=""><br class=""></font></div><div class="" style="font-family: LucidaGrande;"><font face="Menlo" class="">Submissions can be made in three categories: regular Research Papers, </font></div><div class="" style="font-family: LucidaGrande;"><font face="Menlo" class="">System Descriptions, and Experience Reports.</font></div><div class="" style="font-family: LucidaGrande;"><font face="Menlo" class=""><br class=""></font></div><div class="" style="font-family: LucidaGrande;"><font face="Menlo" class="">Submissions of Research Papers must present original research which is</font></div><div class="" style="font-family: LucidaGrande;"><font face="Menlo" class="">unpublished and not submitted elsewhere. They must not exceed 12 pages</font></div><div class="" style="font-family: LucidaGrande;"><font face="Menlo" class="">ACM style 2-column (including figures and bibliography). Work that</font></div><div class="" style="font-family: LucidaGrande;"><font face="Menlo" class="">already appeared in unpublished or informally published workshop</font></div><div class="" style="font-family: LucidaGrande;"><font face="Menlo" class="">proceedings may be submitted (please contact the PC chair in case of</font></div><div class="" style="font-family: LucidaGrande;"><font face="Menlo" class="">questions). Submissions of research papers will be judged on</font></div><div class="" style="font-family: LucidaGrande;"><font face="Menlo" class="">originality, significance, correctness, clarity, and readability. </font></div><div class="" style="font-family: LucidaGrande;"><font face="Menlo" class=""><br class=""></font></div><div class="" style="font-family: LucidaGrande;"><font face="Menlo" class="">Submission of System Descriptions must describe a working system whose</font></div><div class="" style="font-family: LucidaGrande;"><font face="Menlo" class="">description has not been published or submitted elsewhere. They must</font></div><div class="" style="font-family: LucidaGrande;"><font face="Menlo" class="">not exceed 10 pages and should contain a link to a working system. System</font></div><div class="" style="font-family: LucidaGrande;"><font face="Menlo" class="">Descriptions must be marked as such at the time of submission and will</font></div><div class="" style="font-family: LucidaGrande;"><font face="Menlo" class="">be judged on originality, significance, usefulness, clarity, and readability. </font></div><div class="" style="font-family: LucidaGrande;"><font face="Menlo" class=""><br class=""></font></div><div class="" style="font-family: LucidaGrande;"><font face="Menlo" class="">Submissions of Experience Reports are meant to</font></div><div class="" style="font-family: LucidaGrande;"><font face="Menlo" class="">help create a body of published, refereed, citable evidence where</font></div><div class="" style="font-family: LucidaGrande;"><font face="Menlo" class="">declarative programming such as functional, logic, answer-set,</font></div><div class="" style="font-family: LucidaGrande;"><font face="Menlo" class="">constraint programming, etc., is used in practice. They must not</font></div><div class="" style="font-family: LucidaGrande;"><font face="Menlo" class="">exceed 6 pages. Experience Reports must be marked as such at the time</font></div><div class="" style="font-family: LucidaGrande;"><font face="Menlo" class="">of submission and need not report original research results. They</font></div><div class="" style="font-family: LucidaGrande;"><font face="Menlo" class="">will be judged on significance, usefulness, clarity, and readability.</font></div><div class="" style="font-family: LucidaGrande;"><font face="Menlo" class=""><br class=""></font></div><div class="" style="font-family: LucidaGrande;"><font face="Menlo" class="">Possible topics for an Experience Report include, but are not limited to:</font></div><div class="" style="font-family: LucidaGrande;"><font face="Menlo" class=""> * insights gained from real-world projects using declarative</font></div><div class="" style="font-family: LucidaGrande;"><font face="Menlo" class=""> programming </font></div><div class="" style="font-family: LucidaGrande;"><font face="Menlo" class=""> * comparison of declarative programming with conventional</font></div><div class="" style="font-family: LucidaGrande;"><font face="Menlo" class=""> programming in the context of an industrial project or a</font></div><div class="" style="font-family: LucidaGrande;"><font face="Menlo" class=""> university curriculum </font></div><div class="" style="font-family: LucidaGrande;"><font face="Menlo" class=""> * curricular issues encountered when using declarative programming</font></div><div class="" style="font-family: LucidaGrande;"><font face="Menlo" class=""> in education </font></div><div class="" style="font-family: LucidaGrande;"><font face="Menlo" class=""> * real-world constraints that created special challenges for an</font></div><div class="" style="font-family: LucidaGrande;"><font face="Menlo" class=""> implementation of a declarative language or for declarative</font></div><div class="" style="font-family: LucidaGrande;"><font face="Menlo" class=""> programming in general</font></div><div class="" style="font-family: LucidaGrande;"><font face="Menlo" class=""> * novel use of declarative programming in the classroom </font></div><div class="" style="font-family: LucidaGrande;"><font face="Menlo" class=""> * programming pearl that illustrates a nifty new data structure or</font></div><div class="" style="font-family: LucidaGrande;"><font face="Menlo" class=""> programming technique.</font></div><div class="" style="font-family: LucidaGrande;"><font face="Menlo" class=""><br class=""></font></div><div class="" style="font-family: LucidaGrande;"><font face="Menlo" class="">SUBMISSION GUIDELINES:</font></div><div class="" style="font-family: LucidaGrande;"><font face="Menlo" class=""><br class=""></font></div><div class="" style="font-family: LucidaGrande;"><font face="Menlo" class="">Submissions must be formatted using ACM style files (latest release</font></div><div class="" style="font-family: LucidaGrande;"><font face="Menlo" class="">December 2016) using the instructions at </font></div><div class="" style="font-family: LucidaGrande;"><font face="Menlo" class=""><br class=""></font></div><div class="" style="font-family: LucidaGrande;"><font face="Menlo" class=""><a href="https://www.acm.org/publications/proceedings-template" class="">https://www.acm.org/publications/proceedings-template</a></font></div><div class="" style="font-family: LucidaGrande;"><font face="Menlo" class=""><br class=""></font></div><div class="" style="font-family: LucidaGrande;"><font face="Menlo" class="">To prepare your submission using LaTex:</font></div><div class="" style="font-family: LucidaGrande;"><font face="Menlo" class=""><br class=""></font></div><div class="" style="font-family: LucidaGrande;"><font face="Menlo" class=""> * Download acmart.zip from <a href="https://www.ctan.org/pkg/acmart" class="">https://www.ctan.org/pkg/acmart</a></font></div><div class="" style="font-family: LucidaGrande;"><font face="Menlo" class=""> * Unzip acmart.zip</font></div><div class="" style="font-family: LucidaGrande;"><font face="Menlo" class=""> * Run latex acmart.ins to produce an acmart.cls file</font></div><div class="" style="font-family: LucidaGrande;"><font face="Menlo" class=""> * Run pdflatex sample-sigconf.tex to check that your installation</font></div><div class="" style="font-family: LucidaGrande;"><font face="Menlo" class=""> works correctly</font></div><div class="" style="font-family: LucidaGrande;"><font face="Menlo" class=""> * Write your paper using sample-sigconf.tex as a template </font></div><div class="" style="font-family: LucidaGrande;"><font face="Menlo" class=""><br class=""></font></div><div class="" style="font-family: LucidaGrande;"><font face="Menlo" class="">Proofs of theoretical results that do not fit within the page limit,</font></div><div class="" style="font-family: LucidaGrande;"><font face="Menlo" class="">executables of systems, code of case studies, benchmarks used to</font></div><div class="" style="font-family: LucidaGrande;"><font face="Menlo" class="">evaluate a given system, etc., should be made available, via a reference to</font></div><div class="" style="font-family: LucidaGrande;"><font face="Menlo" class="">a website or in an appendix of the paper. Reviewers will be encouraged</font></div><div class="" style="font-family: LucidaGrande;"><font face="Menlo" class="">to consider this additional material, but are not obliged</font></div><div class="" style="font-family: LucidaGrande;"><font face="Menlo" class="">to. Submissions must be self-contained within the respective page</font></div><div class="" style="font-family: LucidaGrande;"><font face="Menlo" class="">limit; considering the additional material should not be necessary to</font></div><div class="" style="font-family: LucidaGrande;"><font face="Menlo" class="">assess the merits of a submission. </font></div><div class="" style="font-family: LucidaGrande;"><font face="Menlo" class=""><br class=""></font></div><div class="" style="font-family: LucidaGrande;"><font face="Menlo" class="">At least one author of each accepted submission will be expected to</font></div><div class="" style="font-family: LucidaGrande;"><font face="Menlo" class="">attend and present their paper at the conference. </font></div><div class="" style="font-family: LucidaGrande;"><font face="Menlo" class=""><br class=""></font></div><div class="" style="font-family: LucidaGrande;"><font face="Menlo" class="">Papers must be submitted via easychair. The submission site is at </font></div><div class="" style="font-family: LucidaGrande;"><font face="Menlo" class=""><br class=""></font></div><div class="" style="font-family: LucidaGrande;"><font face="Menlo" class=""> <a href="https://easychair.org/conferences/?conf=ppdp2017" class="">https://easychair.org/conferences/?conf=ppdp2017</a></font></div><div class="" style="font-family: LucidaGrande;"><font face="Menlo" class=""><br class=""></font></div><div class="" style="font-family: LucidaGrande;"><font face="Menlo" class="">PROCEEDING</font></div><div class="" style="font-family: LucidaGrande;"><font face="Menlo" class=""><br class=""></font></div><div class="" style="font-family: LucidaGrande;"><font face="Menlo" class="">Accepted papers will be published in the ACM International Conference</font></div><div class="" style="font-family: LucidaGrande;"><font face="Menlo" class="">Proceedings Series.</font></div><div class="" style="font-family: LucidaGrande;"><font face="Menlo" class=""><br class=""></font></div><div class="" style="font-family: LucidaGrande;"><font face="Menlo" class="">PROGRAM CHAIR</font></div><div class="" style="font-family: LucidaGrande;"><font face="Menlo" class=""><br class=""></font></div><div class="" style="font-family: LucidaGrande;"><font face="Menlo" class=""> Brigitte Pientka (McGill University)</font></div><div class="" style="font-family: LucidaGrande;"><font face="Menlo" class=""> </font></div><div class="" style="font-family: LucidaGrande;"><font face="Menlo" class="">PROGRAM COMMITTEE</font></div><div class="" style="font-family: LucidaGrande;"><font face="Menlo" class=""><br class=""></font></div><div class="" style="font-family: LucidaGrande;"><font face="Menlo" class=""> Andreas Abel (Gothenburg University)</font></div><div class="" style="font-family: LucidaGrande;"><font face="Menlo" class=""> Nadia Amin (EPFL)</font></div><div class="" style="font-family: LucidaGrande;"><font face="Menlo" class=""> Zena M. Ariola (University of Oregon)</font></div><div class="" style="font-family: LucidaGrande;"><font face="Menlo" class=""> Kenichi Asai (Ochanomizu University)</font></div><div class="" style="font-family: LucidaGrande;"><font face="Menlo" class=""> James Cheney (University of Edinburgh)</font></div><div class="" style="font-family: LucidaGrande;"><font face="Menlo" class=""> Mariangiola Dezani-Ciancaglini (University of Torino)</font></div><div class="" style="font-family: LucidaGrande;"><font face="Menlo" class=""> Santiago Escobar (Universitat Politècnica de València) </font></div><div class="" style="font-family: LucidaGrande;"><font face="Menlo" class=""> Amy Felty (University of Ottawa)</font></div><div class="" style="font-family: LucidaGrande;"><font face="Menlo" class=""> Thom Frühwirth (University of Ulm)</font></div><div class="" style="font-family: LucidaGrande;"><font face="Menlo" class=""> Patricia Johann (Appalachian State University)</font></div><div class="" style="font-family: LucidaGrande;"><font face="Menlo" class=""> Neel Krishnaswami (University of Cambridge)</font></div><div class="" style="font-family: LucidaGrande;"><font face="Menlo" class=""> Michaël Leuschel (Universität Düsseldorf)</font></div><div class="" style="font-family: LucidaGrande;"><font face="Menlo" class=""> Yanhong Annie Liu (Stony Brook University)</font></div><div class="" style="font-family: LucidaGrande;"><font face="Menlo" class=""> Andres Loeh (Well-Typed)</font></div><div class="" style="font-family: LucidaGrande;"><font face="Menlo" class=""> Vivek Nigam (Federal University of Paraiba / fortiss)</font></div><div class="" style="font-family: LucidaGrande;"><font face="Menlo" class=""> Naoki Nishida (Nagoya University)</font></div><div class="" style="font-family: LucidaGrande;"><font face="Menlo" class=""> Catuscia Palamidessi (INRIA)</font></div><div class="" style="font-family: LucidaGrande;"><font face="Menlo" class=""> Brigitte Pientka (McGill University) (PC Chair)</font></div><div class="" style="font-family: LucidaGrande;"><font face="Menlo" class=""> Ulrich Schoepp (Ludwig Maximilian University)</font></div><div class="" style="font-family: LucidaGrande;"><font face="Menlo" class=""> Chung-chieh Shan (Indiana University)</font></div><div class="" style="font-family: LucidaGrande;"><font face="Menlo" class=""> Bernardo Toninho (Imperial College London)</font></div><div class="" style="font-family: LucidaGrande;"><font face="Menlo" class=""><br class=""></font></div><div class="" style="font-family: LucidaGrande;"><font face="Menlo" class="">LOCAL ORGANIZER (joint with LOPSTR):</font></div><div class="" style="font-family: LucidaGrande;"><font face="Menlo" class=""><br class=""></font></div><div class="" style="font-family: LucidaGrande;"><font face="Menlo" class=""> Wim Vanhoof (University of Namur) </font></div><div class="" style="font-family: LucidaGrande;"><font face="Menlo" class=""><br class=""></font></div><div class="" style="font-family: LucidaGrande;"><font face="Menlo" class="">----------------------------------------------------------------------</font></div></body></html>