Call for paper 〔OPEN〕

My submissions

Registration 〔OPEN〕

My tickets

〔CLOSED〕
Introduction

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.

Call for paper

Important date

2017-05-12
Abstract submission deadline
2017-05-19
Draft paper submission deadline
2017-07-20
Draft paper acceptance notification
2017-08-15
Final paper submission deadline

Submission Topics

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

Submit Comment
Verify Code Change Another
All Comments
Important Date
  • Conference Date

    Oct 09

    2017

    to

    Oct 12

    2017

  • May 12 2017

    Abstract Submission Deadline

  • May 19 2017

    Draft paper submission deadline

  • Jul 20 2017

    Draft Paper Acceptance Notification

  • Aug 15 2017

    Final Paper Deadline

  • Oct 12 2017

    Registration deadline