The Eighth International Workshop on Foundations of Object-Oriented Languages


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

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 Fédérale de Lausanne).

To register for the workshop, use the standard POPL registration form.

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 Chair

Kathleen Fisher, AT&T Labs   E-mail:

Program Committee

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

Return to the FOOL home page.