[TYPES] FOOL 2005: Invitation to participate

[Philip Wadler]

	       Foundations of Object-Oriented Languages
			       FOOL 12
		       Sponsored by ACM SIGPLAN

		       Saturday 15 January 2005
		     Long Beach, California, USA
			  Following POPL '05

	  http://homepages.inf.ed.ac.uk/wadler/fool/program/

Preliminary program

9.00-10.00 Invited talk

   Object-oriented languages, fixed points, and systems of objects
   Kim Bruce

10.30-12.00 Paper session I

   First-class relationships in an object-oriented language
   Gavin Bierman and Alisdair Wren

   A Core Calculus of Metaclasses
   Sam Tobin-Hochstadt and Eric Allen

   Harmless Advice
   Daniel S Dantas and David Walker

1.30-3.00 Paper session II

   Independently Extensible Solutions to the Expression Problem
   Matthias Zenger and Martin Odersky

   Recursive Object-Oriented Modules
   Keiko Nakata, Akira Ito, and Jacques Garrigue

   Wild FJ
   Mads Torgersen, Erik Ernst, and Christian Plesner Hansen

3.30-5.00 Panel: Extreme Typing

   Robby Findler,  Merging dynamic typing and static typing
   James Hook,  Pushing typing toward verification
   Wolfram Schulte,  Maintaining invariants in OO languages
   Jan Vitek,  Types for ownership and concurrency