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.
|Abstract submission:||12 May 2017 through EasyChair|
|Paper submission:||19 May 2017 through EasyChair|
|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.
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
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|