A world-wide web page will be created and made available as an informal electronic conference proceedings. Correspondence and questions should be sent to fool10@di.unipi.it.
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.
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
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)
Giorgio Ghelli, University of Pisa, e-mail: fool10@di.unipi.it
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