Path: news.net.uni-c.dk!howland.erols.net!news.maxwell.syr.edu!news-hog.berkeley.edu!ucberkeley!newsfeed.srv.cs.cmu.edu!cantaloupe.srv.cs.cmu.edu!lamppc11.epfl.ch From: Martin Odersky Newsgroups: comp.object,comp.object.logic,comp.databases.object,comp.lang.beta,comp.lang.functional,comp.lang.scheme,comp.lang.clos,comp.lang.oberon,comp.lang.smalltalk,comp.lang.misc,comp.lang.eiffel Subject: FOOL 9 Call for Participation Date: 6 Dec 2001 13:26:40 GMT Organization: Carnegie Mellon Univ. -- Computer Science Dept. Lines: 106 Distribution: world Message-ID: <9unrmg$ah5$1@cantaloupe.srv.cs.cmu.edu> Reply-To: Martin Odersky NNTP-Posting-Host: nuked.fox.cs.cmu.edu X-Trace: cantaloupe.srv.cs.cmu.edu 1007645200 10789 128.2.181.171 (6 Dec 2001 13:26:40 GMT) X-Complaints-To: postmaster@cs.cmu.edu NNTP-Posting-Date: 6 Dec 2001 13:26:40 GMT Originator: leaf@nuked.fox.cs.cmu.edu Xref: news.net.uni-c.dk comp.object:158446 comp.object.logic:12908 comp.databases.object:38248 comp.lang.beta:13073 comp.lang.functional:41738 comp.lang.scheme:51016 comp.lang.clos:15810 comp.lang.oberon:25347 comp.lang.smalltalk:136492 comp.lang.misc:50304 comp.lang.eiffel:62344 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) Clemens Szyperski, Microsoft Research Jan Vitek, Purdue University