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"