From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by sympa.inria.fr (Postfix) with ESMTPS id 91A267ED5D for ; Tue, 31 Jul 2012 13:13:09 +0200 (CEST) Received-SPF: None (mail4-smtp-sop.national.inria.fr: no sender authenticity information available from domain of icfp.publicity@gmail.com) identity=pra; client-ip=209.85.160.54; receiver=mail4-smtp-sop.national.inria.fr; envelope-from="icfp.publicity@gmail.com"; x-sender="icfp.publicity@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail4-smtp-sop.national.inria.fr: domain of icfp.publicity@gmail.com designates 209.85.160.54 as permitted sender) identity=mailfrom; client-ip=209.85.160.54; receiver=mail4-smtp-sop.national.inria.fr; envelope-from="icfp.publicity@gmail.com"; x-sender="icfp.publicity@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail4-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-pb0-f54.google.com) identity=helo; client-ip=209.85.160.54; receiver=mail4-smtp-sop.national.inria.fr; envelope-from="icfp.publicity@gmail.com"; x-sender="postmaster@mail-pb0-f54.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AkoJAEC9F1DRVaA2jWdsb2JhbAAvFowJglCrEwgiAQEBAQkJJgYiAYIYGgcCCQ4VARsMCggDEhAgPQEMAQQBBQEDASQBFAERCIVVggYBAQIMC5oggmEJA4wjCYJohECBLgoZBAoZDVeIcQEFDIYvhQ4DhwYDlUeBFIVBh1s+Q4M9 X-IronPort-AV: E=Sophos;i="4.77,682,1336341600"; d="scan'208";a="152106511" Received: from mail-pb0-f54.google.com ([209.85.160.54]) by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 31 Jul 2012 13:13:08 +0200 Received: by pbbro2 with SMTP id ro2so14027181pbb.27 for ; Tue, 31 Jul 2012 04:13:06 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:reply-to:date:message-id:subject:from:to:content-type :content-transfer-encoding; bh=ESlM0is4/70eODo3SqCplDS+g/MSDMeIdUZ0qM8ZC1Y=; b=Iz0zs3ViXIViOSV+i3SUtpbbjdr87PP4H4Vs+PRI8EBYL6/ikmiesLDfp4dv/dVLv5 9W443DGMr/8FH7L/47E1aZYJUdT0VbwCW5OgfM55tb/MTrfA2bqLYLiq5YivwbFYDcA5 AMqup+kzOubcYzv6zq0RSYjpl+6yboQjF4O4AQk8bwLES3v70o98p+7ei173Fw+7BqHf Zul3/kkpnvWaNDXiD4wWZVhwolVTXhk1WZSi/BPwdNSk/ruCdin0qRINWg/a2OqpQi0S +dRAsMGQ/Gt5m7QS03pZjiJBzRZ3FMOxCgmiycAW09n/giZsExlWl79AG1qvhTIq8XGF DN+A== MIME-Version: 1.0 Received: by 10.68.238.72 with SMTP id vi8mr42967886pbc.118.1343733186731; Tue, 31 Jul 2012 04:13:06 -0700 (PDT) Received: by 10.68.28.34 with HTTP; Tue, 31 Jul 2012 04:13:06 -0700 (PDT) Reply-To: wouter.swierstra@gmail.com Date: Tue, 31 Jul 2012 13:13:06 +0200 Message-ID: From: Wouter Swierstra To: undisclosed-recipients:; Content-Type: text/plain; charset=windows-1252 Content-Transfer-Encoding: quoted-printable X-Validation-by: w.s.swierstra@uu.nl Subject: [Caml-list] ICFP 2012: Second call for participation =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 Second Call for Participation The 17th ACM SIGPLAN International Conference on Functional Programming (ICFP 2012) and affiliated events http://www.icfpconference.org/icfp2012/ Copenhagen, Denmark, Sep 9-15, 2012 =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 There are less than ten days left until the early registration expires! ICFP 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. A full week dedicated to functional programming: 1 conference, 1 symposium, 9 workshops, 8 tutorials, programming contest results, student research contest * Program: http://icfpconference.org/icfp2012/program.html * Local arrangements (including travel and accommodation): http://icfpconference.org/icfp2012/local.html * Registration is available via: http://icfpconference.org/icfp2012/registration.html * Follow @icfp_conference on twitter for the latest news: http://twitter.com/#!/icfp_conference There are several events affiliated with ICFP: September 9 Workshop on Cross-paradigm Language Design and Implementation Workshop on Generic Programming Workshop on Higher-Order Programming with Effects Workshop on Logical Frameworks and Meta-languages: Theory and Practice September 10-12 ICFP - main conference September 13 Commercial Users of Functional Programming =96 Day 1 (CUFP Tutorials) Haskell Symposium Workshop on ML September 14 Commercial Users of Functional Programming =96 Day 2 (CUFP Tutorials) Erlang Workshop Haskell Implementors' Workshop OCaml Users and Developers Workshop September 15 Commercial Users of Functional Programming =96 Day 3 (CUFP Talks) Workshop on Functional High-Performance Computing Tutorial on Compiler Construction in Haskell Tutorial on the Grammatical Framework Conference organizers: * General Chair: Peter Thiemann, University of Freiburg * Program Chair: Robby Findler, Northwestern University * Local Arrangements Chair: Fritz Henglein, University of Copenhagen * Industrial Relations Chair: Andy Adams-Moran, Galois * Workshop Co-Chairs: Patrik Jansson, Chalmers University of Technology Gabriele Keller, University of New South Wales * Programming Contest Chair: Edwin Brady, University of St. Andrews Kevin Hammond, University of St. Andrews * Publicity Chair: Wouter Swierstra, Utrecht University * Video Chair: Malcolm Wallace, Standard Chartered Bank * Student Research Competition Chair: Doaitse Swierstra, Utrecht University =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