ResearchBib Share Your Research, Maximize Your Social Impacts
Sign for Notice Everyday Sign up >> Login

PPDP 2017 - 19th International Symposium on Principles and Practice of Declarative Programming

Date2017-10-09 - 2017-10-12

Deadline2017-09-15

VenueNamur, Belgium Belgium

Keywords

Websitehttps://complogic.cs.mcgill.ca/ppdp2017

Topics/Call fo Papers

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.

Last modified: 2017-09-07 21:23:35