Foundations of Object-Oriented Languages (FOOL10): Call for Participation

[ghelli]

                         Call for Participation
                         =
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D

                    10th International Workshop on=20
            Foundations of Object-Oriented Languages (FOOL10)

               January 18, 2003 - New Orleans, Louisiana
                         Following POPL 2003
        URL: http://www.cis.upenn.edu/~bcpierce/FOOL/FOOL10.html
                      E-mail: fool10@di.unipi.it

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
(http://www.cis.upenn.edu/~bcpierce/FOOL/index.html) bring together
researchers to share new ideas and results in these areas. =20

Program:

8:55 Start=20
9:00-10:00 Invited Talk:
   Andrew Kennedy - Microsoft Reasearch Cambridge UK:
   "Parametric Polymorphism for Popular Programming Languages",=20

10:00-10:30 Break=20

10:30-12:00 Session 1=20

1) "External Uniqueness"
         Dave Clarke, Tobias Wrigstad=20
2) "Enforcing Resource Usage Protocols via Scoped Methods"=20
         Gang Tan, Xinming Ou, David Walker=20
3) "Subtyping Mobile Classes and Mixins"=20
         Lorenzo Bettini, Viviana Bono, Betti Venneri=20

12:00-14:00 Lunch=20

14:00-15:00 Session 2=20

1) "Static Analysis for JML's assignable Clauses"=20
         Fausto Spoto, Erik Poll=20
2) "A Model of Garbage Collection for OO Languages"
         Rob Hunter, Shriram Krishnamurthi=20

15:00-15:30 Break=20

15:30-17:00 Session 3=20

1) "Abstract Data Types in Modular and Object-Oriented Programming:=20
    Algebraic and Flat Modeling "
         Philippe Narbel=20
2) "A Nominal Theory of Objects with Dependent Types"=20
         Martin Odersky, Vincent Cremet, Christine Rockl, Matthias
Zenger=20

3) "Regular Object Types"=20
         Vladimir Gapeyev, Benjamin C. Pierce=20


Details about registration and hotel reservation can be found at the
FOOL10 web site http://www.cis.upenn.edu/~bcpierce/FOOL/FOOL10.html,
while more information on POPL 2003 can be found at
http://www.csd.auth.gr/~setn02/en/index.htm.=20

We are looking forward to meeting you in New Orleans in January.

------------------------------------------------------------------------
----
Prof. Giorgio Ghelli, PhD  Universita' di Pisa, Dipartimento di
Informatica,
                           Via Buonarroti 2, I-56125, Pisa, ITALY
mailto:ghelli@di.unipi.it  http://www.di.unipi.it/~ghelli
------------------------------------------------------------------------
----