From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <mauny.inria@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 D4DE67EE4B
	for <caml-list@sympa.inria.fr>; Wed,  9 Oct 2013 15:03:40 +0200 (CEST)
Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  mauny.inria@gmail.com) identity=pra; client-ip=74.125.82.51;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="mauny.inria@gmail.com";
  x-sender="mauny.inria@gmail.com";
  x-conformance=sidf_compatible
Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of
  mauny.inria@gmail.com designates 74.125.82.51 as permitted
  sender) identity=mailfrom; client-ip=74.125.82.51;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="mauny.inria@gmail.com";
  x-sender="mauny.inria@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-wg0-f51.google.com) identity=helo;
  client-ip=74.125.82.51;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="mauny.inria@gmail.com";
  x-sender="postmaster@mail-wg0-f51.google.com";
  x-conformance=sidf_compatible
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: Al8CAFpTVVJKfVIzlGdsb2JhbABagz/DJRYOAQEBAQcLCwkSKoJsARIlAgMNBSYWGAMCAQIBIgEFAS8IAQGHcAMPBAiXNYMEj12ERycNiWUBBQyPVoQNA5gDgS+FCIlfQYFjgm0
X-IPAS-Result: Al8CAFpTVVJKfVIzlGdsb2JhbABagz/DJRYOAQEBAQcLCwkSKoJsARIlAgMNBSYWGAMCAQIBIgEFAS8IAQGHcAMPBAiXNYMEj12ERycNiWUBBQyPVoQNA5gDgS+FCIlfQYFjgm0
X-IronPort-AV: E=Sophos;i="4.90,1063,1371074400"; 
   d="scan'208";a="36237167"
Received: from mail-wg0-f51.google.com ([74.125.82.51])
  by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 09 Oct 2013 15:03:39 +0200
Received: by mail-wg0-f51.google.com with SMTP id c11so869712wgh.30
        for <caml-list@inria.fr>; Wed, 09 Oct 2013 06:03:40 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=gmail.com; s=20120113;
        h=sender:message-id:date:from:organization:user-agent:mime-version:to
         :subject:content-type:content-transfer-encoding;
        bh=lX3xRsFeChvpBjIj/mgvDliveYA3o98BXEoNz3BoXT4=;
        b=vj8QDnYhG7Xs0TmPKnDEIqb8cIB4SCwpZxx/F+wjOiaEaFr5/6IBmJAGwHMUXQo8WL
         SvTWGGGj8ulToWLE845lcRnr6A2IxhW+ekS6bS0WaiSt29yOMFW5w3FgkPDjVSRfU4dO
         XEih12jqXOlPR9uVkMUsPcAn60Pk90vpgivWSnzOba0nBm2cJZWFeByacJztxbbK5l0b
         BerUZ+bALj/7yB1mUNAuASY08vAZnSjNSky28BpBBJSbjkeGZjba4PDDmHH+mJIfQ8qr
         Qac8mv7q7Dw3pYbo9o6lTzhVmNlOR968aEUeCfcWLN24ze8+j4KTpZp245c1iTq1QTnc
         ltpA==
X-Received: by 10.180.89.225 with SMTP id br1mr2702876wib.50.1381323820458;
        Wed, 09 Oct 2013 06:03:40 -0700 (PDT)
Received: from [10.0.0.11] (finiasz.net. [94.23.15.65])
        by mx.google.com with ESMTPSA id dq11sm15097969wid.3.1969.12.31.16.00.00
        (version=TLSv1 cipher=ECDHE-RSA-RC4-SHA bits=128/128);
        Wed, 09 Oct 2013 06:03:39 -0700 (PDT)
Sender: Michel Mauny <mauny.inria@gmail.com>
Message-ID: <52555429.9030001@inria.fr>
Date: Wed, 09 Oct 2013 15:03:37 +0200
From: Michel Mauny <Michel.Mauny@inria.fr>
Organization: ENSTA-ParisTech
User-Agent: Mozilla/5.0 (X11; U; Linux i686; fr; rv:1.8.1.6) Gecko/20070728 Thunderbird/6.0.1 Mnenhy/0.7.5.0
MIME-Version: 1.0
To: caml-list@inria.fr
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: 7bit
Subject: [Caml-list] OCaml 2013: papers and slides are available

Dear List,

The presentations that have been given at OCaml 2013 in Boston on
september 24 are now online:

  http://ocaml.org/meetings/ocaml/2013/program.html

The presentations have been video recorded. I'll let you know if and
when they are online.

Don't forget to submit a presentation to OCaml 2014 which should again
be co-located with ICFP 2014.

Cheers,

-- 
Michel Mauny
ENSTA ParisTech