The Sixth International Workshop on Foundations of Object-Oriented Languages


January 23, 1999

San Antonio, Texas USA

Following POPL '99

The search for sound foundations for object-oriented languages has driven a variety of work in the theory of programming languages during the past decade, 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.

FOOL 6 is a one day workshop which will take place all day on Saturday, January 23, 1999. The program will consist of both contributed papers and invited lectures. The final schedule of the meeting is now available.

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

Registration fees are

All fees go up by $10 after December 23. Registration fees include a continental breakfast each day, coffee breaks, and lunch on Saturday.

Program Chair

Luca Cardelli
Microsoft Research
1 Guildhall Street
Cambridge, CB2 3NH, UK
Email: luca AT
Tel: +44 1223 744 753
Fax: +44 1223 744 744

Organizing Committee

Kim Bruce, Williams College
Benjamin Pierce, Indiana University
Didier Remy, INRIA Rocquencourt

Program Committee

Luca Cardelli, Microsoft Research (Chair)
Sophia Drossopoulou, Imperial College
K. Rustan M. Leino, Digital SRC
Martin Odersky, University of South Australia
Peter O'Hearn, Queen Mary and Westfield College
Benjamin Pierce, Indiana University
John H. Reppy, Bell Labs, Lucent Technologies

Correspondence and questions on the program should be sent to Luca Cardelli (luca AT

Return to the FOOL home page.