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 A7A987EE25 for ; Fri, 7 Jun 2013 15:24:51 +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: At4AAJvesVFKfVK0jWdsb2JhbABDEAaDOQG+b34WDgEBAQEHCwsJEgYkgiQBBR0VAQ0BEhUQAQEDDAEFBSEKDA8JAwIBAgEiAQUBHAYNAQcBAReHYAMPBAieao9JhSwnDYhMAQUMjV8DGAxzhBYDl0CBKYR2iT4/gV2CWoFv X-IPAS-Result: At4AAJvesVFKfVK0jWdsb2JhbABDEAaDOQG+b34WDgEBAQEHCwsJEgYkgiQBBR0VAQ0BEhUQAQEDDAEFBSEKDA8JAwIBAgEiAQUBHAYNAQcBAReHYAMPBAieao9JhSwnDYhMAQUMjV8DGAxzhBYDl0CBKYR2iT4/gV2CWoFv X-IronPort-AV: E=Sophos;i="4.87,822,1363129200"; d="scan'208";a="20860473" Received: from mail-we0-f180.google.com ([74.125.82.180]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 07 Jun 2013 15:24:51 +0200 Received: by mail-we0-f180.google.com with SMTP id w56so3114425wes.11 for ; Fri, 07 Jun 2013 06:24:51 -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=jpsluVbwBSHu5p5UibmxS3aUg1+/FCg1gR2XeUQX9tw=; b=REsthXnIyBP2sXl/wdowZgs4s/WXimCbIxtQtCQ8gZU0G6s9Gxx72Sq8YNbUZvnYu1 r25i7/GUBmxvjXJS1+sAC5nqx1AkKlYuuuzKLQ79aXciZokerb0cTDlhs5pm/rRTKgHU 8/x4ZXTQ5A1UBXqH8/LtuQgWLoIdHEdsyMdpSIuhejggcl4Z4a0yEmtvU+sNoG2FfkcP nFdM84BbC9fJ0ttrU+EhLLCi/yQiSZo0k4WK38vWJoRcngJvwoR423Vqh8PtAtk9Js4H cmBgws/LNRvku37vgoVe3+1NMJNWV/41MBgYU5B5hBsVuaDsT79d9B0BchDhtVD1dild 50zQ== X-Received: by 10.194.179.33 with SMTP id dd1mr9480825wjc.51.1370611490979; Fri, 07 Jun 2013 06:24:50 -0700 (PDT) Received: from [10.0.0.11] (www.mauny.net. [91.121.9.195]) by mx.google.com with ESMTPSA id fx7sm22515900wic.11.2013.06.07.06.24.48 for (version=TLSv1 cipher=RC4-SHA bits=128/128); Fri, 07 Jun 2013 06:24:49 -0700 (PDT) Sender: Michel Mauny Message-ID: <51B1DF1F.8060303@inria.fr> Date: Fri, 07 Jun 2013 15:24:47 +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> <51AE0C4C.7020006@inria.fr> In-Reply-To: <51AE0C4C.7020006@inria.fr> Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 8bit Subject: Re: [Caml-list] [Reminder] CFP: OCaml 2013, deadline at the end of the week Hi, Let me be more precise about the deadline for submitting presentations for OCaml 2013: it is "June 7, anywhere on earth", as I've read on another CFP. Also, some people wonder whether they should have *exactly* two pages. Of course not, it could me a little more, or a little less. The important thing is that the PC understands what you are addressing, and what you did/propose/plan-to-do. Thanks for your submissions, - Michel Michel Mauny écrit/writes [04/06/2013 17:48] : > 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