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 5 is a one and a half day workshop which will take place all day on Saturday, January 17, 1998, and the morning of Sunday, January 18, 1998. The program will consist of both contributed papers and invited lectures. An up-to-date copy of the program can be found through http://pauillac.inria.fr/~remy/fool/program.html.
To register for the workshop, use the standard POPL 98 registration form, available through http://cm.bell-labs.com/cm/cs/who/dbm/popl98/index.html.
Registration fees are
78153, Le Chesnay Cedex, France
Tel: +33 1 3963 5317
Fax: +33 1 3963 5684
Kim Bruce, Williams College
Benjamin Pierce, Indiana University
Martin Abadi, Digital, SRCCorrespondence and questions should be sent to Didier.Remy@inria.fr.
Kathleen Fisher, AT&T Labs Research
Giorgio Ghelli, University of Pisa
Martin Hofmann, Darmstadt University of Technology
Martin Odersky, University of South Australia
Didier Remy, INRIA Rocquencourt (Chair)
David N. Turner, An Teallach Limited
Return to the FOOL 5 home page.