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 mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 2D82F7EE51 for ; Tue, 16 Apr 2013 20:54:56 +0200 (CEST) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of mauny.inria@gmail.com) identity=pra; client-ip=74.125.82.46; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="mauny.inria@gmail.com"; x-sender="mauny.inria@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of mauny.inria@gmail.com designates 74.125.82.46 as permitted sender) identity=mailfrom; client-ip=74.125.82.46; receiver=mail3-smtp-sop.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 (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-wg0-f46.google.com) identity=helo; client-ip=74.125.82.46; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="mauny.inria@gmail.com"; x-sender="postmaster@mail-wg0-f46.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Am0CAHKdbVFKfVIujWdsb2JhbAA6EAaDPMIHFg4BAQEBBwsLCRIGJIIhIiMBEiUCAw0FJgoMGAMCAQIBIgEFAS8IAQEWAYdnAw8ECJskgnKOIIEKhSwnDYlXAQUMjUIDGAyEcgOXBoEjhGSJKz9GgROCV4Fx X-IPAS-Result: Am0CAHKdbVFKfVIujWdsb2JhbAA6EAaDPMIHFg4BAQEBBwsLCRIGJIIhIiMBEiUCAw0FJgoMGAMCAQIBIgEFAS8IAQEWAYdnAw8ECJskgnKOIIEKhSwnDYlXAQUMjUIDGAyEcgOXBoEjhGSJKz9GgROCV4Fx X-IronPort-AV: E=Sophos;i="4.87,487,1363129200"; d="scan'208";a="11191130" Received: from mail-wg0-f46.google.com ([74.125.82.46]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 16 Apr 2013 20:54:55 +0200 Received: by mail-wg0-f46.google.com with SMTP id e11so820836wgh.13 for ; Tue, 16 Apr 2013 11:54:55 -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:to:subject:content-type :content-transfer-encoding; bh=KDwMfKNDc/8vgJfwbqVXy/5JOijmc8b95nsL7j9/7h0=; b=XdozIsYG/PZXofIGbvi4oyzem7Aexi4xQhhnIQu7JLqcRPKp/2V85LsHfW/AWITSvs zN6xrgsqfWmveu6nOJJrS20TFpI5h/o6MeFEXyfhALxMn/3PJAEQcvzVG3FoXSF9yGsv beA7F8o2lcuFVB3zbC2vGFE9pLxG5Qb9qZFM7xQmHOn8+VmUVgynxP2fwj3NkLL0BHug TEyVM7JQjakktkKJ8kaPV3xm5cxuqSNHMsZt7xw2tH1s6P3Vzcw17jDC5htaQuyoP9gC 5dzncFP4cFBc0XS+wVuzBSZHdio7v/8W/Ktq0FwqIWrU7NNZlymbwkenSulxk/kA/Amo dtPQ== X-Received: by 10.180.75.52 with SMTP id z20mr21193576wiv.1.1366138495160; Tue, 16 Apr 2013 11:54:55 -0700 (PDT) Received: from [10.0.0.11] (www.mauny.net. [91.121.9.195]) by mx.google.com with ESMTPS id ek4sm21152863wib.11.2013.04.16.11.54.53 (version=TLSv1 cipher=RC4-SHA bits=128/128); Tue, 16 Apr 2013 11:54:54 -0700 (PDT) Sender: Michel Mauny Message-ID: <516D9E6A.7010804@inria.fr> Date: Tue, 16 Apr 2013 20:54:34 +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 To: caml-list@inria.fr Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 7bit Subject: [Caml-list] OCaml 2013 - Call for presentations Dear List, Here is the call for presentations to OCaml 2013, the OCaml Users and Developers Workshop, to be held in Boston, on September 24, 2013. The submission site should open in a few days. News about the workshop will be posted here as well as at http://ocaml.org/meetings/ocaml/2013/ ============================================================================== 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