Third International Workshop on Foundations of Object-Oriented Languages

Abstracts and/or full papers, are available for all talks. Links from titles go to abstracts.

Wednesday, July 24

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

Thursday, July 24

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.