Saturday, January 20, 2001

8:50 Start

9:00-10:00 Invited Talk

10:00-10:30 Break

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:00-3:30 Break

3:30-5:00 Session 2

          Type Preserving Compilation of Featherweight Java

                      Christopher League, Valery Trifonov, Zhong Shao

          Interfaces for Nested Classes
                      Yannis Smaragdakis

          A Recipe for Raw Types
                      Atsushi Igarashi, Benjamin C. Pierce, and Philip Wadler