Home Categories About Call for Papers

PPDP 2020 : International Symposium on Principles and Practice of Declarative Programming

Bologna, Italy

Event Date:	September 08, 2020 - September 10, 2020
Abstract Submission Deadline:	May 11, 2020
Submission Deadline:	May 15, 2020
Notification of Acceptance:	July 03, 2020
Camera Ready Version Due:	July 24, 2020

About

The 22nd International Symposium on Principles and Practice of Declarative Programming will take place 8-10 September 2020 in Bologna, Italy.

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

Call for Papers

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.

Summary

PPDP 2020 : International Symposium on Principles and Practice of Declarative Programming will take place in Bologna, Italy. It’s a 3 days event starting on Sep 08, 2020 (Tuesday) and will be winded up on Sep 10, 2020 (Thursday).

PPDP 2020 falls under the following areas: REGULAR RESEARCH PAPERS, SYSTEM DESCRIPTIONS, EXPERIENCE REPORTS, etc. Submissions for this Symposium can be made by May 15, 2020. Authors can expect the result of submission by Jul 03, 2020. Upon acceptance, authors should submit the final version of the manuscript on or before Jul 24, 2020 to the official website of the Symposium.

Please check the official event website for possible changes before you make any travelling arrangements. Generally, events are strict with their deadlines. It is advisable to check the official website for all the deadlines.

Other Details of the PPDP 2020

Short Name: PPDP 2020
Full Name: International Symposium on Principles and Practice of Declarative Programming
Timing: 09:00 AM-06:00 PM (expected)
Fees: Check the official website of PPDP 2020
Event Type: Symposium
Website Link: http://www.cse.chalmers.se/~abela/ppdp20/
Location/Address: Bologna, Italy

Credits and Sources

[1] PPDP 2020 : International Symposium on Principles and Practice of Declarative Programming