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

Tentative Program

Tuesday

Time Authors Paper
09:00 - 10:30 Ningning Xie Keynote and LOPSTR/PPDP joint speaker: Safe and Easy Compile-Time Generative Programming
10:30 - 11:00   Coffee Break
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
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
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

Wednesday

Time Authors Paper
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
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
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
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

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:

Submission Categories

Submissions can be made in three categories:

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.

Image Description

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:

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

Image Description Image Description Image Description