The 26th International Symposium on Principles and Practice of Declarative Programming, PPDP 2024

Co-located with FM 2024, held 10-11 September 2024 at the Politecnico di Milano, Italy.

News

• Proceedings have been published in the ACM DL within the ACM International Conference Proceedings Series.
• The program has been finalized.
• Ningning Xie (University of Toronto and Google DeepMind) is our joint LOPSTR/PPDP (and FM keynote) speaker.
• The paper “On the Preciseness of Subtyping in Session Types” by Tzu-Chun Chen, Mariangiola Dezani-Ciancaglini and Nobuko Yoshida has been chosen by the Steering Committee to receive the “10 Year Most Influential Paper Award”. Mariangiola will give the related invited talk.

• Ilaria Castellani (INRIA) is PPDP’s invited speaker.

• Registration is still open. Go to the Registration page. For PPDP, we suggest the 2-days pass.

Program

All research talks are held in room 3.1.3

Tuesday

Time	Details
Session 1: Opening and Keynote (Room O. De Donato) Chair: Alberto Momigliano
09:00 - 10:20	Speaker: Ningning Xie Talk: Safe and Easy Compile-Time Generative Programming
10:20 - 11:00	Coffee Break
Session 2 (11:00 - 12:30) Chair: Tarmo Uustalu
11:00 - 11:30	Davide Fissore and Enrico Tassi Higher-Order unification for free!
11:30 - 12:00	José Espírito Santo and Filipa Mendes The logical essence of call-by-name CPS translations
12:00 - 12:30	Maribel Fernandez and Ian Mackie Hierarchical Higher-Order Port-Graphs: A Rewriting-Based Modelling Language
12:30 - 14:00	Lunch Break
Session 3 (14:00 - 15:30) Chair: Roberto Casadei
14:00 - 14:30	Zhengpu Shi and Gang Chen Formal Verification of Executable Matrix Inversion via Adjoint Matrix and Gaussian Elimination
14:30 - 15:00	Naoki Yamamoto and Kazunori Ueda Grammar-based Pattern Matching and Type Checking for Difference Data Structures
15:00 - 15:30	Luca Laboccetta, Elena Mastria, Francesco Calimeri, Nicola Leone, Simona Perri, and Giorgio Terracina Towards Effective ASP-based Stream Reasoning: Facilitate the Reasoning over Patterns of Events
15:30 - 16:00	Coffee Break
Session 4 (16:00 - 17:30) Chair: Carlos Olarte
16:00 - 16:30	Ian Kretz, Paul Rowe, Clare Parran, and John Ramsdell Evidence Tampering and Chain of Custody in Layered Attestations
16:30 - 17:00	Christian Skalka and Joseph Near Language-Based Security for Low-Level MPC
17:00 - 17:30	Cosimo Laneve Reachability Analysis in Micro-Stipula
19:00	FM24 RECEPTION BUFFET

Wednesday

Time	Details
Session 5 (09:00 - 10:30) Chair: Maribel Fernandez
09:00 - 09:30	Francisco Durán, Steven Eker, Santiago Escobar, Narciso Marti-Oliet, Jose Meseguer, Rubén Rubio, and Carolyn Talcott Programming Open Distributed Systems in Maude
09:30 - 10:00	Jaime Arias, Carlos Olarte, Wojciech Penczek, Laure Petrucci, and Teofil Sidoruk Model Checking and Synthesis for Strategic Timed CTL using Strategies in Rewriting Logic
10:00 - 10:30	Francisco Durán, Santiago Escobar, Jose Meseguer, and Julia Sapiña NuITP: An Inductive Theorem Prover for Equational Program Verification
10:30 - 11:00	Coffee Break
Session 6 (11:00 - 12:30) Chair: Mariangiola Dezani-Ciancaglini
11:00 - 12:00	Ilaria Castellani PPDP Invited Talk: A simple view of multiparty session types
12:00 - 12:30	Francesco Dagnino and Luca Padovani sMALL CaPS: An Infinitary Linear Logic for a Calculus of Pure Sessions
12:30 - 14:00	Lunch Break
Session 7 (14:00 - 15:30) Chair: Franco Barbanera
14:00 - 15:00	Mariangiola Dezani-Ciancaglini 10 Year Most Influential Paper Award: On the Preciseness of Subtyping in Session Types
15:00 - 15:30	Ugo Dal Lago and Luca Padovani On the Almost-Sure Termination of Binary Sessions
15:30 - 16:00	Coffee Break
Session 8 (16:00 - 17:30) Chair: Luca Padovani
16:00 - 16:30	Franco Barbanera, Mariangiola Dezani-Ciancaglini, and Ugo de’Liguoro Un-projectable Global Types for Multiparty Sessions
16:30 - 17:00	Exequiel Rivas and Tarmo Uustalu Concurrent Monads for Shared State
17:00 - 17:30	Roberto Casadei and Mirko Viroli Declarative Macro-Programming of Collective Systems with Aggregate Computing: An Experience Report
17:30	Closing

