[TYPES/announce] PPDP 2024 - Final CFP

Alessandro Bruni brun at itu.dk
Mon Apr 29 09:07:55 EDT 2024


FINAL CFP:

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

https://urldefense.com/v3/__https://ppdp2024.github.io/__;!!IBzWLUs!X9FRsX24LuXZHRutHiSEIkz-fnINtvULvFdzQtKZxXpVF78o_hkYdtBLBa8gK9Z8s6RytvBydmkgvOZ2x3Tnu5cuEQ$ 

Important dates:

- Title and abstract registration: 06 May 2024 (AoE)
- Paper submission: 13 May 2024 (AoE)
- Rebuttal period (48 hours): 22-23 June 2024 (AoE)
- Author notification: 03 July 2024
- Final paper version: 24 July 2024

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:

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

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


The PPDP 2024 proceedings will published in the ACM Digital Library
within the ACM International Conference Proceedings Series. Note that
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.
-------------- next part --------------
A non-text attachment was scrubbed...
Name: brun.vcf
Type: text/vcard
Size: 205 bytes
Desc: not available
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20240429/bb88e021/attachment-0001.vcf>


More information about the Types-announce mailing list