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 AF37B7EE51 for ; Mon, 13 May 2013 10:53:29 +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=209.85.214.50; 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 209.85.214.50 as permitted sender) identity=mailfrom; client-ip=209.85.214.50; 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-bk0-f50.google.com) identity=helo; client-ip=209.85.214.50; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="mauny.inria@gmail.com"; x-sender="postmaster@mail-bk0-f50.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AnABAOCokFHRVdYylGdsb2JhbABEEAaDPsA/aRYOAQEBAQcNCQkUBCSCIAEFHRUBDQESFREBAwwBBSYKGw8CIwEFARwTAQcBAReHXwMPBAifJ487g3gnDYgiAQUMjU8DGAyFAgOXLIEmjio/gV2CWoFw X-IPAS-Result: AnABAOCokFHRVdYylGdsb2JhbABEEAaDPsA/aRYOAQEBAQcNCQkUBCSCIAEFHRUBDQESFREBAwwBBSYKGw8CIwEFARwTAQcBAReHXwMPBAifJ487g3gnDYgiAQUMjU8DGAyFAgOXLIEmjio/gV2CWoFw X-IronPort-AV: E=Sophos;i="4.87,660,1363129200"; d="scan'208";a="17098481" Received: from mail-bk0-f50.google.com ([209.85.214.50]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 13 May 2013 10:53:29 +0200 Received: by mail-bk0-f50.google.com with SMTP id ik5so2291386bkc.9 for ; Mon, 13 May 2013 01:53:28 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=x-received:sender:message-id:date:from:reply-to:organization :user-agent:mime-version:cc:subject:references:in-reply-to :content-type:content-transfer-encoding; bh=9XT3ek1ZITvlGpX50L4RiHPNKbqvoJvUSIAvyCr9rXo=; b=p8Dk9mUoXIBiVR3vLbL63G698ElcUgJFA/RIr+wmVl4n6EQfh9X3bIGRHO18dqOc7a JTeOdEH8L9NCDYFP6S4XQ0AyrLbQKnHjvkj+LRXeVZpeIquIbxfFN1wKm+HpR+rjNmd9 kajaD32FgUxQSw9kYVXNI8saDtrCORegDh7YdoAhXrlsvrp7h6roamkTKv+9amOxzsCu 3kM7FNNYuisnbCWRG3ZQPLtUUa1eU7Ox6awmMfc25tO/qt58rhpIMZSFHHVvacr/58rm /nAwUWD4h5Qd/BIPXB2sQ+5X7LoJa24QdbToFIembH4MuoRojSCGiivsSBOB/C+ZWgTZ +ngg== X-Received: by 10.204.171.136 with SMTP id h8mr5253826bkz.18.1368435208797; Mon, 13 May 2013 01:53:28 -0700 (PDT) Received: from pcmm.ensta.fr (www.mauny.net. [91.121.9.195]) by mx.google.com with ESMTPSA id i15sm1729653bkz.12.2013.05.13.01.53.26 for (version=TLSv1 cipher=RC4-SHA bits=128/128); Mon, 13 May 2013 01:53:27 -0700 (PDT) Sender: Michel Mauny Message-ID: <5190A9F7.70505@inria.fr> Date: Mon, 13 May 2013 10:53:11 +0200 From: Michel Mauny Reply-To: 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 CC: caml-list@inria.fr References: <516D9E6A.7010804@inria.fr> In-Reply-To: <516D9E6A.7010804@inria.fr> Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 8bit Subject: [Caml-list] [Reminder] CFP: OCaml 2013 - Boston, deadline is June 7 Apologies if you receive multiple copies of this message. Please forward to whom could be interested. Here is the announce of OCaml 2013, to be held in Boston (sep 24), as a side event of ICFP 2013. The submission site is now open, and the deadline for submissions is June 7. https://www.easychair.org/conferences/?conf=ocaml2013 ============================================================================== OCAML 2013 The OCaml Users and Developers Workshop http://ocaml.org/meetings/ocaml/2013/ Boston, Massachusetts, USA September 24, 2013 CALL FOR PRESENTATIONS Co-located with ICFP 2013 Sponsored by SIGPLAN Talk Proposal Submission Deadline: June 7, 2013 ============================================================================== The first occurrence of the OCaml Users and Developers Workshop was colocated with ICFP 2012, in Copenhagen, following the OCaml Meetings in Paris in 2010 and 2011. OCaml 2013 will be held on September 24, 2013, in Boston, colocated with ICFP 2013. The OCaml Users and Developers Workshop brings together industrial users of OCaml with academics and hackers who are working on extending the language, type system and tools. Discussions will focus on the practical aspects of OCaml programming and the nitty gritty of the tool-chain and upcoming improvements and changes. Thus, we aim to solicit talks on all aspects related to improving the use or development of the language and of its programming environment, including, for example: - compiler developments, new backends, runtime and architectures - practical type system improvements, such as (but not exhaustively) GADTs, first-class modules, generic programming, or dependent types - new library or application releases, and their design rationales - tool enhancements by commercial consultants - prominent industrial uses of OCaml, or deployments in unusual situations. It will be an informal meeting, with an online scribe report of the meeting, but no formal proceedings. Slides of presentations will be available online from the workshop homepage. To submit a talk, please register a description of the talk (about 2 pages long) at http://ocaml.org/meetings/ocaml/2013/talks/ providing a clear statement of what will be brought by the talk: the problems that are addressed, the technical solutions or methods that are proposed. If you wish to perform a demo or require any special setup, we will do our best to accommodate you. Schedule ======== Abstract Submission Deadline: Friday, June 7, 2013 Notification to Speakers: Friday, July 7, 2013 Workshop: Tuesday, September 24, 2013 Program Committee ================= * Damien Doligez, INRIA Paris-Rocquencourt, France * Jun Furuse, Standard Chartered Bank, Singapore * Jacques Le Normand, Google, USA * Michel Mauny, ENSTA-ParisTech, France (chair) * Mark Shinwell, Jane Street Europe, UK * David Walker, Princeton University, USA * Jeremy Yallop, University of Cambridge, UK * Sarah Zennou, EADS IW, France If you have any questions, please e-mail: Michel Mauny -- Michel Mauny ENSTA ParisTech 828, boulevard des Maréchaux 91762 Palaiseau Cedex +33 1 8187 2032