Scope

The PPDP 2024 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.

Submissions are invited on all topics related to declarative programming, from principles to practice, from foundations to applications. Topics of interest include, but are not limited to:

• Language Design: domain-specific languages; interoperability; concurrency, parallelism and distribution; modules; functional languages; reactive languages; languages with objects; languages for quantum computing; languages inspired by biological and chemical computation; metaprogramming.

• Declarative languages in artificial intelligence: logic programming; database languages; knowledge representation languages; probabilistic languages; differentiable languages.

• Implementations: abstract machines; interpreters; compilation; compile-time and run-time optimization; memory management.

• Foundations: types; logical frameworks; monads and 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. PPDP will take place 10-11 September 2024 at the Politecnico di Milano, Italy, co-located with the 34th Int’l Symp. on Logic-Based Program Synthesis and Transformation (LOPSTR 2024) within the umbrella of FM 2024

Submission Categories

Submissions can be made in three categories:

• Regular Research Papers,
• System Descriptions, and
• Experience Reports.

Proceedings

The PPDP 2024 proceedings, ISBN 9-8-4007-0969-297, will be published in the ACM Digital Library within the ACM International Conference Proceedings Series.

Important note to authors about the new ACM open access publishing model

ACM has introduced a new open access publishing model for the International Conference Proceedings Series (ICPS). Authors based at institutions that are not yet part of the ACM Open program and do not qualify for a waiver will be required to pay an article processing charge (APC) to publish their ICPS article in the ACM Digital Library. To determine whether or not an APC will be applicable to your article, please follow the detailed guidance here.

Further information may be found on the ACM website, as follows:

• Full details of the new ICPS publishing model
• Full details of the ACM Open program. Please direct all questions about the new model here.

Format of a submission

For each paper category, you must use the most recent version of the Current ACM Master Template, at the time of writing being 2.08. You must use the LaTeX sigconf proceedings template, as the conference organizers are unable to process final submissions in other formats. In case of problems with the templates, contact ACM’s TeX support team at Aptara.

Authors should note ACM’s statement on author’s rights which apply to final papers. Submitted papers should meet the requirements of ACM’s plagiarism policy.

Requirements for publication

At least one author of each accepted submission will be expected to attend and present the work at the conference. The PC chair may retract a paper that is not presented. The PC chair may also retract a paper if complaints about the paper’s correctness are raised which cannot be resolved by the final paper deadline.

Important dates

Title and abstract registration: 06 May 2024 15 May 2024 (AoE)

Paper submission: 13 May 2024 22 May 2024 (AoE)

Rebuttal period (48 hours): 22-23 June 2024 28-29 June 2024 (AoE)

Author notification: 3 July 2024 5 July 2024

Final paper version: 24 July 2024

Conference: 10-11 Sept 2024

Organization

Program committee chairs: Alessandro Bruni (IT-University of Copenhagen), Alberto Momigliano (Università degli Studi di Milano)

General chairs: Matteo Pradella & Matteo Rossi (Politecnico di Milano)

Steering committee chair: James Cheney (Edinburgh University)

Program committee

• Małgorzata Biernacka, University of Wroclaw
• Roberto Casadei, University of Bologna
• Kaustuv Chaudhuri, INRIA
• Amy Felty, University of Ottawa
• Marco Gavanelli, University of Ferrara
• Paola Giannini, Universita’ del Piemonte Orientale
• Wen Kokke, University of Strathclyde
• Cristina Matache, University of Edinburgh
• Marino Miculan, University of Udine
• Carlos Olarte, Université Sorbonne Paris Nord
• Frank Pfenning, Carnegie Mellon University
• Paul Rowe, Two Six Technologies
• Anders Schlichtkrull, Aalborg University
• Gabriele Vanoni, Università di Bologna and INRIA Sophia Antipolis
• Niccolò Veltri, Tallinn University of Technology
• Yannick Zakowski, INRIA
• Xuejing Huang, University of Hong Kong