[TYPES] FOOL 12

[Philip Wadler]

FOOL news:
   Kim Bruce has accepted to be an invited speaker.
   The deadline for submission is fast approaching: Wednesday 29 
September 2004.
Details below.  I look forward to seeing your papers!  -- P



The Twelth International Workshop on
Foundations of Object-Oriented Languges (FOOL 12)

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

The search for sound principles for object-oriented languages has
given rise to much work on the theory of programming languages during
the past two decades, 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 12, will be held in Long Beach
California, on Saturday 15 January 2005, the day after POPL.

Submissions for this event are invited in the general area of
foundations of object-oriented languages; topics of interest include
language semantics, type systems, program analysis and verification,
programming calculi, concurrent and distributed languages, database
languages, and language-based security. Papers are welcome to include
formal descriptions and proofs, but these are not required; the key
consideration is that papers should present novel and valuable ideas
relating to foundations for object-oriented languages.  The main focus
in selecting workshop contributions will be the intrinsic interest and
timeliness of the work, so authors are encouraged to submit polished
descriptions of work in progress as well as papers describing
completed projects.

A world-wide web page will be created and made available as an
informal electronic conference proceedings.

Details of submission can be found in the call for papers:
   http://homepages.inf.ed.ac.uk/wadler/fool/

Invited Speaker:
   Kim Bruce

Deadlines:
   Submissions: Wednesday 29 September 2004
   Notifications: Wednesday 17 November 2004
   Final versions: Wednesday 15 December 2004

Steering committee:
   Sophia Drossopoulou (Imperial, UK)
   Kathleen Fisher (AT&T Labs, US)
   Giorgio Ghelli (Pisa, Italy)
   Martin Odersky, (Lausanne, Switzerland)
   Benjamin Pierce (Pennsylvania, US) [chair]

Program chair:
   Philip Wadler, Edinburgh University, mailto: fool-2005 at inf.ed.ac.uk

Program Committee
   Andrew Black (OSHU, Portland, US)
   Cedric Fournet (Microsoft, UK)
   Jacques Garrigue (Kyoto, Japan)
   John Mitchell (Stanford, US)
   Tobias Nipkow (Munich, Germany)
   Martin Odersky (Lausanne, Switzerland)
   David Ungar (Sun, US)
   Mirko Viroli (Cesena, Italy)
   Philip Wadler (Edinburgh, UK) [chair]
   Mitch Wand (Northeastern, US)
   Stephanie Weirich (Pennsylvania, US)