FOOL 9 Call for Participation

Martin Odersky
Thu, 6 Dec 2001 10:14:48 +0100


		 The Ninth International Workshop on
	       Foundations of Object-Oriented Languages

				FOOL 9

		       Sponsored by ACM SIGPLAN

			   January 19, 2002

			   Portland, Oregon
			  Following POPL '02

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

The next workshop, FOOL 9, will be held in Portland, Oregon, on
Saturday January 19, 2002, the day after POPL'02. To register for the
workshop, use the standard registration form, available through:


Preliminary schedule
Saturday, January 29, 2002

8:40 Start
8:45-9:45   Invited Talk
            Distributed Objects - The Next 10 Years
            Andrew Black

9:45-10:15  Break
10:15-12:15 Session 1

            Modular Typechecking for Hierarchically Extensible 
            Datatypes and Functions
            Todd Millstein, Craig Chambers

            Type-checking multi-methods in ML (A modular approach)
            Daniel Bonniot

            First-Class Modules for Haskell
            Mark Shields, Simon Peyton Jones

            Extensible Objects Without Labels
            Christopher Stone

12:15-14:00 Lunch
14:00-15:30 Session 2

            Modern Concurrency Abstractions for C#
            Nick Benton, Luca Cardelli, Cedric Fournet

            OO languages late-binding signature
            Antoine Beugnard

            A Semantics for Advice and Dynamic Joint Points in
            Aspect-Oriented Programming
            Mitchell Wand, Gregor Kiczales, Christopher Dutchyn

15:30-16:00 Break
16:00-17:30 Session 3

            Automatic Discovery of Read-Only Fields,
            Jens Palsberg, Tian Zhao, Trevor Jim.

            Generation of Verification Conditions for
            Abadi and Leino's Logic of Objects
            Francis Tang, Martin Hofmann

            Simple Type Inference for Structural Polymorphism
            Jacques Garrigue


Steering Committee:

	    Martin Abadi, University of California, Santa Cruz
	    Kim Bruce, Williams College
	    Luca Cardelli, Microsoft Research
	    Kathleen Fisher, AT&T Labs
	    Benjamin Pierce, University of Pennsylvania  (chair)
	    Didier Remy, INRIA Rocquencourt

Program Committee:

	    Viviana Bono, Universita di Torino
	    Craig Chambers, University of Washington
	    Erik Ernst, University of Aalborg
	    Giorgio Ghelli, University of Pisa
	    Atsushi Igarashi, University of Tokyo
	    Shriram Krishnamurthi, Brown University
            Martin Odersky, EPFL   (chair) <>
	    Clemens Szyperski, Microsoft Research
	    Jan Vitek, Purdue University