Call for Papers
The Ninth International Workshop on
Foundations of Object-Oriented Languages
FOOL 9
Sponsored by ACM SIGPLAN
January 19, 2002
Portland, Oregon, USA
Following POPL '02
http://www.cs.williams.edu/~kim/FOOL/fool9.html
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 web page will be created and made available as 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); shorter extended abstracts (e.g., 2000
words) are often sufficient. Submissions should be e-mailed to
[EMAIL PROTECTED] by Friday, October 12, 2001, using 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 [EMAIL PROTECTED]
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,
[EMAIL PROTECTED]
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
_______________________________________________
Haskell mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/haskell
