<html><head><meta http-equiv="content-type" content="text/html; charset=utf-8"></head><body style="overflow-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;">** Apologies for multiple postings **<br><div><font color="#5856d6"><span style="caret-color: rgb(88, 86, 214);"><br></span></font>=========================<br>PPDP 2023 Call for Participation<br>=========================<br><font color="#5856d6"><span style="caret-color: rgb(88, 86, 214);"><br></span></font>25th International Symposium on<br>Principles and Practice of Declarative Programming<br><font color="#5856d6"><span style="caret-color: rgb(88, 86, 214);"><br></span></font>22-23 October 2023, Cascais, Lisbon, Portugal<br><font color="#5856d6"><span style="caret-color: rgb(88, 86, 214);"><br></span></font>https://ppdp2023.webs.upv.es<br>Part of SPLASH 2023 and co-located with LOPSTR 2023 <br><font color="#5856d6"><span style="caret-color: rgb(88, 86, 214);"><br></span></font>===================================<br>News<br><font color="#5856d6"><span style="caret-color: rgb(88, 86, 214);"><br></span></font>- Program is available.<br>- Registration is open (Early bird September 22nd)<br>- Invited speakers announced.<br>- The list of accepted papers is available.<br><font color="#5856d6"><span style="caret-color: rgb(88, 86, 214);"><br></span></font>===================================<br><font color="#5856d6"><span style="caret-color: rgb(88, 86, 214);"><br></span></font>About PPDP<br>----------<br><font color="#5856d6"><span style="caret-color: rgb(88, 86, 214);"><br></span></font>The PPDP symposium brings together researchers from the declarative programming communities, including those working in the functional, logic, answer-set, and constraint handling programming paradigms. The goal is to stimulate research in the use of logical formalisms and methods for analyzing, performing, specifying, and reasoning about computations, including mechanisms for concurrency, security, static analysis, and verification.<br><font color="#5856d6"><span style="caret-color: rgb(88, 86, 214);"><br></span></font>Invited Speakers<br>----------<br><font color="#5856d6"><span style="caret-color: rgb(88, 86, 214);"><br></span></font>Delia Kesner, Université Paris Cité (IRIF), France <br>Embedding Quantitative Properties of Call-by-Name and Call-by-Value in a Unified Framework. <br><font color="#5856d6"><span style="caret-color: rgb(88, 86, 214);"><br></span></font>Maribel Fernández, King's College London, UK (joint with LOPSTR and sponsored by ALP) <br>Unification modulo equational theories in languages with binding operators. <br><font color="#5856d6"><span style="caret-color: rgb(88, 86, 214);"><br></span></font>10-Year Most Influential Paper<br>----------<br><font color="#5856d6"><span style="caret-color: rgb(88, 86, 214);"><br></span></font>Andrew Kennedy, Nick Benton, Jonas B. Jensen, and Pierre-Evariste Dagand<br>Coq: the world's best macro assembler?<br><font color="#5856d6"><span style="caret-color: rgb(88, 86, 214);"><br></span></font>Accepted papers<br>----------<br>- Steffen van Bakel, Nicolas Wu and Emma Tye. A Calculus of Delayed Reductions.<br>- Franco Barbanera, Mariangiola Dezani-Ciancaglini, Lorenzo Gheri and Nobuko Yoshida. Multicompatibility for Multiparty-Session Composition.<br>- Joseph Paulus, Daniele Nantes-Sobrinho and Jorge A. Pérez. Termination in Concurrency, Revisited.<br>- Kazuki Ikemori, Youyou Cong and Hidehiko Masuhara. Typed Equivalence of Labeled Effect Handlers and Labeled Delimited Control Operators.<br>- Xiangyu Guo, James Smith and Ajay Bansal. stablekanren: Integrating Stable Model Semantics with miniKanren.<br>- Gautier Raimondi, Frédéric Besson and Thomas Jensen. Type-directed Program Transformation for Constant-Time Enforcement.<br>- Eduardo Geraldo, João Costa Seco and Thomas Hildebrandt. Data-Dependent Confidentiality in DCR Graphs.<br>- Wilmer Ricciotti. Comprehending queries over finite maps.<br>- Luiz de Sá, Bernardo Toninho and Frank Pfenning. Intuitionistic Metric Temporal Logic.<br>- Zachary J. Sullivan, Paul Downen and Zena M. Ariola. Closure Conversion in Little Pieces.<br>- Pieter Koopman and Mart Lubbers. Strongly-Typed Multi-View Stack-Based Computations.<br>- Hannes Saffrich and Peter Thiemann. Polymorphic Typestate for Session Types.<br>- Silvio Capobianco and Tarmo Uustalu. Additive Cellular Automata Graded-Monadically.<br><font color="#5856d6"><span style="caret-color: rgb(88, 86, 214);"><br></span></font>Program Committee<br>------------------<br><font color="#5856d6"><span style="caret-color: rgb(88, 86, 214);"><br></span></font>Salvador Abreu, NOVA LINCS / University of Evora, Portugal<br>Beniamino Accattoli, Inria & LIX, École Polytechnique, France<br>Maria Paola Bonacina, Università degli Studi di Verona, Italy<br>Mário Florido, Universidade do Porto, Portugal<br>Silvia Ghilezan, University of Novi Sad and SANU, Serbia<br>Michael Hanus, University of Kiel, Germany<br>Ekaterina Komendantskaya, Heriot-Watt University, UK<br>Ugo de'Liguoro, Università di Torino, Italy<br>Alberto Lluch Lafuente, Technical University of Denmark, Denmark<br>Georg Moser, University of Innsbruck, Austria<br>Daniele Nantes-Sobrinho, University of Brasília, Brazil<br>Vivek Nigam, Huawei Technologies Düsseldorf GmbH, Germany<br>Kazuhiro Ogata, Japan Advanced Institute of Science and Technology (JAIST), Japan<br>Carlos Olarte, LIPN, Université Sorbonne Paris Nord, France<br>Giselle Reis, Carnegie Mellon University, Qatar<br>Adrián Riesco, Universidad Complutense de Madrid, Spain<br>Julia Sapiña, Universitat Politècnica de València, Spain<br><font color="#5856d6"><span style="caret-color: rgb(88, 86, 214);"><br></span></font>------------------------------------------------------------------<br>Program committee chair: Santiago Escobar, Universitat Politecnica de Valencia, Spain<br>Steering committee chair: James Cheney, Edinburgh University, UK<br>------------------------------------------------------------------</div></body></html>