<html><head><meta http-equiv="Content-Type" content="text/html; charset=utf-8"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class=""><div dir="auto" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class="">===========================<br class="">PPDP 2021 Deadline extension <br class="">===========================<br class=""><br class="">23rd International Symposium on<br class="">Principles and Practice of Declarative Programming<br class=""><br class="">6–8 September 2021, Tallinn, Estonia<br class=""><br class=""><a href="http://imft.ftn.uns.ac.rs/PPDP2021" class="">http://imft.ftn.uns.ac.rs/PPDP2021</a><br class=""><br class="">Collocated with LOPSTR 2021<br class=""><br class=""><a href="http://cs.ioc.ee/ppdp-lopstr21/" class="">http://cs.ioc.ee/ppdp-lopstr21/</a><br class=""><br class="">===================================<div class="">*** PPDP 2021 will be held as a hybrid meeting, both in-person and virtual***</div><div class=""><div class=""><br class="">Important Dates<br class="">---------------------<br class=""><br class="">- ***18.05.2021 title and abstract submission (extended)<br class="">- ***25.05.2021 paper submission (extended) <br class="">- 29.06.2021 rebuttal period (48 hours)<br class="">- 09.07.2021 notification <br class="">- 23.07.2021 final paper <br class="">- 06.09.2021 conference starts <br class=""><br class="">About PPDP<br class="">----------<br class=""><br class="">The PPDP 2021 symposium brings together researchers from the<br class="">declarative programming communities, including those working in the<br class="">functional, logic, answer-set, and constraint handling programming<br class="">paradigms. The goal is to stimulate research in the use of logical<br class="">formalisms and methods for analyzing, performing, specifying, and<br class="">reasoning about computations, including mechanisms for concurrency,<br class="">security, static analysis, and verification.<br class=""><br class="">Scope<br class="">-----<br class=""><br class="">Submissions are invited on all topics related to declarative programming,<br class="">from principles to practice, from foundations to applications. <br class="">Topics of interest include, but are not limited to<br class=""><br class="">- Language Design: domain-specific languages; interoperability;<br class=""> concurrency, parallelism and distribution; modules; functional<br class=""> languages; reactive languages; languages with objects; languages for<br class=""> quantum computing; languages inspired by biological and chemical<br class=""> computation; metaprogramming.<br class=""><br class="">- Declarative languages in artificial intelligence: logic programming;<br class=""> database languages; knowledge representation languages;<br class=""> probabilistic languages; differentiable languages.<br class=""><br class="">- Implementations: abstract machines; interpreters; compilation;<br class=""> compile-time and run-time optimization; memory management.<br class=""><br class="">- Foundations: types; logical frameworks; monads and effects; semantics.<br class=""><br class="">- Analysis and Transformation: partial evaluation; abstract interpretation;<br class=""> control flow; data flow; information flow; termination analysis; resource<br class=""> analysis; type inference and type checking; verification; validation;<br class=""> debugging; testing.<br class=""><br class="">- Tools and Applications: programming and proof environments;<br class=""> verification tools; case studies in proof assistants or interactive<br class=""> theorem provers; certification; novel applications of declarative<br class=""> programming inside and outside of CS; declarative programming<br class=""> pearls; practical experience reports and industrial application;<br class=""> education.<br class=""><br class="">The PC chair will be happy to advise on the appropriateness of a topic.<br class=""><br class="">Submission web page<br class="">---------------------<br class=""><br class=""><a href="https://easychair.org/conferences/?conf=ppdp2021" class="">https://easychair.org/conferences/?conf=ppdp2021</a><br class=""><br class=""><br class="">Submission Categories<br class="">---------------------<br class=""><br class="">Submissions can be made in three categories:<br class=""><br class="">- Research Papers,<br class="">- System Descriptions,<br class="">- Experience Reports.<br class=""><br class="">Submissions of Research Papers must present original research which is<br class="">unpublished and not submitted elsewhere. They must not exceed 12 pages<br class="">ACM style 2-column (including figures, but excluding bibliography).<br class="">Work that already appeared in unpublished or informally<br class="">published workshop proceedings may be submitted (please contact the PC<br class="">chair in case of questions). Research papers will be judged on<br class="">originality, significance, correctness, clarity, and readability.<br class=""><br class="">Submission of System Descriptions must describe a working system whose<br class="">description has not been published or submitted elsewhere. They must not exceed<br class="">10 pages and should contain a link to a working system. System Descriptions must<br class="">be marked as such at the time of submission and will be judged on originality,<br class="">significance, usefulness, clarity, and readability.<br class=""><br class="">Submissions of Experience Reports are meant to help create a body of published,<br class="">refereed, citable evidence where declarative programming such as functional,<br class="">logic, answer-set, constraint programming, etc., is used in practice. They must<br class="">not exceed 5 pages **including references**. Experience Reports must be marked<br class="">as such at the time of submission and need not report original research results.<br class="">They will be judged on significance, usefulness, clarity, and readability.<br class=""><br class="">Supplementary material may be provided via a link to an extended<br class="">version of the submission (recommended), or in a clearly marked appendix<br class="">beyond the above-mentioned page limits. Reviewers are not required to<br class="">study extended versions or any material beyond the respective page<br class="">limit.<br class=""><br class="">Formating Guidelines<br class="">----------------------------<br class=""><br class="">We plan to use the same publication arrangements as PPDP has had in previous years.<br class=""><br class="">For each paper category, you must use the most recent version of the "Current<br class="">ACM Master Template" which is available at<br class=""><<a href="https://www.acm.org/publications/proceedings-template" class="">https://www.acm.org/publications/proceedings-template</a>>. The most recent version<br class="">at the time of writing is 1.75. You must use the LaTeX sigconf proceedings<br class="">template as the conference organizers are unable to process final submissions in<br class="">other formats. In case of problems with the templates, contact ACM's TeX support<br class="">team at Aptara <<a href="mailto:acmtexsupport@aptaracorp.com" class="">acmtexsupport@aptaracorp.com</a>>.<br class=""><br class="">Authors should note ACM's statement on author's rights (<a href="http://authors.acm.org/" class="">http://authors.acm.org/</a>)<br class="">which apply to final papers. Submitted papers should meet the requirements of<br class="">ACM's plagiarism policy<br class="">(<a href="http://www.acm.org/publications/policies/plagiarism_policy" class="">http://www.acm.org/publications/policies/plagiarism_policy</a>).<br class=""><br class="">Requirements for Publication<br class="">----------------------------<br class=""><br class="">At least one author of each accepted submission will be expected to<br class="">attend and present the work at the conference. The PC chair may retract<br class="">a paper that is not presented. The PC chair may also retract a paper if<br class="">complaints about the paper's correctness are raised which cannot be<br class="">resolved by the final paper deadline.<br class=""><br class=""><br class="">Program Committee<br class="">-----------------------------<br class=""><br class="">Zena Ariola, University of Oregon, USA<br class="">Nick Benton, Facebook, UK<br class="">Małgorzata Biernacka, University of Wroclaw, Poland<br class="">James Cheney, The University of Edinburgh, UK<br class="">Stefania Dumbrava, ENSIIE Paris-Evry, France<br class="">Silvia Ghilezan, University of Novi Sad & Mathematical Institute SASA, Serbia <br class="">Hugo Herbelin, INRIA, France<br class="">Cosimo Laneve, University of Bologna, Italy<br class="">Pierre Lescanne, ENS de Lyon, France<br class="">Ugo de’Liguoro, University of Torino, Italy<br class="">Francesca A. Lisi, University of Bari, Italy<br class="">Yanhong Annie Liu, Stony Brook University, USA<br class="">Elaine Pimentel, Federal University of Rio Grande do Norte, Brazil<br class="">Yukiyoshi Kameyama, University of Tsukuba, Japan<br class="">Petar Maksimović, Imperial College, London, UK<br class="">Yutaka Nagashima, Yale-NUS College, Singapore & University of Innsbruck, Austria<br class="">Aleksandar Nanevski, IMDEA Software Institute, Spain<br class="">Vivek Nigam, fortiss GmbH, Germany & Federal University of Paraíba, Brazil<br class="">Jorge A. Pérez, University of Groningen, The Netherlands<br class="">Sanjiva Prasad, Indian Institute of Technology Delhi, India<br class="">Alexis Saurin, CNRS, Université de Paris & INRIA , France<br class="">Tom Schrijvers , KU Leuven, The Netherlands<br class="">Paul Tarau, University of North Texas, USA<br class="">Tarmo Uustalu, Reykjavik University, Island & Tallinn University of Technology, Estonia<br class=""><br class="">------------------------- -------------------- ---------------------<br class="">Program committee co-chair: Nick Benton, Facebook, UK<br class="">Program committee co-chair: Silvia Ghilezan, University of Novi Sad & Mathematical Institute SASA, Serbia<br class="">Organising committee chair: Niccolò Veltri, Tallinn University of Technology, Estonia<br class="">Steering committee chair: James Cheney, Edinburgh University, UK<br class="">------------------------- -------------------- ---------------------<br class=""><br class="">All questions about submissions should be emailed to the program chair Silvia Ghilezan <<a href="mailto:gsilvia@uns.ac.rs" class="">gsilvia@uns.ac.rs</a>>.<br class="">All questions about local information should be emailed to the local organiser Niccolò Veltri <<a href="mailto:niccolo@cs.ioc.ee" class="">niccolo@cs.ioc.ee</a>>.</div></div></div><br class=""><br class=""></body></html>