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.2 required=5.0 tests=AWL,SPF_NEUTRAL autolearn=disabled version=3.1.3 Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by yquem.inria.fr (Postfix) with ESMTP id F26DBBC54 for ; Mon, 13 Jul 2009 04:46:46 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AooCAMc8WkrRVdnYimdsb2JhbACYaj8BAQEKCQwHEQWheI4SAQWECYFC X-IronPort-AV: E=Sophos;i="4.42,388,1243807200"; d="scan'208";a="43341258" Received: from mail-gx0-f216.google.com ([209.85.217.216]) by mail4-smtp-sop.national.inria.fr with ESMTP; 13 Jul 2009 04:46:03 +0200 Received: by gxk12 with SMTP id 12so3755768gxk.9 for ; Sun, 12 Jul 2009 19:46:02 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlemail.com; s=gamma; h=domainkey-signature:mime-version:received:reply-to:date:message-id :subject:from:to:content-type:content-transfer-encoding; bh=TljDc+YEQYQyooRqfiHSDDc9RsM4ItIPWF3E6ssA9bg=; b=dqPiVNSflxDcduN0ji+zBLV9YKnhsXIMF6NvH5X1a0Vk4mvXKvPrqq5YkLhfu2owB4 IYoIoaaaJmI3XwG7+QnWVDpV6mK4sRnXkKPFuOftxBk+f21LD+UVPk8GHk98EibXm68C ZFisdWZ7qV0Hodg8Twe/o9JZ/6zcji92NFRYk= DomainKey-Signature: a=rsa-sha1; c=nofws; d=googlemail.com; s=gamma; h=mime-version:reply-to:date:message-id:subject:from:to:content-type :content-transfer-encoding; b=RJ9zkFNO1kWXObeGieQtdGLpLO6hc17TOXprMMuC1ifWiqApbJmFPY+pmRwxKmOVvn cs7tweBFI/hIwjZqHYcUEVx0FZ933jmFgu6q2Io8/BQbumcJw96Y5AEefpvEeeVqIlG5 2lqqmuP1B2wYda0tBpzQ78fWRIGmneL8sd58c= MIME-Version: 1.0 Received: by 10.231.14.12 with SMTP id e12mr953078iba.48.1247453162395; Sun, 12 Jul 2009 19:46:02 -0700 (PDT) Reply-To: fluet@tti-c.org Date: Sun, 12 Jul 2009 21:46:02 -0500 Message-ID: <53ff55480907121946j19da8322g72ba80817ff2c49@mail.gmail.com> Subject: ICFP09 Final Call for Participation From: "Matthew Fluet (ICFP Publicity Chair)" To: caml-list Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 7bit X-Spam: no; 0.00; icfp:01 icfp:01 sigplan:01 nott:01 haskell:01 lambda:01 monads:01 sigplan:01 haskell:01 erlang:01 tolmach:01 wadler:01 michaelson:01 heriot-watt:01 sperber:01 ===================================================================== Final Call for Participation The 14th ACM SIGPLAN International Conference on Functional Programming (ICFP 2009) http://www.cs.nott.ac.uk/~gmh/icfp09.html Edinburgh, Scotland, 31 August - 2 September 2009 ===================================================================== ***** Accommodation Deadline: July 20, 2009 ***** Due to the overlap with Edinburgh Festival, accommodations may be difficult to secure after the deadline. Reserve now! http://www.haskell.org/haskellwiki/ICFP_2009_Local_Arrangements ***** Early Registration Deadline: July 30, 2009 ***** http://www.regmaster.com/conf/icfp2009.html ICFP 2009 provides a forum for researchers and developers to hear about the latest work on the design, implementations, principles, and uses of functional programming. The conference covers the entire spectrum of work, from practice to theory, including its peripheries. Preliminary program: * Abstracts: + http://web.cecs.pdx.edu/~apt/icfp09_accepted_papers/accepted.html * Schedule: + http://web.cecs.pdx.edu/~apt/icfp09_preliminary_program.pdf * Invited speakers: + Guy Steele -- Organizing Functional Code for Parallel Execution: or, foldl and foldr Considered Slightly Harmful + Benjamin Pierce -- Lambda, the Ultimate TA: Using a Proof Assistant to Teach Programming Language Foundations + Dan Piponi -- Commutative Monads, Diagrams and Knots Schedule including related workshops: * Aug 30: ACM SIGPLAN Workshop on ML * Aug 30: ACM SIGPLAN Workshop on Generic Programming * Aug 31-Sep 2: ICFP09 * Sep 3: ACM SIGPLAN Haskell Symposium * Sep 3: ACM SIGPLAN Developer Tracks on Functional Programming * Sep 4: Commercial Users of Functional Programming * Sep 4: ACM SIGPLAN Workshop on Mechanizing Metatheory * Sep 4: ACM SIGPLAN Workshop on Approaches and Applications of Inductive Programming * Sep 5: ACM SIGPLAN Erlang Workshop * Sep 5: ACM SIGPLAN Developer Tracks on Functional Programming * Sep 5: ACM SIGPLAN Haskell Implementors Workshop Conference organizers: * General Chair: Graham Hutton (University of Nottingham) * Program Chair: Andrew Tolmach (Portland State University) * Local Arrangements Chairs: Philip Wadler (University of Edinburgh), Kevin Hammond (University of St Andrews), and Gregory Michaelson (Heriot-Watt University) * Workshop Co-Chairs: Christopher Stone (Harvey Mudd College), and Michael Sperber (DeinProgramm) * Programming Contest Chair: Andrew Gill (University of Kansas) * Publicity Chair: Matthew Fluet (Toyota Technological Institute at Chicago)