[Fwd: Call for papers: FOOL 8]


Subject: [Fwd: Call for papers: FOOL 8]
From: Craig Chambers (chambers@cs.washington.edu)
Date: Mon Jul 10 2000 - 19:54:18 PDT


Kathleen Fisher wrote:
>
> [----- The Types Forum, http://www.cis.upenn.edu/~bcpierce/types -----]
>
> Call for Papers
>
> The Eighth International Workshop
> on
> Foundations of Object-Oriented Languages
>
> Sponsored by SIGPLAN
>
> January 20, 2001
> London, England
> Following POPL '01
>
> Deadlines
> Submissions: October 4, 2000
> Notifications: November 13, 2000
> Final versions: December 12, 2000
>
> 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 8, will be held in London, England,
> on Saturday January 20, 2001, the day after POPL'01.
>
> 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
> fool8@cs.williams.edu by Wednesday, October 4, 2000, 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 fool8@cs.williams.edu.
>
> Steering Committee
>
> Martin Abadi, Bell Labs, Lucent
> Kim Bruce, Williams College (chair)
> Luca Cardelli, Microsoft Research
> Benjamin Pierce, University of Pennsylvania
> Didier Remy, INRIA Rocquencourt
>
> Program Chair
> Kathleen Fisher
> http://www.research.att.com/info/kfisher
> kfisher@research.att.com
>
> Program Committee
> Michele Bugliesi Universita Ca'Foscari di Venezia
> Luca Cardelli Microsoft Research
> Karl Crary Carnegie Mellon University
> Susan Eisenbach Imperial College
> Atsushi Ohori JAIST
> Jens Palsberg Purdue University
> Jon Riecke Bell Labs, Lucent
> Jerome Vouillon University of Pennsylvania
>
> Local Arrangements
> Sophia Drossopoulou, Imperial College



This archive was generated by hypermail 2b25 : Tue Oct 03 2000 - 15:21:44 PDT