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 80AE57EE42 for ; Mon, 10 Jun 2013 15:52:04 +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=209.85.214.41; 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 209.85.214.41 as permitted sender) identity=mailfrom; client-ip=209.85.214.41; 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-bk0-f41.google.com) identity=helo; client-ip=209.85.214.41; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="mauny.inria@gmail.com"; x-sender="postmaster@mail-bk0-f41.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AiIBACnZtVHRVdYpk2dsb2JhbABEEAaDOaxbkzMWDgEBAQEHCwsJFAQkgiQBBR0VAQ0BEhUGCgIDDAEFJgQGDA8JAwIBAgEiAQUBChITCAEBDgmHYAMPBAibcI9KhE0nAwqITAEFDI1fAxgMhQ0Dl0CBKY40P4FdglqBbw X-IPAS-Result: AiIBACnZtVHRVdYpk2dsb2JhbABEEAaDOaxbkzMWDgEBAQEHCwsJFAQkgiQBBR0VAQ0BEhUGCgIDDAEFJgQGDA8JAwIBAgEiAQUBChITCAEBDgmHYAMPBAibcI9KhE0nAwqITAEFDI1fAxgMhQ0Dl0CBKY40P4FdglqBbw X-IronPort-AV: E=Sophos;i="4.87,837,1363129200"; d="scan'208";a="17349182" Received: from mail-bk0-f41.google.com ([209.85.214.41]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 10 Jun 2013 15:52:03 +0200 Received: by mail-bk0-f41.google.com with SMTP id jc3so3361720bkc.14 for ; Mon, 10 Jun 2013 06:52:03 -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=zJGlzyLZgiRkl47AEjOLPdtE2ccnxUWLjAHsGo670zE=; b=AFDekUWFbs013s51MeRvUXVY6lpnvhbs3KRlLXrwq3HJ7n3YeXb4QrAcusNUmlBQKS MTIipADuz7kAW8j/B3ztnbs25DOIUXa3dGts1pfKcSm3DEvWGahOJLKu+IRUomnMgSGn 3N0X5Y63OET7OuKwhJVa2lejzJW00gFSBugc01sIrVO23Pz5QEy6BJM0W8/A6mio7J46 BW3xfr7ZHh/pPHxx8fUIQat0iPredYWEOb0oF4r0YzzwuBvigc7VjgIeKQZblJRx8xQg dW4ARelhqqI93zHhWi/QvhvXJRv276gZzyp7GQP4rBp4zPvAjGLOk2qkU0GUKaLzEvtM d/7Q== X-Received: by 10.204.240.79 with SMTP id kz15mr1505393bkb.112.1370872323118; Mon, 10 Jun 2013 06:52:03 -0700 (PDT) Received: from pcmm.ensta.fr (www.mauny.net. [91.121.9.195]) by mx.google.com with ESMTPSA id jm15sm3865520bkb.13.2013.06.10.06.52.01 for (version=TLSv1 cipher=RC4-SHA bits=128/128); Mon, 10 Jun 2013 06:52:02 -0700 (PDT) Sender: Michel Mauny Message-ID: <51B5D9EA.3090503@inria.fr> Date: Mon, 10 Jun 2013 15:51:38 +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] Deadline extension: OCaml 2013, new deadline on June 18 (anywhere on earth) Dear all, OCaml 2013 extends its submission deadline. The new deadline is June 18, anywhere on earth. Let me remind you that the scope of OCaml 2013 is rather broad, and includes experience reports, libraries, bindings, extensions, optimizations, and virtually everything concerning about. The only requirement is a short description of what you'd like to address, and what you'd like to present. The description does not have to be long, but should be explicit enough for the PC members to understand what your presentation is about. Some travel grants shall be available for students or people having financial difficulties for attending OCaml 2013. If you missed time for meeting the original deadline, if you use OCaml in your company and would like to share your experience with OCaml users and developers, if you have something cool to present, don't hesitate! Please forward this message to whoever could be interested, and redirect questions to Submissions are at: https://www.easychair.org/conferences/?conf=ocaml2013 Below is the full (modified) 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 New Submission Deadline: June 18, 2013 (anywhere on earth) ============================================================================== 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 ======== New Abstract Submission Deadline: Friday, June 18, 2013 (anywhere on earth) 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 question, please e-mail: Michel Mauny -- Michel Mauny ENSTA ParisTech 828, boulevard des Maréchaux 91762 Palaiseau Cedex +33 1 8187 2032 -- Caml-list mailing list. Subscription management and archives: https://sympa.inria.fr/sympa/arc/caml-list Beginner's list: http://groups.yahoo.com/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs