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.0 required=5.0 tests=AWL,SPF_NEUTRAL autolearn=disabled version=3.1.3 Received: from discorde.inria.fr (discorde.inria.fr [192.93.2.38]) by yquem.inria.fr (Postfix) with ESMTP id 7A5D8BC6B for ; Wed, 5 Sep 2007 20:56:43 +0200 (CEST) Received: from nf-out-0910.google.com (nf-out-0910.google.com [64.233.182.188]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id l85IugZ7000588 for ; Wed, 5 Sep 2007 20:56:43 +0200 Received: by nf-out-0910.google.com with SMTP id k4so1773373nfd for ; Wed, 05 Sep 2007 11:56:42 -0700 (PDT) DKIM-Signature: a=rsa-sha1; c=relaxed/relaxed; d=googlemail.com; s=beta; h=domainkey-signature:received:received:message-id:date:from:reply-to:to:subject:mime-version:content-type:content-transfer-encoding:content-disposition; b=q5GhAoX7HJZUficqknUwr+QumCvyvT2sLhahg2XtxS2pYdBvLIDU65xjykXPtFYxNW69EuyNjLIahtqqZnk6OYuyXb10MorD5MRm5lzCZ3N4sThvGReV5LeM9LLEYp/D6FyebZQLEvvlh4igSsPnWKhTjhxicUSbNf3t4MDCCio= DomainKey-Signature: a=rsa-sha1; c=nofws; d=googlemail.com; s=beta; h=received:message-id:date:from:reply-to:to:subject:mime-version:content-type:content-transfer-encoding:content-disposition; b=sFgY4OnTTQ21ZXJLybCtimIuKp8IYbu+aZj85SbtWGpYlSWFvk8itaxJC1Hm1xrOIoVtZAl/YwnqbwJT0C0XHnOK3aSID8xgXiwShBEeEc2NxQeQEJbOmuucIK5qyl0CKBiOJXhPO1WmK8IdWjJTkWEwUlV6xqnsmuei0SPQBZY= Received: by 10.86.77.5 with SMTP id z5mr5398056fga.1189018602420; Wed, 05 Sep 2007 11:56:42 -0700 (PDT) Received: by 10.86.30.18 with HTTP; Wed, 5 Sep 2007 11:56:42 -0700 (PDT) Message-ID: <53ff55480709051156r7b2c8568k84026991520d5d8f@mail.gmail.com> Date: Wed, 5 Sep 2007 13:56:42 -0500 From: "Matthew Fluet (ICFP Publicity Chair)" Reply-To: fluet@tti-c.org To: caml-list@inria.fr Subject: ICFP07 Reminder: registration deadline MIME-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 7bit Content-Disposition: inline X-j-chkmail-Score: MSGID : 46DEFBEA.001 on discorde : j-chkmail score : X : 0/20 1 0.000 -> 1 X-Miltered: at discorde with ID 46DEFBEA.001 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; icfp:01 icfp:01 sigplan:01 ralf:01 freiburg:01 sigplan:01 haskell:01 erlang:01 07.:98 uni-freiburg:02 functional:02 functional:02 languages:03 programming:03 programming:03 ===================================================================== Final Call for Participation The 12th ACM SIGPLAN International Conference on Functional Programming (ICFP 2007) http://www.informatik.uni-bonn.de/~ralf/icfp07.html http://proglang.informatik.uni-freiburg.de/ICFP2007 Freiburg, Germany, 1-3 October 2007 ===================================================================== ***** Early Registration Deadline: September 7, 2007 ***** ICFP 2007 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. Schedule including related workshops: * 30 Sep: ACM SIGPLAN Haskell Workshop * 30 Sep: ACM SIGPLAN Workshop on Scheme and Functional Programming * 1-3 Oct: ICFP07 * 4 Oct: ACM SIGPLAN Commercial Users of Functional Programming * 4 Oct: ACM SIGPLAN Workshop on Mechanizing Metatheory * 5 Oct: ACM SIGPLAN Erlang Workshop * 5 Oct: ACM SIGPLAN Workshop on ML * 5 Oct: ACM SIGPLAN Programming Languages meets Program Verification