Overview

The 19th International Symposium on Principles and Practice of Declarative Programming will take place 9 - 12 October 2017 in Namur, Belgim

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 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.

Important Dates

Abstract submission: 12 May 2017 through EasyChair (not mandatory)
Paper submission: 26 May 2017 through EasyChair (revised)
Rebuttal: 10 July 2017
Notification: 20 July 2017
Final version: 15 August 2017
Symposium: 9 - 11 October 2017

For more information, in particular Submission Guidelines, see the call for papers.

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.).

In Cooperation with ACM

ACM SIGPLAN

Travel and Local Information

PPDP'2017 will take place in Namur, Belgium. For registration, accommodation, and travel information, check local travel information.

Local Organizer: Wim Vanhoof, Faculté d'Informatique, Université de Namur, Namur, Belgium
Email: wim.vanhoof@unamur.be