[Prev][Next][Index][Thread]
Fool 8: Call for Participation
CALL FOR PARTICIPATION
The Eighth International Workshop on
Foundations of Object-Oriented Languages
FOOL 8
Sponsored by ACM SIGPLAN
January 20, 2001
London, England
Following POPL '01
The search for sound principles for object-oriented languages has
given rise to much work on the theory of programming languages during
the past 15 years, 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 in these
areas.
The next workshop, FOOL 8, will be held in London, England, on
Saturday January 20, 2001, the day after POPL'01. Six contributed
papers will be presented; in addition, there will be invited talks by
Benjamin Pierce (University of Pennsylvania) and Martin Odersky (Ecole
Polytechnique Federale de Lausanne).
To register for the workshop, use the standard registration form,
available through:
http://www.doc.ic.ac.uk/~svb/popl
-----------------------------------------------------------------------------
Preliminary schedule
Saturday, January 20, 2001
9:00-10:00 Invited Talk
Objects and Mobility
Benjamin Pierce
10:00-10:30 Break
10:30-12:00 Session 1
Dynamic Object Reclassification
Sophia Drossopoulou, Ferruccio Damiani,
Mariangiola Dezani-Ciancaglini, Paola Giannini
An Object Calculus with Ownership and Containment
David Clarke
Overloading and Inheritance
Davide Ancona, Sophia Drossopoulou, Elena Zucca
12:00-14:00 Lunch
14:00-15:00 Invited Talk
Nested Types
Martin Odersky
15:00-15:30 Break
15:30-17:00 Session 2
Type Preserving Compilation of Featherweight Java
Christopher League, Valery Trifonov, Zhong Shao
Interfaces for Nested Classes
Yannis Smaragdakis
A Recipe for Raw Types
Atsushi Igarashi, Benjamin C. Pierce, and Philip Wadler
-----------------------------------------------------------------------------
Steering Committee:
Martin Abadi, Bell Labs
Kim Bruce, Williams College (chair)
Luca Cardelli, Microsoft Research
Benjamin Pierce, University of Pennsylvania
Didier Remy, INRIA Rocquencourt
Program Committee:
Kathleen Fisher, AT&T Labs (char) <fool8@cs.williams.edu>
Michele Bugliesi, Universita Ca'Foscari di Venezia
Luca Cardelli, Microsoft Research
Karl Crary, Carnegie Mellon University
Susan Eisenbach, Imperial College
Atsushi Ohori, JAIST
Jens Palsberg, Purdue University
Jon Riecke, Bell Labs, Lucent
Jerome Vouillon, University of Pennsylvania
Local Arrangements:
Sophia Drossopoulou, Imperial College