The 19th International Symposium on Principles and Practice of Declarative Programming

征稿已开启

已截稿

注册已开启

已截止

活动简介

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.

征稿信息

重要日期

2017-05-12

摘要截稿日期

2017-05-19

初稿截稿日期

2017-07-20

初稿录用日期

2017-08-15

终稿截稿日期

征稿范围

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

insights gained from real-world projects using declarative programming
comparison of declarative programming with conventional programming in the context of an industrial project or a university curriculum
curricular issues encountered when using declarative programming in education
real-world constraints that created special challenges for an implementation of a declarative language or for declarative programming in general
novel use of declarative programming in the classroom
programming pearl that illustrates a nifty new data structure or programming technique