ppdp 2012: 14th International ACM SIGPLAN Symposium on Association for Computing Machinery Principles and Practice of Declarative Programming 2012

September 19, 2012-September 21, 2012 in Leuven, Belgium

About the Conference

The 14th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming will take place in September 2012 in Leuven, Belgium.

PPDP 2012 is a forum that brings together researchers from the declaratrive programming communities, including those working in the logic, constraint and functional programming paradigms, but also embracing languages, database languages, and knowledge representation languages. The goal is to stimulate research in the use of logical formalisms and methods for specifying, performing, and analyzing computations, including mechanisms for mobility, modularity, concurrency, object-orientation, security, verification and static analysis. Papers related to the use of declarative paradigms and tools in industry and education are especially solicited. Topics of interest include, but are not limited to

  • Functional programming
  • Logic programming
  • Answer-set programming
  • Functional-logic programming
  • Declarative visual languages
  • Constraint Handling Rules
  • Parallel implementation and concurrency
  • Monads, type classes and dependent type systems
  • Declarative domain-specific languages
  • Termination, resource analysis and the verification of declarative programs
  • Transformation and partial evaluation of declarative languages
  • Language extensions for security and tabulation
  • Probabilistic modeling in a declarative language and modeling reactivity
  • Memory management and the implementation of declarative systems
  • Practical experiences and industrial application

This year the conference will be co-located with the 22st International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2012) and held in cooperation with ACM SIGPLAN.

The conference will be held in Leuven, Belgium Previous symposia were held at Odense (Denmark), Hagenberg (Austria), Coimbra (Portugal), Valencia (Spain), Wroclaw (Poland), Venice (Italy), Lisboa (Portugal), Verona (Italy), Uppsala (Sweden), Pittsburgh (USA), Florence (Italy), Montreal (Canada), and Paris (France). You might have a look at the contents of past PPDP symposia.

Conference Dates

Submissions: May 28, 2012
Notification: July 6, 2012
Event: September 19, 2012-September 21, 2012