[Prev][Next][Index][Thread]

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


                         Call for Participation
                         ======================

                    10th International Workshop on 
            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.  

Program:

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

10:00-10:30 Break 

10:30-12:00 Session 1 

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

12:00-14:00 Lunch 

14:00-15:00 Session 2 

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

15:00-15:30 Break 

15:30-17:00 Session 3 

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

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


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. 

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
------------------------------------------------------------------------
----