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 5A1527EE11 for ; Wed, 20 Aug 2014 14:14:39 +0200 (CEST) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of sperber@deinprogramm.de) identity=pra; client-ip=80.91.229.3; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="gclci-caml-list@m.gmane.org"; x-sender="sperber@deinprogramm.de"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of gclci-caml-list@m.gmane.org designates 80.91.229.3 as permitted sender) identity=mailfrom; client-ip=80.91.229.3; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="gclci-caml-list@m.gmane.org"; x-sender="gclci-caml-list@m.gmane.org"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of postmaster@plane.gmane.org designates 80.91.229.3 as permitted sender) identity=helo; client-ip=80.91.229.3; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="gclci-caml-list@m.gmane.org"; x-sender="postmaster@plane.gmane.org"; x-conformance=sidf_compatible; x-record-type="v=spf1" X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgMNANqQ9FNQW+UDi2dsb2JhbAA/GoNgV7UDl0qHBk0EgRMWEAEBAQoLCxsphCcVAThKNAEEKEiIMgEINpxfpRuMHYJHhTsFlUuIToVPhF2CUod3ghpqgk8BAQE X-IPAS-Result: AgMNANqQ9FNQW+UDi2dsb2JhbAA/GoNgV7UDl0qHBk0EgRMWEAEBAQoLCxsphCcVAThKNAEEKEiIMgEINpxfpRuMHYJHhTsFlUuIToVPhF2CUod3ghpqgk8BAQE X-IronPort-AV: E=Sophos;i="5.01,901,1400018400"; d="scan'208";a="90014212" Received: from plane.gmane.org ([80.91.229.3]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES256-SHA; 20 Aug 2014 14:14:23 +0200 Received: from list by plane.gmane.org with local (Exim 4.69) (envelope-from ) id 1XK4mR-00005J-Vy for caml-list@inria.fr; Wed, 20 Aug 2014 14:14:19 +0200 Received: from p5098fefa.dip0.t-ipconnect.de ([80.152.254.250]) by main.gmane.org with esmtp (Gmexim 0.1 (Debian)) id 1AlnuQ-0007hv-00 for ; Wed, 20 Aug 2014 14:14:19 +0200 Received: from sperber by p5098fefa.dip0.t-ipconnect.de with local (Gmexim 0.1 (Debian)) id 1AlnuQ-0007hv-00 for ; Wed, 20 Aug 2014 14:14:19 +0200 X-Injected-Via-Gmane: http://gmane.org/ To: caml-list@inria.fr From: Michael Sperber Date: Wed, 20 Aug 2014 14:14:07 +0200 Message-ID: Mime-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Transfer-Encoding: 8bit X-Complaints-To: usenet@ger.gmane.org X-Gmane-NNTP-Posting-Host: p5098fefa.dip0.t-ipconnect.de User-Agent: Gnus/5.130008 (Ma Gnus v0.8) XEmacs/21.5-b34 (darwin) Cancel-Lock: sha1:VvWolIaC/sskzUfbSoRqDsz69fI= X-Validation-by: sperber@deinprogramm.de Subject: [Caml-list] Commercial Users of Functional Programming at ICFP 2014, Gothenburg, Sep 4-6 ****************************************************************** CALL FOR PARTICIPATION Commercial Users of Functional Programming (CUFP) 2014 at ICFP 2014; Gothenburg, Sweden, Sep 4-6. ****************************************************************** Overview ======== 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. 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. CUFP 2014 begins with two days of tutorials by top-notch language experts including advanced tutorials on special topics, followed by a day of talks about industrial applications of functional programming. More information about CUFP 2014 is available on the CUFP web site at http://cufp.org/2014/ Registration is available at: https://regmaster4.com/2014conf/ICFP14/register.php TUTORIALS, SEPTEMBER 4 ====================== T1: Programming with Dependent Types Ulf Norell T2: Haskell in the Real World Stefan Wehr T3: Intro to Elm: a field guide for functional front-end programming (Part 1) Evan Czaplicki & Spiros Eliopoulos T4: Elm-d3: Front-end Development without Frameworks (Part 2) Spiros Eliopoulos T5: Idris: Practical Software Verification with Dependent Types Edwin Brady T6: Lens Edward Kmett TUTORIALS, SEPTEMBER 5 ====================== T7: Introduction to OCaml Leo White & Jeremy Yallop T8: Programming in Rust Felix Klock & Lars Bergstrom T9: Tinkering with the Raspberry Pi using Erlang Torben Hoffmann T10: Hands-on Functional Web Development in F# with WebSharper Adam Granicz T11: Batteries Included: Generative Programming with Scala and LMS Tiark Rompf & Nada Amin T12: Introduction to testing with QuickCheck John Hughes TALKS, SEPTEMBER 6 ================== Keynote: Making Money From FP Joe Armstrong, Ericsson and Royal Institute of Technology in Stockholm Functional Programming at Verizon OnCue Timothy Perrett, Verizon Adopting Functional Programming with OCaml at Bloomberg LP Maxime Ransan, Bloomberg LP MBrace: large-scale programming in F# Eirik Tsarpalis, Nessos Probabilistic Synchronization of State Between Independent Nodes Erlend Hamberg Towards "annex", a Fact Based Dependency System Mark Hibberd Building data and time-series analytics tools for F# Tomas Petricek & Howard Mansell Haskell in the Misson Control Domain Michael Oswald Haskell tools for satellite operations Björn Buckwalter F# For Fun and Games Anthony Brown Some usages of functional programming for FO and quants Renaud Bechade Reactive I/O with Scala, Akka, and Play Kenneth Owens, Comcast If your server is a function, is your company a library? Andrew Cowie