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 A67C27EE25 for ; Tue, 4 Jun 2013 17:48:44 +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.53; 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.53 as permitted sender) identity=mailfrom; client-ip=209.85.214.53; 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-f53.google.com) identity=helo; client-ip=209.85.214.53; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="mauny.inria@gmail.com"; x-sender="postmaster@mail-bk0-f53.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AiQBAHwLrlHRVdY1k2dsb2JhbABEEAaDOb4RAYIEFg4BAQEBBwsLCRQEJIIkAQUdFQENARIVEAIDDAEFJgoMDwkDAgECASIBBQEcEwgBAReHYAMPBAifSI9JhRwnDYhcAQUMjUsDGAyFCAOXP4EpjjI/gV2CWoFv X-IPAS-Result: AiQBAHwLrlHRVdY1k2dsb2JhbABEEAaDOb4RAYIEFg4BAQEBBwsLCRQEJIIkAQUdFQENARIVEAIDDAEFJgoMDwkDAgECASIBBQEcEwgBAReHYAMPBAifSI9JhRwnDYhcAQUMjUsDGAyFCAOXP4EpjjI/gV2CWoFv X-IronPort-AV: E=Sophos;i="4.87,800,1363129200"; d="scan'208";a="20285742" Received: from mail-bk0-f53.google.com ([209.85.214.53]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 04 Jun 2013 17:48:44 +0200 Received: by mail-bk0-f53.google.com with SMTP id mx10so266727bkb.12 for ; Tue, 04 Jun 2013 08:48:43 -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:references:in-reply-to:content-type :content-transfer-encoding; bh=cDE10c9uywkD+xkeQEAVQ/6GWPJSRXsY8Yfiu2L2DrI=; b=vtAWpaj/fkq/EZLvTw2eGLLVADBH/EN2Phz6gHwnVQOJNAiwOqa4f3BZUVHDGumP74 qknJ+JeHrveitt0Ac1u7c2f34kuBiQJQxZTqrn62LCt6VktFKJQ05zGUxme2NQoYzonD L7QD+dL5ctojV/RXCWbspxjoGSBRwUxjsujyAxNpP5Nyg6dfkbkONgv/8Vdzt6Zv6nEY lvWoZojD3zclZNHuNvUkzkZybLFDlTBR3c9YYlfj2qTA6NsYiGzeK2LN6YZEvJoHT7oM I2Wgxm7fPUrafQFwT8GNeTtVZYGwNB9cYV2YNLsrEwdNlOiS9b/o/x16Rxd1krXTLCu/ VNMg== X-Received: by 10.204.228.136 with SMTP id je8mr8092126bkb.93.1370360923530; Tue, 04 Jun 2013 08:48:43 -0700 (PDT) Received: from pcmm.ensta.fr (www.mauny.net. [91.121.9.195]) by mx.google.com with ESMTPSA id fz10sm23471849bkc.9.2013.06.04.08.48.40 for (version=TLSv1 cipher=RC4-SHA bits=128/128); Tue, 04 Jun 2013 08:48:41 -0700 (PDT) Sender: Michel Mauny Message-ID: <51AE0C4C.7020006@inria.fr> Date: Tue, 04 Jun 2013 17:48:28 +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: 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, deadline at the end of the week Dear OCaml enthusiasts, Let me remind you that the deadline for submissions to OCaml 2013 is approaching (June 7)!. Please forward this message to whoever could be interested. Submissions at: https://www.easychair.org/conferences/?conf=ocaml2013 Below is the full call for presentations. All the best, - Michel Mauny ============================================================================== 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