From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: * X-Spam-Status: No, score=1.4 required=5.0 tests=SPF_NEUTRAL autolearn=disabled version=3.1.3 Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by yquem.inria.fr (Postfix) with ESMTP id CA97CBC69 for ; Wed, 5 Dec 2007 01:57:55 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgAAAG+GVUfAXQInh2dsb2JhbACPUAIBCAop X-IronPort-AV: E=Sophos;i="4.23,251,1194217200"; d="scan'208";a="4901186" Received: from concorde.inria.fr ([192.93.2.39]) by mail2-smtp-roc.national.inria.fr with ESMTP; 05 Dec 2007 01:57:52 +0100 Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id lB50vtxI008350 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Wed, 5 Dec 2007 01:57:55 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgAAAG+GVUfRVca7kmdsb2JhbACPUAIBAQcCBik X-IronPort-AV: E=Sophos;i="4.23,251,1194217200"; d="scan'208";a="19987479" Received: from rv-out-0910.google.com ([209.85.198.187]) by mail4-smtp-sop.national.inria.fr with ESMTP; 05 Dec 2007 01:57:53 +0100 Received: by rv-out-0910.google.com with SMTP id f5so3123530rvb for ; Tue, 04 Dec 2007 16:57:31 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:received:received:mime-version:content-type:message-id:content-transfer-encoding:from:subject:date:to:x-mailer:sender; bh=iZMGAl80FHwUcOrnSz9l26f1EM/OGIoi9G3lCHazhBY=; b=McADI0p+xLIXteFifeGKzvHM1Zd6LALnsnmOxUDFe0KncRIKpbYZcC5ypuN7oDUiFqQBP8HA+n19e/Ai/Ser9YQ+bukShIOxPTdOrEumluzQN1HNeIV3IsBy97P2iZesH8jRexQzuEUlzV3BQk3y4aOD7hWnSsj+ViGGZQJcyF4= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=received:mime-version:content-type:message-id:content-transfer-encoding:from:subject:date:to:x-mailer:sender; b=VMizP5+1kYJiiL8i8e9+XTbLjrgKI7n2u6D/WClINbz7QjW7KvDZ4etvd7+gBbCU3itofrMq9s+kiPTrtrERIUOyajdD8o69NQM4IJy7YJu7dQvnr/GZK2bEQRf6veEIegwrCnOmGwlgoc2rjSGsiJr3MIYovGQS2Y++5Y8e5+c= Received: by 10.140.185.19 with SMTP id i19mr753358rvf.1196816250972; Tue, 04 Dec 2007 16:57:30 -0800 (PST) Received: from ?134.173.200.179? ( [134.173.200.179]) by mx.google.com with ESMTPS id g39sm386700rvb.2007.12.04.16.57.20 (version=TLSv1/SSLv3 cipher=OTHER); Tue, 04 Dec 2007 16:57:29 -0800 (PST) Mime-Version: 1.0 (Apple Message framework v752.3) Content-Type: text/plain; charset=US-ASCII; format=flowed Message-Id: Content-Transfer-Encoding: 7bit From: "Christopher A. Stone" Subject: FOOL '08: Call for Participation Date: Tue, 4 Dec 2007 16:57:18 -0800 To: caml-list@inria.fr X-Mailer: Apple Mail (2.752.3) Sender: Christopher Stone X-Miltered: at concorde with ID 4755F793.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; sigplan:01 popl:01 semantics:01 popl:01 semantics:01 invariants:01 drossopoulou:01 abstraction:01 odersky:01 johan:01 fahndrich:01 flatt:01 atsushi:01 igarashi:01 tobias:01 CALL FOR PARTICIPATION 2008 International Workshop on Foundations of Object-Oriented Languages FOOL '08 http://fool08.kuis.kyoto-u.ac.jp/ Sponsored by ACM SIGPLAN January 13, 2008 San Francisco, California, USA Following POPL '08 The search for sound principles for object-oriented languages has given rise to much work during the past two decades, leading to a better understanding of the key concepts of object-oriented languages and to important developments invited type theory, semantics, program verification, and program development. The FOOL workshops bring together researchers to share new ideas and results in these areas. The next workshop, FOOL '08, will be held in San Francisco, California, on Saturday January 13, 2008, the day after POPL '08. Eight contributed papers will be presented, along with invited talks. To register for the workshop, use the standard POPL registration form, available through: http://www.regmaster.com/conf/popl2008.html The POPL early registration deadline ends ****December 13th****. Please make your hotel arrangements as soon as possible. To keep down the cost of registration, we will not be providing printed proceedings. All papers will be available online before the workshop, so you may print the papers you wish to have on hand. --------------------------------------------------------------------- Accepted papers: OOMatch: Pattern Matching as Dispatch in Java Adam Richard and Ondrej Lhotak Type Safe Nondeterminism - A Formal Semantics of Java Threads Andreas Lochbihler A Unified Framework for Verification Techniques for Object Invariants Sophia Drossopoulou, Adrian Francalanza and Peter Mueller Safe Type-level Abstraction in Scala Adriaan Moors, Frank Piessens and Martin Odersky A Step-indexed Semantics of Imperative Objects Catalin Hritcu and Jan Schwinghammer Computational Soundness and Adequacy for Typed Object Calculus Johan Glimming Ownership Type Systems and Dependent Classes Werner Dietl and Peter Mueller A Theory of Linear Objects Matthew Kehrt and Jonathan Aldrich Plus invited speakers (TBA) --------------------------------------------------------------------- Program Committee: Jonathan Aldrich (Carnegie Mellon University) Susan Eisenbach (Imperial College) Manuel Fahndrich (Microsoft Research) Cormac Flanagan (University of California, Santa Cruz) Matthew Flatt (University of Utah) Jacques Garrigue (Nagoya University) Atsushi Igarashi (Kyoto University) [Chair] Matthew Parkinson (University of Cambridge) Julian Rathke (University of Southampton) Frank Tip (IBM) Tobias Wrigstad (Stockholm University) ---------------------------------------------------------------------