Call for Papers


Sponsored by ACM SIGPLAN

January 18, 2003
New Orleans, Louisiana
Following POPL '03

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 10, will be held in New Orleans, Louisiana, on Saturday January 18, 2003, the day after POPL '03.

A world-wide web page will be created and made available as an informal electronic conference proceedings. Correspondence and questions should be sent to

Registration procedure

The FOOL 2003 workshop registration fee includes workshop attendance, a copy of the workshop proceedings, one continental breakfast, and one workshop lunch. To register to the conference please follow this link.

Preliminary Program

8:55 Start 

9:00-10:00 Invited Talk, Parametric Polymorphism for Popular Programming Languages, Andrew Kennedy 

10:00-10:30 Break 

10:30-12:00 Session 1 
External Uniqueness, Dave Clarke, Tobias Wrigstad 

Enforcing Resource Usage Protocols via Scoped Methods,   Gang Tan, Xinming Ou, David Walker 

Subtyping Mobile Classes and Mixins, Lorenzo Bettini, Viviana Bono, Betti Venneri 

12:00-14:00 Lunch 

14:00-15:00 Session 2 
Static Analysis for JML's assignable Clauses, Fausto Spoto, Erik Poll 

A Model of Garbage Collection for OO Languages, Rob Hunter, Shriram Krishnamurthi 

15:00-15:30 Break 


15:30-17:00 Session 3 
Abstract Data Types in Modular and Object-Oriented Programming, Philippe Narbel 

A Nominal Theory of Objects with Dependent Types, Martin Odersky, Vincent Cremet, Christine Rockl, Matthias Zenger 

Regular Object Types, Vladimir Gapeyev, Benjamin C. Pierce 


Steering Committee

Martin Abadi, UC Santa Cruz
Luca Cardelli, Microsoft Research
Kathleen Fisher, AT&T Labs
Martin Odersky, Ecole Polytechnique Fédérale de Lausanne
Benjamin Pierce, University of Pennsylvania (chair)

Program Chair

Giorgio Ghelli,   University of Pisa,   e-mail:

Program Committee

Elisa Bertino ,  University of Milan
John Tang Boyland ,  University of Wisconsin
Gilad Bracha ,  Sun Microsystems
Giorgio Ghelli ,  University of Pisa
Naoki Kobayashi ,  Tokyo Institute of Technology
Xavier Leroy ,  INRIA Rocquencourt
Ole Lehrmann Madsen ,  Aarhus University
Don Syme ,  Microsoft Research

Return to the FOOL home page.