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 8026BBBAF for ; Mon, 22 Jun 2009 17:29:03 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AnsCAFdAP0rRVdnSmGdsb2JhbACYIT8BAQEBAQgJDAcTqHiNUgEFhAo X-IronPort-AV: E=Sophos;i="4.42,269,1243807200"; d="scan'208";a="42222148" Received: from mail-gx0-f210.google.com ([209.85.217.210]) by mail4-smtp-sop.national.inria.fr with ESMTP; 22 Jun 2009 17:29:02 +0200 Received: by gxk6 with SMTP id 6so4931501gxk.9 for ; Mon, 22 Jun 2009 08:29:01 -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=cv7llCFXSzMAwnsnTEJpWjdGZaU2b486r2sugV5u6XY=; b=IIxLKUZQwoJwPiprs+1rLlg4K2wsL6316vJoFvrvoDcWDfrGJmcMTXux3zI/clVabh TOGsNAqWYYKE0QZwqYRX1IwSDm10xQCCkqQk13iqrEL+I5p/wQgYKJ7ZHkfgbOsh5S5O Anam58yPqVpmmg7PSrGM0MkwcyksFxECDsLRg= 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=lhAy/BmKUbdgGLBVm2mEIu+WFJUEaPas+3EgDVTuZKn1IFgpW2N0YgbMqlYxETa5Wy dX18Pted/XWgtHR5xn/j6xEBOa2uBVIBYf/71bjN5jzrkmLsM/kONu2LdqVDyKoRC/0q OaNkXcFce/UYrIRF8pz5mzk97WUZeqAUjv5Mc= MIME-Version: 1.0 Received: by 10.231.36.8 with SMTP id r8mr2022143ibd.8.1245684541423; Mon, 22 Jun 2009 08:29:01 -0700 (PDT) Reply-To: fluet@tti-c.org Date: Mon, 22 Jun 2009 10:29:01 -0500 Message-ID: <53ff55480906220829h414e5486tadbe5f0773018b97@mail.gmail.com> Subject: ICFP09 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 lambda:01 monads:01 sigplan:01 haskell:01 erlang:01 haskell:01 tolmach:01 wadler:01 michaelson:01 heriot-watt:01 sperber:01 ===================================================================== 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 ===================================================================== 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: * Accepted papers: + http://web.cecs.pdx.edu/~apt/icfp09_accepted_papers/accepted.html * 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 Registration information: * http://www.regmaster.com/conf/icfp2009.html * Early registration deadline: July 30, 2009 Local arrangements (including travel and accommodation): * http://www.haskell.org/haskellwiki/ICFP_2009_Local_Arrangements * Conference reservation/rate deadline: July 20, 2009 * ICFP09 coincides with the final week of the Edinburgh International Festival, one of the premier arts and cultural festivals in the world. The opportunity to attend the Festival is a plus! Due to the popularity of Edinburgh during the festival period, we strongly recommend booking accommodation early. 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) ===================================================================== ===================================================================== And, don't forget about the ICFP Programming Contest this weekend!! * http://www.icfpcontest.org * Friday, June 26 to Monday, June 29 * Organizers: Computer Systems Design Laboratory (University of Kansas)