Workshop on Intersection Types and Related Systems (ITRS '00): Program

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