The PPDP 2024 symposium brings together researchers from thedeclarative 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.

Submission Guidelines

All papers must be original and not simultaneously submitted to another journal or conference. The following paper categories are welcome:

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

Committees

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, The MITRE Corporation

• 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

Chairs

• Alessandro Bruni
• Alberto Momigliano

Contact

All questions about submissions should be emailed to the chairs