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 POPL 99.
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 (luca AT luca.demon.co.uk).
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 AT 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.
Luca Cardelli
Microsoft Research
1 Guildhall Street
Cambridge, CB2 3NH, UK
Email: luca AT luca.demon.co.uk
Web: http://www.luca.demon.co.uk
Tel: +44 1223 744 753
Fax: +44 1223 744 744
Kim Bruce, Williams College
Benjamin Pierce, Indiana University
Didier Remy, INRIA Rocquencourt
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 TechnologiesReturn to the FOOL home page.