Saturday, January 22, 2000

8:50 Start

9:00-10:00 Invited Talk

Re-exploring multiple inheritance

Didier Remy

10:00-10:30 Break

10:30-12:00 Session 1

Inheritance-based subtyping

Kathleen Fisher, John Reppy

Type-safe covariant specialization with generalized matching

Ran Rinat

Depth subtyping and type inference for object calculi

Michele Bugliesi, Santiago Pericas-Geersten

On inner classes

Atsushi Igarashi, Benjamin Pierce

12:30-2:00 Lunch

2:00-3:00 Invited Talk

Message or object? -- Origin and future of concurrent objects (Powerpoint slides)

Akinori Yonezawa

3:00-3:30 Break

3:30-4:30 Session 2

Mobile objects

Michele Bugliesi, Giuseppe Castagna

A distributed object calculus

Alan Jeffrey

4:30-5:30 Panel on typed intermediate languages for compiling object-oriented languages

Kim Bruce, moderator
Craig Chambers, Suresh Jagannathan, Greg Morrisett, Zhong Shao, panelists