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