[racket] 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