Tuesday 14 July

PPDP Registration - 08:15-08:45

Welcome to PPDP 2015 - 08:45-09:00
  Elvira Albert

Invited Talk - 9:00-10:00 Chair: Elvira Albert
  Patrick Cousot
  "Verification by Abstract Interpretation, Soundness and Abstract Induction"

Coffee Break - 10:00-10:30

Session on Functional Programming- 10:30-12:30 Chair: Germán Vidal

10:30-11:00
  Aggelos Giantsios, Nikolaos Papaspyrou and Konstantinos Sagonas
  "Concolic Testing for Functional Languages"

11:00-11:30
  Manfred Schmidt-Schauss and David Sabel	
  "Improvements in a Functional Core Language with Call-By-Need
  Operational Semantics"

11:30-12:00
  Exequiel Rivas, Mauro Jaskelioff and Tom Schrijvers	
  "From monoids to near-semirings: the essence of MonadPlus and
  Alternative"

12:00-12:30
  Christopher Meiklejohn and Peter Van Roy	
  "Lasp: A Language for Distributed, Coordination-Free Programming"

Lunch break - 12:30-14:00

Session on Logic 14:00-16:00 Chair: Dale Miller

14:00-14:30
  Paul Tarau	
  "On a Uniform Representation of Combinators, Arithmetic, Lambda
  Terms and Types"

14:30-15:00
  Panos Rondogiannis and Antonis Troumpoukis	
  "Expressing Preferences in Logic Programming using an Infinite-Valued Logic"

15:00-15:30
  Roman Bartak, Agostino Dovier and Neng-Fa Zhou	
  "On modeling planning problems in logic programming"

15:30-16:00
  Taus Brock-Nannestad, Nicolas Guenot and Daniel Gustafsson	
  "Computation in Focused Intuitionistic Logic"

Coffee Break - 16:00-16:30

Most influential PPDP'05 paper 16:30-17:30 Chair: Tom Schrijvers
  Louis Mandel and Marc Pouzet
 "ReactiveML, Ten Years Later" 

----------

Wednesday 15 July


Invited Talk - 9:00-10:00
  Dale Miller
  "Proof checking and logic programming"
 
Coffee Break - 10:00-10:30

Session on Analysis and Verification - 10:30-12:30 Chair: Patrick Cousot

10:30-11:00
  Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi and
  Maurizio Proietti	
  "Semantics-based generation of verification conditions by program
  specialization"

11:00-11:30
  Abeer Al-Humaimeedy and Maribel Fernandez	
  "Enhancing the Specification and Verification Techniques of
  Multiparty Sessions in SOC"

11:30-12:00
  Abel Garcia, Cosimo Laneve and Michael Lienhardt	
  "Static analysis of cloud elasticity"

12:00-12:30
  Thom Fruehwirth	
  "A Devil's Advocate against Termination of Direct Recursion"

12:30-13:00
 Chen Chen, Lay Kuan Loh, Limin Jia, Wenchao Zhou and Boon Thau Loo
  "Automated Verification of Safety Properties in Declarative
  Networking Programs"


Lunch break - 13:00-14:30

Excursion

----------

Thursday 16 July

Invited Talk - 9:00-10:00 Chair: Ricardo Peña
  Martin Hofmann
  "Automatic Amortized Analysis"

Coffee Break - 10:00-10:30

Session on Concurrency - 10:30-12:30 Chair: Fabio Fioravanti

10:30-11:00 
   Mauricio Cano, Hugo A. López, Jorge A. Pérez and Camilo Rueda	
  "Declarative Interpretations of Session-Based Concurrency"

11:00-11:30
  Quentin Stievenart, Jens Nicolay, Wolfgang De Meuter and Coen De
  Roover	 
  "Detecting Concurrency Bugs in Higher-Order Programs through
  Abstract Interpretation"

11:30-12:00
  Johan Grande, Gérard Boudol and Manuel Serrano	
  "Jthread, a deadlock-free mutex library"

12:00-12:30
  Stefan Haar, Salim Perchy, Camilo Rueda and Frank D. Valencia	
  "An Algebraic View of Space/Belief and Extrusion/Utterance for  
  Concurrency/Epistemic Logic"

Lunch break - 12:30-14:00

Session on Constraints  - 14:00-15:30

14:00-14:30
  Thierry Martinez, François Fages and Sylvain Soliman	
  "Search by Constraint Propagation"

14:30-15:00
  Rafael Caballero, Yolanda García-Ruiz and Fernando Saenz-Perez
  "Debugging of Wrong and Missing Answers for Datalog Programs with 
  Constraint Handling Rules"

15:00-15:30
  Daniel Gall and Thom Fruehwirth	
  "A Refined Operational Semantics for ACT-R"