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 http://www.regmaster.com/popl99.html.
Registration fees are
Luca Cardelli
Microsoft Research
1 Guildhall Street
Cambridge, CB2 3NH, UK
Email: luca AT luca.demon.co.uk
Web: http://www.luca.demon.co.uk
Tel: +44 1223 744 753
Fax: +44 1223 744 744
Kim Bruce, Williams College
Benjamin Pierce, Indiana University
Didier Remy, INRIA Rocquencourt
Correspondence and questions on the program should be sent to Luca Cardelli (luca AT luca.demon.co.uk).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