From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id q4E8gUIt021105 for ; Mon, 14 May 2012 10:42:30 +0200 X-IronPort-AV: E=Sophos;i="4.75,584,1330902000"; d="txt'?scan'208";a="158259284" Received: from arbois.inria.fr (HELO [128.93.11.104]) ([128.93.11.104]) by mail1-relais-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-CAMELLIA256-SHA; 14 May 2012 10:42:25 +0200 Message-ID: <4FB0C571.7060301@inria.fr> Date: Mon, 14 May 2012 10:42:25 +0200 From: Didier Remy Reply-To: Didier.Remy@inria.fr Organization: INRIA Rocquencourt User-Agent: Mozilla/5.0 (X11; U; Linux x86_64; en-US; rv:1.9.2.28) Gecko/20120313 Thunderbird/3.1.20 MIME-Version: 1.0 To: caml-list@inria.fr Content-Type: multipart/mixed; boundary="------------010006020809070306080207" Subject: [Caml-list] OCaml Users and Developers (OUD) This is a multi-part message in MIME format. --------------010006020809070306080207 Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit Dear OCaml Users and Developers, This is a reminder that this year "OCaml Meeting", renamed the "OCaml Users and Developers workshop (OUD)", will be colocated with ICFP in Copenhagen, Denmark on September 14th. The deadline for submitting Talk Proposals is 8th June 2012, only few weeks away. Visit http://oud.ocaml.org/2012/ for all details. Don't miss it! Didier --------------010006020809070306080207 Content-Type: text/plain; name="cfp.txt" Content-Transfer-Encoding: 7bit Content-Disposition: attachment; filename="cfp.txt" OCAML USERS AND DEVELOPERS WORKSHOP 2012 OUD 2012 http://oud.ocaml.org CALL FOR PRESENTATIONS Copenhagen, Denmark Fri, Sep 14th Co-located with ICFP 2012 Sponsored by SIGPLAN Talk Proposal Submission Deadline 8th June 2012 In 2012, the OCaml Meeting will be renamed the OCaml Users and Developers workshop (OUD), and be colocated with ICFP in Copenhagen, Denmark. It will be held on Friday September 14, after the ML workshop (Thu 13) and before the Commercial Users of Functional Programming (Sat 15). The OCaml Users and Developers Workshop will bring together industrial users of OCaml with academics and hackers who are working on extending the language, type system and tools. Discussion 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, 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 for this year. Slides of presentations will be available online from the workshop homepage. To submit a talk, please register an abstract or outline (1-2 pages) at http://oud.ocaml.org/talks with as much information as you feel will support the proposal. 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, 8th June 2012 Notification to Speakers: Friday, 6th July 2012 Workshop: Fri, 14th September 2012 Program Committee ================= * Didier Remy (co-chair) * Anil Madhavapeddy (co-chair) * Alain Frisch * Jacques Garrigue * Thomas Gazagnaire * Martin Jambon * Richard Jones If you have any questions, please e-mail: Didier Remy Anil Madhavapeddy --------------010006020809070306080207--