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 7, will be held in Boston, Massachusetts, on Saturday January 22, 2000, the day after POPL'00. Six contributed papers will be presented; in addition, there will be two invited talks, by Didier Remy (INRIA) and Akinori Yonezawa (U. of Tokyo), and a panel discussion.

To register for the workshop, use the standard POPL registration form, available through http://www.research.ibm.com/people/w/wegman/POPL.html.

Program committee:

Martin Abadi, Bell Labs, Lucent (chair) fool7@cs.williams.edu
Gilad Bracha, Sun Java Software
Giuseppe Castagna, CNRS & Ecole Normale Superieure
Craig Chambers, University of Washington
Adriana Compagnoni, Stevens Institute of Technology
Naoki Kobayashi, University of Tokyo
Gary Leavens, Iowa State University
Andrew Myers, Cornell University

Organizing committee:

Kim Bruce, Williams College (chair) kim@cs.williams.edu
Luca Cardelli, Microsoft Research
Benjamin Pierce, University of Pennsylvania
Didier Remy, INRIA