While object-oriented programming languages have swept the programming community over the last decade, it has taken longer for the language theory community to develop sound theoretical foundations for these languages. However, work over the last several years has provided a better understanding of the key concepts of object-oriented languages, and has led to important developments in the type theory, semantics, and verification of object-oriented languages. This workshop is designed to bring together researchers to share new ideas and results.

The first two workshops in this series were sponsored jointly by the NSF and ESPRIT. They were open by invitation only, with the first held in association with the American Types Jumelage in October, 1993, at Stanford University, and the second held in association with LICS '94 in Paris. A report on the first two meetings appeared in ACM SIGPLAN Notices, March, 1994, pp. 3-11 and February, 1995, pp. 5-11. Both are also available through the FOOL home page. This third workshop will be held at the Hyatt Regency Hotel in New Brunswick, and will be open to anyone interested in the general area of theoretical foundations of object-oriented languages. The range of topics includes semantics, calculi, type theory, program verification of object-oriented languages, and foundational issues related to concurrent and distributed object-oriented languages. The paper submission deadline has passed. A list of accepted papers will be available from the FOOL home page by mid to late May.

Program Chair: Kim Bruce (Williams College), kim@cs.williams.edu

Program Committee: Luca Cardelli (DEC-SRC); Giuseppe Castagna (CNRS & Ecole Normale Supérieure); Cliff Jones (Manchester University); Giuseppe Longo (CNRS & Ecole Normale Supérieure); John Mitchell (Stanford University); Benjamin Pierce (Cambridge University); Didier Rémy (INRIA).

Local Organizer: Jon Riecke (Bell Labs).

Information on pre-registration and housing, as well as other workshop-related information can be found at the FOOL home page. Registration fees will be increased after July 1. Questions should be sent to fool-info@cs.williams.edu.