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