9:00-10:00 Invited Talk
10:30-12:00 Session 1
Fickle: Dynamic Object Reclassification
Sophia Drossopoulou, Ferruccio Damiani, Mariangiola Dezani-Ciancaglini,
Paola Giannini
An Object Calculus with Ownership and Containment
David Clarke
Overloading and Inheritance
Davide Ancona, Sophia Drossopoulou, Elena Zucca
12:00-2:00 Lunch
2:00-3:00 Invited Talk
3:30-5:00 Session 2
Interfaces
for Nested Classes
Yannis Smaragdakis
A Recipe for
Raw Types
Atsushi Igarashi, Benjamin C. Pierce, and Philip Wadler