ITRS program

Friday July 26th, 2002


All sessions take place in room A101.

ITRS's program is also available side by side with other meetings.

08:45-10:30  Session 1

08:45  Opening
09:00  Silvia Ghilezan, ENS Lyon, France and Silvia Likavec, U Turin, Italy
Reducibility: a ubiquitous method in lambda calculus with intersection types
09:30  Mariangiola Dezani-Ciancaglini, U Turin, Italy; Alain Frish, ENS Paris, France; Elio Giovanetti, U Turin, Italy; and Yoko Motohama, U Udine, Italy
The relevance of semantic subtyping
10:00  Simona Ronchi Della Rocca, U Turin, Italy
Intersection typed lambda calculus

10:30-11:00  Refreshments

11:00-12:30  Session 2

11:00  Fabio Alessi, U Udine, Italy and Stefania Lusin, U Venice, Italy
Simple easy terms
11:30  Sebastien Carlier, LRDE EPITA, France
Polar type inference with intersection types and omega
12:00  Assaf J. Kfoury, Boston U, USA; Geoffrey Washburn, Boston U, USA; and Joe Wells, Heriot-Watt U, UK
Implementing compositional analysis using intersection types with expansion variables

12:30-14:00  Lunch

14:00-15:30  Session 3

14:00  Frank Pfenning, Carnegie Mellon U, USA
Invited talk: Tri-directional type checking
15:00  Daniel Leivant, Indiana U Bloomington, USA
Feasible functionals and intersection of ramified type

15:30-16:00  Refreshments

16:00-17:30  Session 4

16:00  JudicaŽl Courant, U Paris XI (Paris-Sud), France
Strong normalization with singleton types
16:30  Steffen van Bakel, Imperial College, UK
Strongly normalising cut-elimination with strict intersection types
17:00  Ugo de'Liguoro, U Turin, Italy
Subtyping in logical form
† † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † †