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 B309A820A1 for ; Tue, 6 Aug 2013 19:10:03 +0200 (CEST) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of thomas.gazagnaire@gmail.com) identity=pra; client-ip=74.125.82.174; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="thomas.gazagnaire@gmail.com"; x-sender="thomas.gazagnaire@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of thomas.gazagnaire@gmail.com designates 74.125.82.174 as permitted sender) identity=mailfrom; client-ip=74.125.82.174; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="thomas.gazagnaire@gmail.com"; x-sender="thomas.gazagnaire@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-we0-f174.google.com) identity=helo; client-ip=74.125.82.174; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="thomas.gazagnaire@gmail.com"; x-sender="postmaster@mail-we0-f174.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AksCAEUtAVJKfVKuk2dsb2JhbABAGoM7AcBrFg4BAQEBBwsLCRQEJIJIIwEnAw8DDQV/AQUBIieHagMPBAgylW+DAI9RhH4nDYhYAQUMky90A5FDh0iEe4lEP4FdgmI X-IPAS-Result: AksCAEUtAVJKfVKuk2dsb2JhbABAGoM7AcBrFg4BAQEBBwsLCRQEJIJIIwEnAw8DDQV/AQUBIieHagMPBAgylW+DAI9RhH4nDYhYAQUMky90A5FDh0iEe4lEP4FdgmI X-IronPort-AV: E=Sophos;i="4.89,827,1367964000"; d="scan'208";a="23378974" Received: from mail-we0-f174.google.com ([74.125.82.174]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 06 Aug 2013 19:10:03 +0200 Received: by mail-we0-f174.google.com with SMTP id q54so624926wes.33 for ; Tue, 06 Aug 2013 10:10:02 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=sender:from:content-type:content-transfer-encoding:subject:date :message-id:to:mime-version; bh=ktpnV55Xb5SXpUMqnrgkHqiLxZ1qQcJvEHqQQGclTIk=; b=OMWVExMrrH17T3JeTJmvOtzReIy55365hQdsvuXoDLmQ9Ji32pfu8p/Dj5v3EU7PS6 tocMxHyfz7vKaNEK9vaz6sSisfdHY3Cr6l8AGzzIfFEK36zZSameLykJUB1Ragr+6Grv sFDxNZ2NJ32QnswcTBcjs0a4jP+QmO1GO4oYnCbSU2xWHx9/V+RZwOqiUBxiF3wP5FxB LJoUCV7fLOgU9VcBkg8QUyEsvD8b4NOjP5zTvkBQuniJoLlAB248Y6NwORnqPKXHbNpY Fh5TGG6s4G2KIx9sFTZR4n8H0mJtbTXwUeWEUwAO8Jdy7Vb1JnfFU6xh2k1obItOGss4 gYGA== X-Received: by 10.180.185.49 with SMTP id ez17mr2716810wic.12.1375809002592; Tue, 06 Aug 2013 10:10:02 -0700 (PDT) Received: from [192.168.0.12] (gou06-3-88-170-165-56.fbx.proxad.net. [88.170.165.56]) by mx.google.com with ESMTPSA id mb7sm3520111wic.10.2013.08.06.10.10.00 for (version=TLSv1 cipher=ECDHE-RSA-RC4-SHA bits=128/128); Tue, 06 Aug 2013 10:10:01 -0700 (PDT) Sender: Thomas Gazagnaire From: Thomas Gazagnaire Content-Type: text/plain; charset=iso-8859-1 Content-Transfer-Encoding: quoted-printable Date: Tue, 6 Aug 2013 19:09:59 +0200 Message-Id: To: Ocaml Mailing List Mime-Version: 1.0 (Apple Message framework v1085) X-Mailer: Apple Mail (2.1085) Subject: [Caml-list] Call for Participation: CUFP 2013 Hope to see some of you at CUFP this year! The program looks great, with a = nice talk by Facebook folks on how they use OCaml to analyze and type their= internal PHP codebase. Commercial Users of Functional Programming (CUFP) 2013 at ICFP 2013; Boston, MA, Sep 22-24. =20 Call for Participation =20 Functional programming has been at the forefront of a new generation of programming technologies: Companies employing functional programming use it to enable more effective, robust, and flexible software development. =20 The annual CUFP workshop is designed to serve the growing community of commercial users of functional programming: Practitioners meet and collaborate; language designers and users can share ideas about the future of their languages; experts share their expertise on practical functional programming. =20 CUFP 2013 begins with a day of talks about industrial applications of functional programming, followed by two days of tutorials by top-notch language experts including advanced tutorials on special topics. =20 More information about CUFP 2013 is available on the CUFP web site at =20 http://cufp.org/conference/schedule =20 Registration is available at: =20 https://regmaster3.com/2013conf/ICFP13/register.php =20 Note that early-registration discounts end August 22. =20 =20 TALKS, SEPTEMBER 22 =20 Keynote: "Small Talk" Dave Thomas, TBA. =20 Analyzing PHP statically (Julien Verlaguet, Facebook) =20 Introducing Erlang to OpenX (Anthony Molinaro, OpenX) =20 Redesigning the Computer for Security (Tom Hawkins, BAE Systems) =20 End to end Reactive Programming (Jafar Husain, Netflix) =20 Medical Device Automation using Message-Passing Concurrency in Scheme (Vishesh Panchal & BobBurger, Beckman Coulter Inc.) =20 Enabling Microservice Architectures with Scala (Kevin Scaldeferri, Gilt Groupe) =20 Functional Infrastructures (Antoni Batchelli, PalletOps) =20 Realtime MapReduce at Twitter (Sam Ritchie, Twitter Inc) =20 Functional Probabilistic Programming (Avi Pfeffer, Charles River Analytics) =20 Building a commercial development platform Haskell, an experience report. (Gregg Lebovitz, FP Complete) =20 Common Pitfalls of Functional Programming and How to Avoid Them: A Mobile Gaming Platform Case Study (Yasuaki Takebe, GREE, Inc) =20 Building scalable, high-availability distributed systems in Haskell (Jeff Epstein, Parallel Scientific) =20 Functional Reporting (Edward Kmett, S&P Capital IQ) =20 Enterprise Appointment Scheduling with Haskell (Ryan Trinkle, skedge.me) =20 Programming Map/Reduce in Mathematica (Paul-Jean Letourneau, Wolfram) =20 =20 TUTORIALS, SEPTEMBER 23 =20 T1: Haskell Day 1 (Andres L=F6h) =20 T2 - OCaml tutorial (Yaron Minsky & Anil Madhavapeddy) =20 T3 - Erlang 101 - Your introduction to Concurrency and Multi-core (Francesco Cesarini & Simon Thompson) =20 T4 - (Systematic generation of optimal code with MetaOCaml) Oleg Kiselyov =20 T5 - (Erlang Web frameworks) Steve Vinoski =20 =20 TUTORIALS, SEPTEMBER 24 =20 T6 - Haskell Day 2 (Simon Marlow) =20 T7 - Clojure tutorial (Luke Vander Hart) =20 T8 - The Seductions of Scala (Dean Wampler) =20 T9 - Bending Clojure to your will: Macros and Domain Specific Languages (Leonardo Borges) =20 T10 - Scalding - The Scala Tool for Data Analytics in Hadoop Systems (Dean Wampler)=