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