Email Gateway (Mar 21 2024 at 14:35): Email Gateway (Mar 21 2024 at 14:35):From: Alessandro Bruni <cl-isabelle-users@lists.cam.ac.uk>
The 26th International Symposium on
Principles and Practice of Declarative Programming
Part of FM 2024 and co-located with LOPSTR 2024, FACS 2024, FMICS
2024, and TAP 2024.
September 10-11, 2024, Milan, Italy
Important dates:
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 can be made in three categories:
The PPDP 2024 proceedings will published in the ACM Digital Library
within the ACM International Conference Proceedings Series.
Program Chairs
Alessandro Bruni, IT-University of Copenhagen, Denmark,
Alberto Momigliano, Università degli studi di Milano, Italy
Program Committee Members
Amy Felty University of Ottawa
Kaustuv Chaudhuri INRIA
Cristina Matache University of Edinburgh
Małgorzata Biernacka University of Wroclaw
Gabriele Vanoni Università di Bologna and INRIA Sophia Antipolis
Niccolò Veltri Tallinn University of Technology
Marco Gavanelli Università di Ferrara
Marino Miculan Università di Udine
Roberto Casadei Università di Bologna
Yannick Zakowski Inria
Carlos Olarte Université Sorbonne Paris Nord
Frank Pfenning Carnegie Mellon University
Anders Schlichtkrull Aalborg University
Paola Giannini Universita' del Piemonte Orientale
Wen Kokke University of Strathclyde
Paul Rowe The MITRE Corporation
Xuejing Huang University of Hong Kong
Last updated: Apr 29 2024 at 04:18 UTC