[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



--
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