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 mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 3C9847ED25 for ; Fri, 12 Jul 2013 11:48:39 +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.180; 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.180 as permitted sender) identity=mailfrom; client-ip=74.125.82.180; 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-we0-f180.google.com) identity=helo; client-ip=74.125.82.180; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="mauny.inria@gmail.com"; x-sender="postmaster@mail-we0-f180.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Am8BAMbP31FKfVK0k2dsb2JhbABagzoBgw3AGBYOAQEBAQcLCwkUBCSCJAEFQAESJQEBAwwBBSYWDwkDAgECASIBBQEcBg0BBwEBh3kDDwQImS6PTYRwJw2IWAEFDJNRA5dcgSqEeolFP4Fdglw X-IPAS-Result: Am8BAMbP31FKfVK0k2dsb2JhbABagzoBgw3AGBYOAQEBAQcLCwkUBCSCJAEFQAESJQEBAwwBBSYWDwkDAgECASIBBQEcBg0BBwEBh3kDDwQImS6PTYRwJw2IWAEFDJNRA5dcgSqEeolFP4Fdglw X-IronPort-AV: E=Sophos;i="4.89,652,1367964000"; d="scan'208";a="25767606" Received: from mail-we0-f180.google.com ([74.125.82.180]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 12 Jul 2013 11:48:38 +0200 Received: by mail-we0-f180.google.com with SMTP id w56so7973995wes.11 for ; Fri, 12 Jul 2013 02:48:38 -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 :cc:subject:references:in-reply-to:content-type :content-transfer-encoding; bh=raFlKEmazNl41o8rPN+WzZcpmjqkBPJWvvUs6UzXWps=; b=DoxRgPUhzwaWIKSdNT+s67dn3bnoLBqzVRXSwJTMB+zM0IMECM66v/OoCKYfCcnlZP 0CI5j47QXuAZwfyyZmgQGzxFECJPhz/iOgn8Tjm7XSBuuD7eSCFxW2YSiYgxXd/w+FrI CTChJy02gVjb8XWgXSvXBfV4F+Qb0J6YbuWt0jUAiJ/WzPV+FBMGKcVGD0m1YJA0IALD CwtBxYenl0mb/ByIJyZbh8AHtRTsgrzZ7N4YODPQtlT/lpjXbtazI/z45t9tM1YD8fqy bbnvO/Qa7X0r5i9OsN/M/xsCfn0gMhr4OM2o8oBz0e2j1Qs+UN/xnltKkGSDvQbYZX6q rV8w== X-Received: by 10.194.179.129 with SMTP id dg1mr24202882wjc.38.1373622518505; Fri, 12 Jul 2013 02:48:38 -0700 (PDT) Received: from [10.0.0.11] (finiasz.net. [94.23.15.65]) by mx.google.com with ESMTPSA id fb2sm2228909wic.4.2013.07.12.02.48.34 for (version=TLSv1 cipher=RC4-SHA bits=128/128); Fri, 12 Jul 2013 02:48:37 -0700 (PDT) Sender: Michel Mauny Message-ID: <51DFD0F1.2060407@inria.fr> Date: Fri, 12 Jul 2013 11:48:33 +0200 From: Michel Mauny 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: Michel Mauny CC: caml-list@inria.fr References: <516D9E6A.7010804@inria.fr> <51B5D9EA.3090503@inria.fr> In-Reply-To: <51B5D9EA.3090503@inria.fr> Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 7bit Subject: [Caml-list] OCaml 2013 (24/09, Boston): Preliminary program is available Dear all, The OCaml 2013 (preliminary) program is now available: http://ocaml.org/meetings/ocaml/2013/program.html The workshop is just the day before ICFP, and the registration is now open (from http://icfpconference.org/icfp2013/). It is time to plan your trip and to make hotel reservations! Hope to see you there, - Michel Mauny, for the OCaml 2013 Program Committee