| 8:30 |
Registration, Coffee and Tea |
|
|
| 8:50 |
Opening remarks |
| 9:00 |
Tutorial:
Comparing object encodings,
Benjamin Pierce,
Cambridge University
--> Indiana University |
|
|
| 10:00 |
Coffee break |
|
|
| 10:30 |
Permissive Types,
Sophia Drossopoulou & Dan Yang,
Imperial College of Science, Technology, and Medicine |
| 11:00 |
Currying multi-methods in a merge calculus, Hideki Tsuiki,
Kyoto Sangyo University |
| 11:30 |
Primitive subtyping /\ implicit polymorphism |= object-orientation,
Francois Bourdoncle, Ecole des Mines de Paris, and Stephan Merz,
Technische Universitat Munchen |
|
|
| noon |
Lunch |
|
|
| 2:00 |
Invited Lecture:
Classes = Objects + Data Abstraction,
Kathleen Fisher, Stanford
University |
|
|
| 3:00 |
Coffee break |
|
|
| 3:30 |
Objective ML: A simple object-oriented
extension to ML,
Didier Remy, INRIA-Rocquencourt, and Jerome
Vouillon, Ecole Normale Superieure and INRIA-Rocquencourt |
| 4:00 |
Classes in Object ML via Modules,
John H. Reppy, AT & T Research,
and Jon G. Riecke, Bell Laboratories |
| 4:30 |
Object Type Constructors,
Dominic Duggan, University of Waterloo |
|
|
| 5:15 |
Open session |
| 8:45 |
Coffee and tea |
|
|
| 9:00 |
Tutorial:
Describing the Semantics of
Concurrent Object-Oriented Languages
Cliff Jones, Manchester University |
|
|
| 10:00 |
Coffee break |
|
|
| 10:30 |
Formalising and prototyping a concurrent
object-oriented language,
Lars-ake Fredlund, Swedish Institute of Computer Science,
Jari Koistinen, Ericsson AB, and Fredrik Orava,
Swedish Institute of Computer Science |
| 11:00 |
Formal reasoning about Actor Programs using
temporal logic,
Susanne Schacht,
University of Illinois at Urbana-Champaign and
Universitaet Freiburg |
| 11:30 |
Inheritance of Proofs,
Martin Hofmann, Technische Hochschule Darmstadt,
Wolfgang Narashewski, Technische Universitat Munchen,
Martin Steffen and Terry Stroup,
Friedrich-Alexander-Universitat Erlangen-Nurnberg |
|
|
| noon |
Lunch |
|
|
| 2:00 |
Invited Lecture:
Interpreting Typed Objects into Typed
Pi-Calculus,
Davide Sangiorgi, INRIA Sophia Antipolis |
|
|
| 3:00 |
Coffee break |
|
|
| 3:30 |
Formal Objects in type theory using very
dependent types, Jason J. Hickey,
Cornell University |
| 4:00 |
A type system for record concatenation
and subtyping,
Jan Zwanenburg,
Eindhoven University of Technology |
| 4:30 |
Open session |
Return to the FOOL home page.