[TYPES/announce] FOOL2008 Call for Papers

[Atsushi Igarashi]

			   Call For Papers
		    2008 International Workshop on
	       Foundations of Object-Oriented Languages
			      (FOOL '08)

		       Sponsored by ACM SIGPLAN

		       Sunday, 13 January 2008
		    San Francisco, California, USA
			  Following POPL '08

		  http://fool08.kuis.kyoto-u.ac.jp/

Deadlines
	Submissions: Monday, 8 October 2007
	Notifications: Monday, 26 November 2007
	Final versions: Monday, 17 December 2007

Workshop Description

The search for sound principles for object-oriented languages has
given rise to much work 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, program
verification, and program development.  FOOL became FOOL/WOOD in 2006,
joining forces with the Workshop on Object-Oriented Developments.
Although this year the name returns to FOOL, it is the third workshop
in that successful merger.  FOOL'08 will be held in San Francisco,
California, USA on Sunday, 13 January 2008, the day after POPL.

Submissions for this event are invited in the general area of
foundations of object-oriented languages and program analysis. Topics
of interest include language semantics, type systems, program analysis
and verification, formal calculi, concurrent and distributed
languages, database languages, and language-based security issues. 

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 or experiences. 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 web page will be created and made available as an informal
electronic proceedings. Historically, presentation at FOOL (or
FOOL/WOOD) does not count as prior publication, and many of the
results presented at FOOL have later been published at ECOOP, OOPSLA,
POPL, and other conferences.

Submission Instructions

We solicit submissions on original research not previously published
or currently submitted for publication elsewhere. The program chair
should be informed of any related submissions; see the ACM SIGPLAN
Republication Policy
(http://www.acm.org/sigs/sigplan/republicationpolicy.htm).
Submissions should be PDF or PostScript in standard SIGPLAN 9pt
conference format for a US-letter size page. Templates are available
at

 http://www.acm.org/sigs/sigplan/authorInformation.htm .

While submissions can be up to 12 pages, shorter papers describing
promising preliminary work are also encouraged.  More detailed
submission instructions will be announced on the workshop web site at
http://fool08.kuis.kyoto-u.ac.jp/.

Program Chair

Atsushi Igarashi (Kyoto University)
   e-mail: fool08 at kuis.kyoto-u.ac.jp

Program Committee

Jonathan Aldrich (Carnegie Mellon University)
Susan Eisenbach (Imperial College)
Manuel Fahndrich (Microsoft Research)
Cormac Flanagan (University of California, Santa Cruz)
Matthew Flatt (University of Utah)
Jacques Garrigue (Nagoya University)
Matthew Parkinson (University of Cambridge)
Julian Rathke (University of Southampton)
Frank Tip (IBM)
Tobias Wrigstad (Stockholm University)


Steering Committee

Viviana Bono (Universita` di Torino) 
Michele Bugliesi (Universita` Ca' Foscari) 
Kathleen Fisher (AT&T Labs)
Benjamin Pierce (University of Pennsylvania)
John Reppy (University of Chicago)
Christopher Stone (Harvey Mudd College) [Chair]
Philip Wadler (University of Edinburgh)