From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id SAA31331; Tue, 13 Aug 2002 18:48:29 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id SAA31328 for ; Tue, 13 Aug 2002 18:48:28 +0200 (MET DST) Received: from mailserver.di.unipi.it (apis.di.unipi.it [131.114.4.6]) by nez-perce.inria.fr (8.11.1/8.11.1) with ESMTP id g7DGmRb11923 for ; Tue, 13 Aug 2002 18:48:27 +0200 (MET DST) Received: from di.unipi.it (directory [131.114.4.109]) by mailserver.di.unipi.it (8.11.6/8.11.6) with ESMTP id g7DGmRL13126 for ; Tue, 13 Aug 2002 18:48:27 +0200 Subject: [Caml-list] FOOL'03: Call for Papers MIME-Version: 1.0 Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable Date: Tue, 13 Aug 2002 18:49:57 +0200 content-class: urn:content-classes:message Message-ID: X-MimeOLE: Produced By Microsoft Exchange V6.0.5762.3 Thread-Topic: FOOL'03: Call for Papers Thread-Index: AcJC6XTDBIjN+R2gQJ+MC/dPVJIA6Q== From: "ghelli" To: , , Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk Call for Papers The Tenth International Workshop on Foundations of Object-Oriented Languages FOOL 10 Sponsored by ACM SIGPLAN January 18, 2003 New Orleans, Louisiana Following POPL '03 http://tql.di.unipi.it/fool10/fool10.htm Deadlines Submissions: September 30, 2002=20 Notifications: November 15, 2002=20 Final versions: December 12, 2002 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 10, will be held in New Orleans, Louisiana, on Saturday January 18, 2003, the day after POPL '03. =20 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. =20 A world-wide web page will be created and made available as an informal electronic conference proceedings. =20 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 fool10@di.unipi.it by Monday, September 30, 2002, 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. =20 Correspondence and questions should be sent to fool10@di.unipi.it.=20 Steering Committee Martin Abadi, UC Santa Cruz=20 Luca Cardelli, Microsoft Research=20 Kathleen Fisher, AT&T Labs=20 Martin Odersky, Ecole Polytechnique F=E9d=E9rale de Lausanne Benjamin Pierce, University of Pennsylvania (chair)=20 Program Chair Giorgio Ghelli, University of Pisa, =20 e-mail: fool10@di.unipi.it Program Committee Elisa Bertino , University of Milan John Tang Boyland , University of Wisconsin Gilad Bracha , Sun Microsystems Giorgio Ghelli , University of Pisa Naoki Kobayashi , Tokyo Institute of Technology Xavier Leroy , INRIA Rocquencourt Ole Lehrmann Madsen , Aarhus University Don Syme , Microsoft Research ------------------- To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ Beginner's list: http://groups.yahoo.com/group/ocaml_beginners