PPDP 2019

21st International Symposium on Principles and Practice of Declarative Programming

7–9 October 2019 | Porto, Portugal | Collocated with FM'19


  • The Conference Schedule is now available: PPDP'19 Schedule
  • PPDP Social event: if you wish to attend PPDP'19 dinner on the 8th of October, please register here.
  • The PPDP Most Influential Paper 10-Year Award is given to Foundations of Session Types, by Giuseppe Castagna, Mariangiola Dezani-Ciancaglini, Elena Giachino, Luca Padovani, see the Schedule for their talk about this paper and its influence.
  • The list of accepted papers is now available!
  • PPDP'19 and FM'19 registration is now open.


The 21th International Symposium on Principles and Practice of Declarative Programming (PPDP'19) brings together researchers from the declarative programming communities, including those working in the functional, logic, answer-set and constraint-solving 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.

PPDP'19 will take place 7–9 October 2019 in Porto, Portugal. The symposium will be collocated with the Third World Congress on Formal Methods (FM'19) oragnised by Formal Methods Europe.

Submissions are invited on all topics related to declarative programming, from principles to practice, from foundations to applications. Topics of interest include, but are not limited to

  • Language Design: domain-specific languages; interoperability; concurrency, parallelism, and distribution; modules; probabilistic languages; reactive languages; database languages; knowledge representation languages; languages with objects; language extensions for tabulation; metaprogramming.
  • Implementations: abstract machines; interpreters; compilation; compile-time and run-time optimization; memory management.
  • Foundations: types; logical frameworks; monads and effects; semantics.
  • Analysis and Transformation: partial evaluation; abstract interpretation; control flow; data flow; information flow; termination analysis; resource analysis; type inference and type checking; verification; validation; debugging; testing.
  • Tools and Applications: programming and proof environments; verification tools; case studies in proof assistants or interactive theorem provers; certification; novel applications of declarative programming inside and outside of CS; declarative programming pearls; practical experience reports and industrial application; education.

PPDP 2019 will be held in Porto, Protugal. Previous symposia were held at Frankfurt am Main (Germany), Namur (Belgium), Edinburgh (UK), Siena (Italy), Canterbury (UK), Madrid (Spain), Leuven (Belgium), Odense (Denmark), Hagenberg (Austria), Coimbra (Portugal), Valencia (Spain), Wroclaw (Poland), Venice (Italy), Lisboa (Portugal), Verona (Italy), Uppsala (Sweden), Pittsburgh (USA), Florence (Italy), Montréal (Canada), and Paris (France).
They are indexed by the DBLP Computer Science Bibliography.

Important Dates

Title and abstract registration
04 May 2019 (AoE)
Paper submission
10 May 2019 (AoE)
Rebuttal period (48 hours)
10 June 2019 (AoE)
Author notification
20 June 2019
Final paper version
15 July 2019
7–9 October 2019


PC Chair
Ekaterina Komendantskaya
Heriot-Watt University
Local Chair
José Nuno Oliveira
INESC TEC & University of Minho

Invited Speakers

  • Amal Ahmed, Northeastern University, USA

    Title: Semantic Foundations for Gradual Typing

  • Mariangiola Dezani, The Department of Informatics, University of Torino

    Title: The PPDP Most Influential Paper 10-Year Award: Foundations of Session Types.

  • Naoki Kobayashi, The University of Tokyo, Japan

    Title: 10 Years of the Higher-Order Model Checking Project (joint with LOPSTR'19)

  • German Vidal, The  Polytechnic University of Valencia, Spain

    Title: Reversibilization in Functional and Concurrent Programming (joint with LOPSTR'19)

Full PPDP'19 Schedule is available here.

Accepted Papers and Schedule

  • Andreas Abel and Christian Sattler. Normalization by Evaluation for Call-by-Push-Value and Polarized Lambda-Calculus
  • Beniamino Accattoli, Andrea Condoluci, Giulio Guerrieri and Claudio Sacerdoti Coen. Crumbling Abstract Machines
  • Beniamino Accattoli, Andrea Condoluci and Claudio Sacerdoti Coen. Sharing Equality is Linear
  • Roberto Blanco, Dale Miller and Alberto Momigliano . Property-Based Testing via Proof Reconstruction
  • Christopher Brown, Adam Barwell, Yoann Marquer, Celine Minh and Olivier Zendra. Type-Driven Verification of Extra-Functional Properties
  • Horatiu Cirstea and Pierre-Etienne Moreau. Generic Encodings of Constructor Rewriting Systems
  • Guerric Chupin and Henrik Nilsson . Functional Reactive Programming, restated
  • Gian Pietro Farina, Stephen Chong and Marco Gaboardi. Relational Symbolic Execution
  • Ulysse Gerard, Dale Miller and Gabriel Scherer. Functional programming with lambda-tree syntax
  • Sergey Goncharov and Renato Neves. An Adequate While-Language for Hybrid Computation
  • Kentaro Kikuchi, Takahito Aoto and Isao Sasano. Inductive Theorem Proving in Non-terminating Rewriting Systems and Its Application to Program Transformation
  • Ben Lippmeier, Amos Robinson and Andrae Muys . Smart Contracts as Authorized Production Rules
  • Yanhong A. Liu, Saksham Chand and Scott Stoller. Moderately Complex Paxos Made Simple: High-Level Executable Specification of Distributed Consensus Algorithms
  • Phillip Mates, Jamie Perconti and Amal Ahmed . Under Control: Compositionally Correct Closure Conversion with Mutable State
  • Tim Steenvoorden, Nico Naus and Markus. Klinik TopHat: A formal foundation for task-oriented programming
  • Pierre Talbot. Spacetime Programming: A Synchronous Language for Composable Search Strategies
  • Peter Thiemann. Intrinsically-Typed Mechanized Semantics for Session Types
  • Nachiappan Valliappan and Alejandro Russo. Exponential Elimination for Bicartesian Closed Categorical Combinators
  • Steffen van Bakel . Exception Handling and Classical Logic

Program Committee

Call for Papers

The Call for Papers is available in a plain text version and via EasyChair.


Program Chair

Ekaterina Komendantskaya
School of Mathematical and Computer Sciences
Heriot-Watt University


Local Chair

José Nuno Oliveira
INESC TEC & University of Minho


In Cooperation with

PPDP 2019 is organised in cooperation with ACM and SIGPLAN.