CALL FOR PARTICIPATION

The Third International Workshop on Foundations of Object-Oriented Languages

FOOL 3

July 24-25, 1996

New Brunswick, New Jersey

Held in conjunction with LICS '96 and the Federated Logic Conference

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 at http://www.cs.williams.edu/~kim/FOOL.

This third workshop will be held at the Hyatt-Regency Hotel in New Brunswick, New Jersey, 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, and program verification of object-oriented languages, and foundational issues related to concurrent and distributed object-oriented languages.

Two program committee members will be giving hour-long tutorial/survey talks:

Comparing object encodings, Benjamin Pierce, Cambridge University --> Indiana University
Describing the semantics of concurrent object-oriented languages, Cliff Jones, Manchester University

There will also be two hour-long invited talks:

Classes = Objects + Data Abstraction, Kathleen Fisher, Stanford University,
Interpreting typed objects into typed pi-calculus, Davide Sangiorgi, INRIA Sophia Antipolis

and 11 refereed contributed papers (see schedule for details).

The deadlines for early registration and housing are June 28, 1996. Because of other conferences taking place it is important to make hotel reservations as early as possible. Also please be aware that because of the Olympic games being held in the U.S. this summer, plane traffic will be particularly heavy into New York City airports, especially from Europe. You are strongly urged to make airline reservations as early as possible.

Any questions should be sent to fool-info@cs.williams.edu . Information can be forwarded on request via e-mail to those without world-wide web access.

Program Committee:

Kim Bruce, Williams College (Chair, kim@cs.williams.edu)
Luca Cardelli, DEC-SRC
Giuseppe Castagna, CNRS & Ecole Normale Superieure
Cliff Jones, Manchester University
Giuseppe Longo, CNRS & Ecole Normale Superieure
John Mitchell, Stanford University
Benjamin Pierce, Cambridge University
Didier Remy, INRIA-Rocquencourt

Local Arrangements:

Jon Riecke, Bell Laboratories

Return to the FOOL home page.