FOOL 6, Call for Papers


              Call for Papers

     The Sixth International Workshop on 
   Foundations of Object-Oriented Languages

                 FOOL 6

        Sponsored by ACM SIGPLAN

             January 23, 1999
         San Antonio, Texas, USA 
             Following POPL99


    Submissions: October 2, 1998 
    Notifications: November 9, 1998 
    Final versions: December 11, 1998 

The search for sound foundations for object-oriented languages has
driven a variety of work in the theory of programming languages during
the past decade, 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.

The next workshop, FOOL 6, will be held on Saturday January 23 1999 in
San Antonio, Texas, the day after POPL99.

Submissions for this event are invited in the general area of
theoretical foundations of object-oriented languages, including
semantics, calculi, type theory, and program verification. We also
welcome contributions on foundational issues related to concurrent and
distributed object-oriented languages and database languages with
object-oriented features. Since the main focus in selecting workshop
contributions will be the intrinsic interest and timeliness of the
work, 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. Notification of the
acceptance or rejection of papers will be given by Monday, November 9,
1998. Final copies of accepted papers for the electronic proceedings
will be due on Friday, December 11, 1998.  Correspondence and
questions should be sent to the program chair, Luca Cardelli

Submission procedure

We solicit submissions on original research not previously published
or currently submitted for publication elsewhere. Electornic versions
of extended abstracts not to exceed 2500 words (approximately 5 pages)
should be e-mailed to luca@luca.demon.co.uk. by Friday, October 2,
1998 GMT, using US-letter or A4 size, Postscript or PDF. The
submission may be included inline in the message or as a MIME
attachment only. (If electronic submission is impossible, postal
submissions must be received by the program chair by Friday October 2,
1998, 5pm GMT; enclose 10 double-sided copies, a return postal
address, a phone number, and a return e-mail address.) Due to the
relatively tight schedule for refereeing we may not be able to
consider late submissions, or submissions that do not have a working
and attended return e-mail address. Receipt of the submissions will be
acknowledged by e-mail. The authors should inquire in case a prompt
acknowledgment is not received.

Program Chair
    Luca Cardelli
    Microsoft Research
    1 Guildhall Street
    Cambridge, CB2 3NH, UK
    Email: luca@luca.demon.co.uk
    Web: http://www.luca.demon.co.uk
    Tel: +44 1223 744 753
    Fax: +44 1223 744 744
Organizing Committee
    Kim Bruce, Williams College 
    Benjamin Pierce, Indiana University
    Didier Remy, INRIA Rocquencourt

Program Committee
    Luca Cardelli, Microsoft Research (Chair)
    Sophia Drossopoulou, Imperial College
    K. Rustan M. Leino, Digital SRC
    Martin Odersky, University of South Australia
    Peter O'Hearn, Queen Mary and Westfield College
    Benjamin Pierce, Indiana University
    John H. Reppy, Bell Labs, Lucent Technologies

 Luca Cardelli, Microsoft Research      Tel: +44 1223 744 753. Fax: 744 777
 1 Guildhall St, Cambridge CB2-3NH UK   Tel (mobile): +44 802 471 931
 Web: www.luca.demon.co.uk              Email: luca@luca.demon.co.uk