Symposium Program

9:00 - 10:00: PPDP/LOPSTR Invited Talk

• Fritz Henglein. Dynamic Symbolic Computation for Domain-Specific Language Implementation

10:30 - 11:30: PPDP/LOPSTR Invited Talk (Chair: M. Hanus)

• Vitaly Lagoon. The Challenges of Constraint-Based Test Generation

11:30 - 12:30: Session 1: Verification and Specification (Chair: H. Kirchner)

• Felix Schernhammer and Jose Meseguer. Incremental Checking of Well-Founded Recursive Specifications Modulo Axioms
• Kazuhiro Inaba, Soichiro Hidaka, Zhenjiang Hu, Hiroyuki Kato and Keisuke Nakano. Graph-Transformation Verification using Monadic Second-Order Logic

Lunch and Excursion

9:00 - 10:00: Session 2: Declarative Languages (Chair: H. Kuchen)

• Georg Sauthoff, Stefan Janssen and Robert Giegerich. Bellman's GAP - A Declarative Language for Dynamic Programming
• Rafael Del Vado Vírseda and Fernando Pérez Morente. A Modular Semantics for Higher-Order Declarative Programming with Constraints

10:30 - 12:30: Session 3: Analysis (Chair: F. Henglein)

• Jan Christiansen and Daniel Seidel. Minimally Strict Polymorphic Functions
• Santiago Escobar, Deepak Kapur, Christopher Lynch, Catherine Meadows, Jose Meseguer, Paliath Narendran and Ralf Sasse. Protocol Analysis in Maude-NPA Using Unification Modulo Homomorphic Encryption
• Tony Bourdier and Horatiu Cirstea. Symbolic analysis of network security policies using rewrite systems
• Dario Colazzo and Carlo Sartiani. Precision and Complexity of XQuery Type Inference

14:00 - 15:00: Session 4: Concurrency (Chair: J. Meseguer)

• David Sabel and Manfred Schmidt-Schauss. A Contextual Semantics for Concurrent Haskell with Futures
• Jasmin Christian Blanchette, Tjark Weber, Mark Batty, Scott Owens, Susmit Sarkar. Nitpicking C++ Concurrency

15:30 - 16:30: Session 5: Logic Programming and Constraints (Chair: V. Lagoon)

• Vivek Nigam, Limin Jia, Boon Thau Loo and Andre Scedrov. Maintaining Distributed Logic Programs Incrementally
• Rémy Haemmerlé, Pedro Lòopez-Garcìa and Manuel V. Hermenegildo. CLP Projection for Constraint Handling Rules

9:00 - 10:00: PPDP Invited Talk (Chair: P. Schneider-Kamp)

• Andrey Rybalchenko. Towards Automatic Synthesis of Software Verification Tools

10:30 - 12:30: Session 6: Types and Lambda Calculus (S. Escobar)

• Malgorzata Biernacka, Dariusz Biernacki and Serguei Lenglet. Typing Control Operators in the CPS Hierarchy
• Bernardo Toninho, Luis Caires and Frank Pfenning. Dependent Session Types via Intuitionistic Linear Type Theory
• Sandra Alves, Maribel Fernandez, Mário Florido and Ian Mackie. Recursion in a linear typed lambda-calculus
• Nicolas Guenot. Nested Proof Search as Reduction in the lambda-calculus

Mon Jul 4 15:49:16 CEST 2011