| 08:55 to 09:00: | OPENING |
| 09:00 to 10:00: | INVITED SPEAKER (Session Chair: Joe Wells) |
| Intersection Types and Properties of Lambda Terms
(Abstract)
Mariangiola Dezani-Ciancaglini (Università di Torino, Italy) | |
| 10:00 to 10:30: | COFFEE |
| 10:30 to 12:30: | TALKS (Session Chair: Simona Ronchi Della Rocca) |
| A Complete
Characterization of the Complete Intersection-Type Theories
Mariangiola Dezani-Ciancaglini (Università di Torino, Italy), Furio Honsell, Fabio Alessi (Università di Udine, Italy) | |
| Intersection Types and Topologies in Lambda Calculus
(Slides)
Silvia Ghilezan (University of Novi Sad, Yugoslavia) | |
|
Characterizing
Strongly Normalizing Terms for a Lambda Calculus with Generalized
Applications via Intersection Types
(Slides)
Ralph Matthes (Ludwig-Maximilians-Universität München, Germany) | |
| What Entailment Can Do for Type Theory
Robert Meyer (Australian National University, Australia) | |
| 12:30 to 14:00: | LUNCH |
| 14:00 to 15:00: | INVITED SPEAKER (Session Chair: Joe Wells) |
| An Intrinsic Semantics of Intersection Types
(Abstract)
(Slides)
(Long Follow-up
Paper)
(Short Follow-up
Paper)
John Reynolds (Carnegie Mellon University, USA) | |
| 15:00 to 15:30: | TALKS (Session Chair: Maribel Fernández) |
|
A Polar Type System
(Slides)
Trevor Jim (AT&T Research, USA) | |
| 15:30 to 16:00: | COFFEE |
| 16:00 to 17:00: | TALKS (Session Chair: Maribel Fernández) |
| A Minimal System of Disjunctive Properties for Strictness Analysis
Grzegorz Grudzi'nski (Uniwersytet Warszawski, Poland) | |
| Conjunctive Types
and Useless-Code Elimination
Ferruccio Damiani (Università di Torino, Italy) | |
| 17:00 to 17:15: | SHORT BREAK |
| 17:15 to 18:00: | PANEL DISCUSSION |
| The Past, Present, and Future of Intersection Types
Mariangiola Dezani-Ciancaglini (Università di Torino, Italy), Maribel Fernández (École Normale Supérieure, France) John Reynolds (Carnegie Mellon University, USA), Simona Ronchi Della Rocca (Università di Torino, Italy) Joe Wells (Chair) (Heriot-Watt University, Edinburgh, Scotland) | |
| 18:00 to 18:05: | CLOSING |