From owner-theorynt@LISTSERV.NODAK.EDU Tue Jun 24 18:25:51 1997 Received: from CS.Stanford.EDU (CS.Stanford.EDU [171.64.64.64]) by robotics.Stanford.EDU (8.8.5/8.8.5) with ESMTP id SAA29220 for ; Tue, 24 Jun 1997 18:25:51 -0700 (PDT) Received: from listserv.nodak.edu (listserv.NoDak.edu [134.129.111.8]) by CS.Stanford.EDU (8.8.4/8.8.4) with ESMTP id SAA05142; Tue, 24 Jun 1997 18:25:34 -0700 (PDT) Received: from listserv (134.129.111.8) by listserv.nodak.edu (LSMTP for Windows NT v1.1a) with SMTP id <0.A0CE5B10@listserv.nodak.edu>; Tue, 24 Jun 1997 20:24:34 -0500 Received: from LISTSERV.NODAK.EDU by LISTSERV.NODAK.EDU (LISTSERV-TCP/IP release 1.8c) with spool id 1475930 for THEORYNT@LISTSERV.NODAK.EDU; Tue, 24 Jun 1997 20:24:28 -0500 Received: from listserv (134.129.111.8) by listserv.nodak.edu (LSMTP for Windows NT v1.1a) with SMTP id <0.9C4C5560@listserv.nodak.edu>; Tue, 24 Jun 1997 20:24:26 -0500 Received: from LISTSERV.NODAK.EDU by LISTSERV.NODAK.EDU (LISTSERV-TCP/IP release 1.8c) with spool id 1475899 for THEORY-A@LISTSERV.NODAK.EDU; Tue, 24 Jun 1997 20:24:24 -0500 Received: from usc.edu by listserv.nodak.edu (LSMTP for Windows NT v1.1a) with SMTP id <0.9AB70F60@listserv.nodak.edu>; Tue, 24 Jun 1997 20:24:23 -0500 Received: from pollux2.usc.edu (pollux2.usc.edu [128.125.253.192]) by usc.edu (8.8.4/8.7.2/usc) with ESMTP id SAA09811 for ; Tue, 24 Jun 1997 18:24:20 -0700 (PDT) Received: (from ierardi@localhost) by pollux2.usc.edu (8.8.4/8.8.4/usc) id SAA06990 for theory-a@listserv.nodak.edu; Tue, 24 Jun 1997 18:24:21 -0700 (PDT) Phone: (33) 1 3963 5317 -- Sec: (33) 1 3963 5570 -- Fax: (33) 1 3963 5684 Web: http://pauillac.inria.fr/~remy Mime-Version: 1.0 Content-Type: text/plain; charset=US-ASCII Content-Transfer-Encoding: 7bit Approved-By: Doug Ierardi Approved-By: Theory-A - TheoryNet World-Wide Events Message-ID: <199705151827.UAA12303@pauillac.inria.fr> Date: Tue, 24 Jun 1997 18:24:21 PDT Reply-To: Didier.Remy@inria.fr Sender: TheoryNet List From: Didier Remy Organization: INRIA, BP 105, F-78153 Le Chesnay Cedex Subject: Call for Papers for FOOL 5 Comments: To: THEORY-A@LISTSERV.NODAK.EDU To: THEORYNT@LISTSERV.NODAK.EDU Status: O X-Mozilla-Status: 0001 Content-Length: 3511 Call for Papers The Fifth International Workshop on Foundations of Object-Oriented Languages F O O L ' 5 January 17-18, 1998 San Diego, USA Preceding POPL98 DEADLINES Submissions: September 28, 1997 Notifications: November 10, 1997 Final versions: December 8, 1997 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 5, will be held in January, 1998, in San Diego, the two days preceding POPL98. 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 10, 1997. Final copies of accepted papers for the electronic proceedings will be due on December 8, 1997. Correspondence and questions should be sent to Didier.Remy@inria.fr SUBMISSION PROCEDURE We solicit submissions on original research not previously published or currently submitted for publication elsewhere. Extended abstracts not to exceed 2500 words (approximately 5 pages) should be submitted to the program chair by Sunday, September 28, 1997. Due to the relatively tight schedule for refereeing we will not be able to consider late submissions. Receipt of the submissions will be acknowledged by e-mail. The authors should inquire in case a prompt acknowledgment is not received. Electronic submission is preferred: documents in postscript format (US-letter size) should be e-mailed to fool5@pauillac.inria.fr (If electronic submission is impossible, please contact the program chair to make special arrangements.) The cover page should include a return postal address, a telephone number, and an electronic mail address if possible. PROGRAM CHAIR Didier Remy INRIA Rocquencourt BP 105 78153, Le Chesnay Cedex, France Email: Didier.Remy@inria.fr Tel: +33 1 3963 5317 Fax: +33 1 3963 5684 ORGANIZING COMMITTEE Kim Bruce, Williams College Benjamin Pierce, Indiana University PROGRAM COMMITTEE Martin Abadi, Digital, SRC Kathleen Fisher, AT&T Labs Research Giorgio Ghelli, University of Pisa Martin Hofmann, Darmstadt University of Technology Martin Odersky, University of South Australia Didier Remy, INRIA Rocquencourt (Chair) David N. Turner, An Teallach Limited