[Prev][Next][Index][Thread]
FOOL 9 Call for Participation
-
To: concurrency@cwi.nl, THEORY-A@LISTSERV.NODAK.EDU, types@cis.upenn.edu, objecttypes@daimi.aau.dk, eapls@mailbase.ac.uk, ecoop-info@ecoop.org, lprolog@cis.upenn.edu, haskell@haskell.org, mercury-ads@cs.mu.oz.au, appsem@cs.chalmers.se, lics@research.bell-labs.com, prog-lang@daimi.au.dk
-
Subject: FOOL 9 Call for Participation
-
From: Martin Odersky <martin.odersky@epfl.ch>
-
Date: Thu, 6 Dec 2001 10:14:48 +0100
-
Reply-to: martin.odersky@epfl.ch
CALL FOR PARTICIPATION
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
areas.
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:
http://www.cse.ogi.edu/PacSoft/conf/popl
--------------------------------------------------------------------------
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) <fool9@cs.williams.edu>
Clemens Szyperski, Microsoft Research
Jan Vitek, Purdue University