Fool 8: Call for Participation


		 The Eighth International Workshop on
	       Foundations of Object-Oriented Languages

				FOOL 8

		       Sponsored by ACM SIGPLAN

			   January 20, 2001

			   London, England
			  Following POPL '01

The search for sound principles for object-oriented languages has
given rise to much work on the theory of programming languages during
the past 15 years, leading to a better understanding of the key
concepts of object-oriented languages and to important developments in
type theory, semantics, and program verification. The FOOL workshops
bring together researchers to share new ideas and results in these

The next workshop, FOOL 8, will be held in London, England, on
Saturday January 20, 2001, the day after POPL'01. Six contributed
papers will be presented; in addition, there will be invited talks by
Benjamin Pierce (University of Pennsylvania) and Martin Odersky (Ecole
Polytechnique Federale de Lausanne).

To register for the workshop, use the standard registration form,
available through:



Preliminary schedule
Saturday, January 20, 2001

9:00-10:00 Invited Talk
           Objects and Mobility
           Benjamin Pierce

10:00-10:30 Break

10:30-12:00 Session 1

            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-14:00 Lunch

14:00-15:00 Invited Talk
            Nested Types
            Martin Odersky

15:00-15:30 Break

15:30-17: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


Steering Committee:
	Martin Abadi, Bell Labs
	Kim Bruce, Williams College (chair)
	Luca Cardelli, Microsoft Research
	Benjamin Pierce, University of Pennsylvania
	Didier Remy, INRIA Rocquencourt

Program Committee:
	Kathleen Fisher, AT&T Labs (char) <fool8@cs.williams.edu>
	Michele Bugliesi, Universita Ca'Foscari di Venezia
	Luca Cardelli, Microsoft Research
	Karl Crary, Carnegie Mellon University
	Susan Eisenbach, Imperial College
	Atsushi Ohori, JAIST
	Jens Palsberg, Purdue University
	Jon Riecke, Bell Labs, Lucent
	Jerome Vouillon, University of Pennsylvania

Local Arrangements:
	Sophia Drossopoulou, Imperial College