PPDP Conference Programme

Venue: Online via Zoom.

Tuesday 8 September 2020, CEST times (UTC+2)

10:45-11:00 Opening: welcome message by the PC Chairs

11:00-12:00 Session 1: Practice of Declarative Programming (chair: David Sabel)
11:00
Gonzague Yernaux, Wim Vanhoof and Laurent Schumacher.
Experience Report: Moulinog: A Generator of Random Student Assignments Written in Prolog
11:30
Beidi Li, Jochen Teizer and Carl Schultz.
Non-monotonic Spatial Reasoning for Safety Analysis in Construction
12:00-12:30 Session 2: Category theory and semantics (chair: David Sabel)
12:00
Dylan McDermott, Maciej Piróg and Tarmo Uustalu.
Degrading lists
12:30-13:30 BOPL Lunch Break
13:30-15:00 Session 3: Applications (chair: Peter Thiemann)
13:30
Abhiroop Sarkar and Mary Sheeran.
Hailstorm: A Statically-Typed, Purely Functional Language for IoT Applications
14:00
Mallku Soldevila, Beta Ziliani and Daniel Fridlender.
Understanding Lua's Garbage Collection - Towards a Formalized Static Analyzer
14:30
Alasdair Hill, Ekaterina Komendantskaya and Ronald Petrick.
Proof-Carrying Plan Logic: a Resource Logic for AI Planning
15:00-15:30 BOPL Coffee Break
15:30-16:30 Session 4: BOPL Invited Talk (chair: Maurizio Gabbriellli)
15:30
José Meseguer
Symbolic Computation in Maude: Some Tapas
16:30-17:00 BOPL Tea Break

Wednesday 9 September 2020, CEST times (UTC+2)

11:00-12:00 Session 5: 10-Year Most Influential Paper Award Talk (chair: Andreas Abel)
11:00
Franco Barbanera and Ugo de'Liguoro.
Two notions of sub-behaviour for session-based client/server systems: 10 years later
12:30-14:00 BOPL Lunch Break
14:00-15:00 Session 6: Process calculi (chair: Ugo Dal Lago)
14:00
Ankush Das and Frank Pfenning.
Verified Linear Session-Typed Concurrent Programming
14:30
Luca Ciccone and Luca Padovani.
A Dependently Typed Linear π-Calculus in Agda
15:00-15:30 BOPL Coffee Break
15:30-16:30 Session 7: PPDP/LOPSTR Invited Talk (chair: Maribel Fernandez)
15:30
Ekaterina Komendantskaya
Continuous Verification of AI: a Declarative Programming Approach

Thursday 10 September 2020, CEST times (UTC+2)

11:00-12:30 Session 8: Rewriting and Lambda Calculi (chair: German Vidal)
11:00
Maja Kirkeby and Robert Glück.
Inversion Framework: Reasoning about Inversion by Conditional Term Rewriting System
11:30
Maribel Fernandez and Janos Varga.
Finding Candidate Keys and 3NF via Strategic Port Graph Rewriting
12:00
Beniamino Accattoli, Ugo Dal Lago and Gabriele Vanoni.
The Machinery of Interaction
12:30-14:00 BOPL Lunch Break
14:00-15:00 Session 9: PPDP Invited Talk (chair: James Cheney)
14:00
Dimitrios Vytiniotis
Declarative abstractions for tensor program partitioning
15:00-15:30 BOPL Coffee Break
15:30-16:30 Session 10: Lambda calculi and Rewriting (chair: Ekaterina Komendantskaya)
15:30
Pablo Barenbaum and Eduardo Bonelli.
Rewrites as Terms through Justification Logic
16:00
Paul Downen and Zena M. Ariola.
A Computational Understanding of Classical (Co)Recursion
16:30 Closing