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=0.8 required=5.0 tests=AWL,SPF_NEUTRAL autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr 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 3AE87BBE5 for ; Tue, 5 Aug 2008 13:29:22 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AkUEADwVl0jAXQIniGdsb2JhbACRAT4BAQEPIJpihGM X-IronPort-AV: E=Sophos;i="4.31,306,1215381600"; d="scan'208";a="27948054" Received: from concorde.inria.fr ([192.93.2.39]) by mail4-smtp-sop.national.inria.fr with ESMTP; 04 Aug 2008 23:44:38 +0200 Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id m74Lib9G009385 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Mon, 4 Aug 2008 23:44:38 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Ar0BAIgUl0hIDtyflGdsb2JhbACRAT4BAQEBCQMKBxEDmk6EYQ X-IronPort-AV: E=Sophos;i="4.31,306,1215381600"; d="scan'208";a="15723034" Received: from fg-out-1718.google.com ([72.14.220.159]) by mail3-smtp-sop.national.inria.fr with ESMTP; 04 Aug 2008 23:44:37 +0200 Received: by fg-out-1718.google.com with SMTP id e21so1105959fga.25 for ; Mon, 04 Aug 2008 14:44:36 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlemail.com; s=gamma; h=domainkey-signature:received:received:message-id:date:from:reply-to :to:subject:mime-version:content-type:content-transfer-encoding :content-disposition; bh=cGXXbPz3HGBJ86EFsTDfpBCKM59zs0gMHnBrIQrbBbM=; b=nxM8gXzbgCtTcZt+NExr2XbJJdXJEUlXO/S6IG/20yW1YK7t20+2GHo49tw/pXwX8x DgLQ/yWfh+D1eVdLVo8ZrrT1mzvnjB43JgtmDLnrFMP3taFd0lneSeoB8bZaWPeSw597 qBAO+vswKWnU/Ocg0moNERyu9NFwlpC+J4ZiE= DomainKey-Signature: a=rsa-sha1; c=nofws; d=googlemail.com; s=gamma; h=message-id:date:from:reply-to:to:subject:mime-version:content-type :content-transfer-encoding:content-disposition; b=UZjaIbeYwOe5//JrNfnBzhzbPh/L78aLgihdJhF+ces/P9dW4xzEFx8wxg0omJor46 +9VaRqXhrd+Ikzx22o1bjzj4r7Jg1pZSZ02K204zjlf/YPFP2VQufTEt/SkHAVn5mUQv nbIl2Sjx8NaUuBNKYZhXmac2miXlhTi1NYmDw= Received: by 10.86.76.20 with SMTP id y20mr10815952fga.41.1217886276068; Mon, 04 Aug 2008 14:44:36 -0700 (PDT) Received: by 10.86.50.17 with HTTP; Mon, 4 Aug 2008 14:44:36 -0700 (PDT) Message-ID: <53ff55480808041444l64d6cc83q446fbb33055cf4de@mail.gmail.com> Date: Mon, 4 Aug 2008 16:44:36 -0500 From: "Matthew Fluet (ICFP Publicity Chair)" Reply-To: fluet@tti-c.org To: caml-list Subject: ICFP08 Call for Participation MIME-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable Content-Disposition: inline X-Miltered: at concorde with ID 48977845.001 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; icfp:01 icfp:01 sigplan:01 danvy:01 higher-order:01 polymorphism:01 programmer's:01 sigplan:01 haskell:01 erlang:01 wiki:01 thiemann:01 freiburg:01 sperber:01 reppy:01 =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D Call for Participation The 13th ACM SIGPLAN International Conference on Functional Programming (ICFP 2008) http://www.icfpconference.org/icfp2008 Victoria, BC, Canada, 22-24 September 2008 =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D ICFP 2008 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: * http://www.icfpconference.org/icfp2008/schedule.html * Invited speakers: + Butler Lampson, Microsoft Research; Lazy and Speculative Execution in Computer Systems + Olivier Danvy, University of Aarhus; Defunctionalized Interpreters for Higher-Order Languages + Mark Jones, Portland State University; Polymorphism and Page Tables -- Systems Programming From a Functional Programmer's Perspective Schedule including related workshops: * Sep 20: ACM SIGPLAN Workshop on Generic Programming * Sep 20: ACM SIGPLAN Workshop on Mechanizing Metatheory * Sep 20: ACM SIGPLAN Workshop on Scheme and Functional Programming * Sep 21: ACM SIGPLAN Workshop on ML * Sep 21: ACM SIGPLAN Functional and Declarative Programming in Education * Sep 22-24: ICFP08 * Sep 25: ACM SIGPLAN Haskell Symposium * Sep 25: Functional Programming Developer Tracks * Sep 26: Commercial Users of Functional Programming * Sep 27: ACM SIGPLAN Erlang Workshop * Sep 27: Functional Programming Developer Tracks Registration information: * http://www.regmaster.com/conf/icfp2008.html * Early registration deadline: August 20, 2008 Conference hotel accommodation information: * http://www.deltahotels.com/groups/online/VIC/acm.php * Conference rate deadline: August 18, 2008 * Wiki page to coordinate room-sharing: http://www.icfpconference.org/pmwiki/pmwiki.php?n=3DMain.ICFP08RoomShare Conference organizers: * General Chair: James Hook (Portland State University) * Program Chair: Peter Thiemann (Universit=E4t Freiburg) * Local Arrangements Chair: George Tzanetakis (University of Victoria) * Workshop Co-Chairs: Michael Sperber (DeinProgramm) and Graham Hutton (University of Nottingham) * Programming Contest Co-Chairs: John Reppy (University of Chicago) and Tim Sheard (Portland State University) * Publicity Chair: Matthew Fluet (Toyota Technological Institute at Chicag= o)