From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <wouter.swierstra@gmail.com>
X-Original-To: caml-list@sympa.inria.fr
Delivered-To: caml-list@sympa.inria.fr
Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83])
	by sympa.inria.fr (Postfix) with ESMTPS id D6ECF7FA56;
	Mon,  4 Aug 2014 10:21:17 +0200 (CEST)
Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  wouter.swierstra@gmail.com) identity=pra;
  client-ip=209.85.192.49;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="wouter.swierstra@gmail.com";
  x-sender="wouter.swierstra@gmail.com";
  x-conformance=sidf_compatible
Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of
  wouter.swierstra@gmail.com designates 209.85.192.49 as
  permitted sender) identity=mailfrom; client-ip=209.85.192.49;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="wouter.swierstra@gmail.com";
  x-sender="wouter.swierstra@gmail.com";
  x-conformance=sidf_compatible; x-record-type="v=spf1"
Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  postmaster@mail-qg0-f49.google.com) identity=helo;
  client-ip=209.85.192.49;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="wouter.swierstra@gmail.com";
  x-sender="postmaster@mail-qg0-f49.google.com";
  x-conformance=sidf_compatible
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: Aq0BAMdB31PRVcAxm2dsb2JhbABBGg6DUVcEgnTJLIZ5gWMIFhABAQEBAQYLCwkUKYQcCwYdARseAxIQDwImAiQBEQEFASIBGxmICwEDEQ02oHlqiymBcoMQihgKGScNZIYcEQEFDoEekSCBUgWcBpJtGCmEPEQ7LwE
X-IPAS-Result: Aq0BAMdB31PRVcAxm2dsb2JhbABBGg6DUVcEgnTJLIZ5gWMIFhABAQEBAQYLCwkUKYQcCwYdARseAxIQDwImAiQBEQEFASIBGxmICwEDEQ02oHlqiymBcoMQihgKGScNZIYcEQEFDoEekSCBUgWcBpJtGCmEPEQ7LwE
X-IronPort-AV: E=Sophos;i="5.01,796,1400018400"; 
   d="scan'208";a="88164021"
Received: from mail-qg0-f49.google.com ([209.85.192.49])
  by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 04 Aug 2014 10:21:17 +0200
Received: by mail-qg0-f49.google.com with SMTP id j107so8535920qga.36
        for <multiple recipients>; Mon, 04 Aug 2014 01:21:16 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=gmail.com; s=20120113;
        h=mime-version:date:message-id:subject:from:to:content-type;
        bh=Bn7q9usge6wbEHJDYkaQYk99Fe/qQLHoQux7mEucArE=;
        b=H9/3RcUdmWaziH5SKpGxhRbT+h/hvTCffn7wSco9hi+AHb4ZG+GqYr6uP9p58TV0EY
         R8Pz15FDB1xtSvFqwgSfKh6r9uXiyB7yhWs2VhFVc5FsaDMyyvQMtrpx7aDol7J3Qbvq
         RBX3Sx4IXRTuS4PnhBF/HiZyYUgrExAK8GzUs5FKPWqKJUli3ijWZsQMRz68i6AZvk2u
         d/UWi1L8cjl1TQ+U39hAoq7lwYeg8G2jgo4KYAsF+dwPgQnEKTcVv+R3UpiuvOXDkZ6V
         GP3WZbJg+AQdepebT6ZlIglpKccam+8RnSrishqFd9aadQrCvywyoHEbTfx4CucetpCj
         uG0g==
MIME-Version: 1.0
X-Received: by 10.140.95.241 with SMTP id i104mr32100307qge.6.1407140476051;
 Mon, 04 Aug 2014 01:21:16 -0700 (PDT)
Received: by 10.224.8.136 with HTTP; Mon, 4 Aug 2014 01:21:16 -0700 (PDT)
Date: Mon, 4 Aug 2014 10:21:16 +0200
Message-ID: <CAD65j9=8KRY9ydt0VSQr-hfrbT041VVx_UcZGSmZ9eqg=GSaOA@mail.gmail.com>
From: Wouter Swierstra <wouter.swierstra@gmail.com>
To: haskell@haskell.org, types-announce@lists.seas.upenn.edu, 
	caml-list@inria.fr, Agda list mailing <agda@lists.chalmers.se>, coq-club@inria.fr
Content-Type: text/plain; charset=UTF-8
X-Validation-by: w.s.swierstra@uu.nl
Subject: [Caml-list] =?UTF-8?Q?Haskell_Symposium_=E2=80=93_Call_for_partic?=
 =?UTF-8?Q?ipation?=

====================================================================
                       CALL FOR PARTICIPATION

                 ACM SIGPLAN Haskell Symposium 2014
                        Gothenburg, Sweden
                        4-5 September, 2014
                        (directly after ICFP)

           http://www.haskell.org/haskell-symposium/2014/
====================================================================


The purpose of the Haskell Symposium is to discuss experiences with
Haskell and future developments for the language. The scope of the
symposium includes all aspects of the design, semantics, theory,
application, implementation, and teaching of Haskell.


Accepted papers and programme:

    http://www.haskell.org/haskell-symposium/2014/schedule.html


REGISTRATION IS NOW OPEN:

    https://regmaster4.com/2014conf/ICFP14/register.php

Local arrangements (including travel and accommodation):

    http://www.icfpconference.org/icfp2014/local.html

I hope to see you in Gothenburg!


  Wouter Swierstra
  Haskell 2014 Program Chair