Call For Papers

PPDP 2017 is a forum that 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 from principles to practice, from foundations to applications. Topics of interest include, but are not limited to

PPDP will be co-located with the 27th Int'l Symp. on Logic-Based Program Synthesis and Transformation (LOPSTR 2017).

Important Dates

Abstract submission: 12 May 2017
Paper submission: 19 May 2017
Rebuttal: 10 July 2017
Notification: 20 July 2017
Final version: 15 August 2017
Symposium: 9 - 11 October 2017

Submission Categories:

Submissions can be made in three categories: regular Research Papers, System Descriptions, and Experience Reports.

Submissions of Research Papers must present original research which is unpublished and not submitted elsewhere. They must not exceed 12 pages ACM style 2-column (including figures and bibliography). Work that already appeared in unpublished or informally published workshop proceedings may be submitted (please contact the PC chair in case of questions). Submissions of research papers will be judged on originality, significance, correctness, clarity, and readability.

Submission of System Descriptions must describe a working system whose description has not been published or submitted elsewhere. They must not exceed 10 pages and should contain a link to a working system. System Descriptions must be marked as such at the time of submission and will be judged on originality, significance, usefulness, clarity, and readability.

Submissions of Experience Reports are meant to help create a body of published, refereed, citable evidence where declarative programming such as functional, logic, answer-set, constraint programming, etc., is used in practice. They must not exceed 6 pages. Experience Reports must be marked as such at the time of submission and need not report original research results. They will be judged on significance, usefulness, clarity, and readability.

Possible topics for an Experience Report include, but are not limited to:

At least one author of each accepted submission will be expected to attend and present their paper at the conference.

Submission Guidelines:

Submissions must be formatted using ACM style files (latest release December 2016).

To prepare a submission using LaTex:

Proofs of theoretical results that do not fit within the page limit, executables of systems, code of case studies, benchmarks used to evaluate a given system, etc., should be made available, via a reference to a website or in an appendix of the paper. Reviewers will be encouraged to consider this additional material, but are not obliged to. Submissions must be self-contained within the respective page limit; considering the additional material should not be necessary to assess the merits of a submission.

Prooceedings

Accepted papers will be included in the proceedings, which will be published in the ACM International Conference Proceedings Series, available in the ACM Digital Library. Authors are encouraged to publish auxiliary material with their paper (technical appendixes, source code, scripts, test data, etc.).

Questions

If you have any questions, please contact the program chair Brigitte Pientka (bpientka@cs.mcgill.ca).

Program Chair

Program Committee