Call for Papers
The Ninth International Workshop
on
Foundations of Object-Oriented Languages
January 19, 2002
Portland, Oregon
Following POPL '02
Deadlines
-
Submissions: October 12, 2001
Notifications: November 12, 2001
Final versions: December 10, 2001
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.
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, and database 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.
Submission procedure
We solicit submissions on original research not previously published or
currently submitted for publication elsewhere, in the form of extended
abstracts. These extended abstracts should not exceed 5000 words (approximately
10 pages). Submissions should be e-mailed to
fool9@lampsun1.epfl.ch
by Friday, October 12, 2001, using US-letter page size, Postscript or
PDF. Each submission may be included inline in a message or as a MIME attachment
only. We may not be able to consider late submissions, or submissions that
do not have a working and attended return e-mail address. (If electronic
submission is impossible, please contact the program chair in September.)
Receipt of the submissions will be acknowledged by e-mail. Authors should
inquire in case a prompt acknowledgment is not received.
Correspondence and questions should be sent to fool9@lampsun1.epfl.ch.
Steering Committee
Martin
Abadi, Bell Labs
Kim Bruce, Williams
College
Luca Cardelli, Microsoft
Research
Kathleen
Fisher, AT&T Labs
Benjamin Pierce,
University of Pennsylvania (chair)
Didier Remy, INRIA
Rocquencourt
Program Chair
Martin
Odersky,
Swiss Federal Institute of Technology, Lausanne,
e-mail: fool9@lampsun1.epfl.ch
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
Clemens Szyperski,
Microsoft Research
Jan Vitek,
Purdue University
Return to the FOOL
home page.