PPDP’06 Program 

Monday  10 July

 

9:15 –  9:30

Conference Opening

9:30 – 10:00

Design Patterns 

 

Combining Fuzzy Logic and Behavioral Similarity for Non-Strict Program Validation

Coen De Roover, Johan Brichau and Theo D'Hondt

10:00 – 10:30

Coffee Break

10:30 – 12:30

Net Technologies 

 

 

 

 

Type-Oriented Construction of Web User Interfaces

Michael Hanus

An Abductive Framework for A-Priori Verification of Web Services

Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello and Marco Montali

An Efficient Algorithm for XML Type Projection

Dario Colazzo and Carlo Sartiani

BASS: Boxed Ambients with Safe Sessions

Adriana Compagnoni, Mariangiola Dezani-Ciancaglini and Pablo Garralda

12.30 14:30

Lunch

14:30 – 16:00

Invited Talk 

 

Vladimiro Sassone:
Typed polyadic pi-calculus in bigraphs

16:00 – 16:30

Coffee Break

16:30 – 18:00

Types 

 

 

 

Type Inference for Spreadsheets

Robin Abraham and Martin Erwig

Polymorphic Algebraic Data Type Reconstruction

Tom Schrijvers and Maurice Bruynooghe

Extracting Programs from Type Class Proofs

Martin Sulzmann

 

Tuesday  11 July

 

9:00 – 10:00

Invited Tutorial 

 

Thom Frühwirth: 
Constraint Handling Rules - The Story So Far

10:00 – 10:30

Coffee Break

10:30 – 12:30

Language Issues 

 

 

 

 

Rewriting Term-Graphs with Priority

Rachid Echahed, Ricardo Caferra and Nicolas Peltier

Computing constructor forms with non terminating rewrite programs

Isabelle Gnaedig and Helene Kirchner

Open data types and open functions

Andres Löh and Ralf Hinze

Inferring Dynamic Credentials for Rôle-based Trust Management

Daniele Gorla, Matthew Hennessy and Vladimiro Sassone

12.30 14:30

Lunch

14:30 – 16:00

Analysis and Debugging 

 

 

 

Combining Algorithmic Debugging and Program Slicing

Josep Silva and Olaf Chitil

Practical Subtype Inference Based on Success Typings

Tobias Lindahl and Konstantinos Sagonas

Collection analysis for Horn clause programs

Dale Miller

16:00 – 16:30

Coffee Break

16:30 – 18:00

Meta-level Reasoning 

 

 

 

One-and-a-halfth-order logic

Murdoch Gabbay and Aad Mathijssen

A Modal Type System for Multi-Level Generating Extensions with Persistent Code

Yosihiro Yuse and Atsushi Igarashi

A Historic Functional and Object-Oriented Calculus

Maribel Fernandez and Fabien Fleutot

 

Wednesday  12 July

 

9:00 – 10:00

Invited Talk 

 

Simon Peyton Jones:
Composable memory transactions

10:00 – 10:30

Coffee Break

10:30 – 12:30

Compilation 

 

 

 

 

Condate: A Proto-language at the Confluence Between Checking and Compiling

Nic Volanschi

Compiling ML Polymorphism with Explicit Layout Bitmap

Huu-Duc Nguyen and Atsushi Ohori

A Type System Equivalent to Static Single Assignment

Yutaka Matsuno and Atsushi Ohori

Poly-Controlled Partial Deduction

Germán Puebla and Claudio Ochoa

12:30

Close