Schedule
| 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.