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.9 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 concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by yquem.inria.fr (Postfix) with ESMTP id 46E2CBC69 for ; Mon, 6 Aug 2007 17:53:19 +0200 (CEST) Received: from ug-out-1314.google.com (ug-out-1314.google.com [66.249.92.169]) by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id l76FrIde021654 for ; Mon, 6 Aug 2007 17:53:19 +0200 Received: by ug-out-1314.google.com with SMTP id o2so622856uge for ; Mon, 06 Aug 2007 08:53:18 -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=eko4A50WVdkFYRhImxiJSLQEyr3Z9+zvwIV5Mz/cayJLydufugQCS6+vsWWacM9hOfwXOG2b3sLGhz+mwOkC0uj4EUhp8uZfIyO8TOfU5B563BRCtdZcOv32kxlWpXlAQ9oqfpnRrLx1RngmOT9ISeVXwQ+1dY2zpLz4iZ3jHiI= 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=AG/zb/qnU8jtG1FVsTLyX5lyhJ4koJk7Qvbm0trC4IZEnEEGLLiGQwBOcUVI8Yzo3okNR86W1FwQ7oV5ByMyNUqqe8I238UbPPR03eWQx6BhalFQlsaKd8MzFVAvPHhijWfHT4WXpNDNqlzzLoFVt6iBLGYYBbTjEJ6o3OqY2Rc= Received: by 10.78.190.10 with SMTP id n10mr1493530huf.1186415598307; Mon, 06 Aug 2007 08:53:18 -0700 (PDT) Received: by 10.78.83.13 with HTTP; Mon, 6 Aug 2007 08:53:18 -0700 (PDT) Message-ID: <53ff55480708060853v5eef74a2oec3c85c3ade24f8e@mail.gmail.com> Date: Mon, 6 Aug 2007 10:53:18 -0500 From: "Matthew Fluet (ICFP Publicity Chair)" Reply-To: fluet@tti-c.org To: caml-list Subject: ICFP07 Call for Participation MIME-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable Content-Disposition: inline X-j-chkmail-Score: MSGID : 46B743EE.001 on concorde : j-chkmail score : X : 0/20 1 0.000 -> 1 X-Miltered: at concorde with ID 46B743EE.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 ralf:01 pfenning:01 sigplan:01 haskell:01 erlang:01 hinze:01 thiemann:01 freiburg:01 blume:01 johan: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 12th ACM SIGPLAN International Conference on Functional Programming (ICFP 2007) http://www.informatik.uni-bonn.de/~ralf/icfp07.html Freiburg, Germany, 1-3 October 2007 =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 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. Preliminary program: * http://www.informatik.uni-bonn.de/~ralf/schedule.html * Invited speakers: + John Hughes (Chalmers University of Technology) + Frank Pfenning (Carnegie Mellon University) + John Lloyd (Australian National University) * The Program committee has *deliberately* created extra breaks so as to give participants more time to talk with colleagues. 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 Registration information: * http://proglang.informatik.uni-freiburg.de/ICFP2007/registration.shtml * Early registration deadline: September 7, 2007 Accommodations information: * http://proglang.informatik.uni-freiburg.de/ICFP2007/accommodation.shtml * Conference reservation/rate deadline: September 1, 2007 * September/October is Freiburg's main tourist season; participants are advised to book rooms as early as possible. Conference organizers: * General Chair: Ralf Hinze (Universit=E4t Bonn) * Program Chair: Norman Ramsey (Harvard University) * Local Arrangements Chair: Peter Thiemann (Universit=E4t Freiburg) * Workshop Co-Chairs: Graham Hutton (University of Nottingham) and Matthias Blume (Toyota Technological Institute at Chicago) * Programming Contest Chair: Johan Jeuring (Universiteit Utrecht) * Publicity Chair: Matthew Fluet (Toyota Technological Institute at Chicag= o)