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
|
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
|
Credits and Sources |
[1] PPDP 2020 : International Symposium on Principles and Practice of Declarative Programming |