[Haskell] CUFP 2014: Call For Participation

[Edward Kmett]

******************************************************************


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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/haskell/attachments/20140818/fedb0633/attachment.html>