[Prev][Next][Index][Thread]

FOOL 7 Workshop - Call for papers

The call for papers for FOOL7 can be found below and at
	<http://www.cs.williams.edu/~kim/FOOL/Call7.html>

---------------------------------------------------------------------

                           Call for Papers

                 The Seventh International Workshop on 
               Foundations of Object-Oriented Languages

                               FOOL 7

                      Sponsored by ACM SIGPLAN

                          January 22, 2000
                     Boston, Massachusetts, USA 
                         Following POPL '00

Deadlines

    Submissions: October 4, 1999 
    Notifications: November 12, 1999 
    Final versions: December 10, 1999 

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 7, will be held in Boston, Massachusetts, 
on Saturday January 22, 2000, the day after POPL'00. 

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
fool7@cs.williams.edu by Monday, October 4, 1999, 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 fool7@cs.williams.edu.

Organizing Committee
    Kim Bruce, Williams College (chair)
    Luca Cardelli, Microsoft Research
    Benjamin Pierce, Indiana University
    Didier Remy, INRIA Rocquencourt

Program Chair
    Martin Abadi <fool7@cs.williams.edu>
    
Program Committee
    Gilad Bracha, Sun Java Software
    Giuseppe Castagna, CNRS & Ecole Normale Superieure
    Craig Chambers, University of Washington
    Adriana Compagnoni, Stevens Institute of Technology
    Naoki Kobayashi, University of Tokyo
    Gary Leavens, Iowa State University
    Andrew Myers, Cornell University