CUFP 2014 — Gothenburg

September 4th-6th

Tutorials

Thu-Fri September 4-5th

CUFP tutorials have become an in-depth, hands-on sessions for learning functional programming languages, libraries and toolkits directly from the experts and leaders in their fields. Register to learn more about Erlang, Rust, Haskell, OCaml, F#, Scala, Elm and Idris. Did you wonder about Agda or Lens? Or what about front-end applications with elm-d3 of WebSharper? Or property based testing with the inventor of Quick Check? Have a look at the program to find out more!

Talks

Sat September 6th

Tutorials will consist of a series of talks given by practitioners in the field. The talks will be split between experience reports, describing ways in which functional programming has been used, either successfully or unsuccessfully, in the real world; and technical talks, which will detail techniques and approaches for applying functional programming in practical settings.

BoFs

Birds-of-a-Feather sessions will consist of so-called "birds-of-a-feather" sessions, which will create spaces for informal conversations on a variety of topics. Among other things, this will be a good venue for language designers and practitioners to exchange ideas about the future of functional programming. As is typical with BoFs, topics will be chosen beforehand based on a public process for gathering proposals, organized via our website.

Day 1 - Thu Sep 4th Tutorials

9:00 AM - 12:30 PM
  • Ulf Norell Gothenburg University
9:00 AM - 12:30 PM
  • Stefan Wehr factis research GmbH
  • Emin Karayel factis research GmbH
9:00 AM - 12:30 PM
  • Evan Czaplicki Prezi
  • Spiros Eliopoulos Cornell
1:30 - 5:00 PM
  • Spiros Eliopoulos Cornell
1:30 - 5:00 PM
  • Edwin Brady University of St Andrews
1:30 - 5:00 PM
  • Edward Kmett S&P Capital IQ
6:30 - 8:30 PM

    Day 2 - Fri Sep 5th Tutorials

    9:00 AM - 12:30 PM
    • Leo White University of Cambridge
    • Jeremy Yallop University of Cambridge
    9:00 AM - 12:30 PM
    • Felix Klock Mozilla
    • Lars Bergstrom Mozilla
    9:00 AM - 12:30 PM
    • Torben Hoffmann Erlang Solutions Ltd
    1:30 - 5:00 PM
    • Adam Granicz IntelliFactory
    1:30 - 5:00 PM
    • Tiark Rompf Oracle Labs & EPFL
    • Nada Amin EPFL
    1:30 - 5:00 PM
    • John Hughes Chalmers / Quviq

    Day 3 - Sat Sep 6th Talks

    9:00 - 10:00 AMOpening remarks and keynote
    9:00 - 9:05 AM
    Opening Remarks
      9:05 - 10:00 AM
      • Joe Armstrong Ericsson and Royal Institute of Technology in Stockholm
      10:00 - 10:30 AM
      Coffee Break
        10:30 - 11:20 AMIn situ
        10:30 - 10:55 AM
        • Timothy Perrett Verizon
        10:55 - 11:20 AM
        • Maxime Ransan Bloomberg LP
        11:20 - 11:40 AM
        Break
          11:40 AM - 12:30 PMDistributed systems
          11:40 AM - 12:05 PM
          • Eirik Tsarpalis Nessos
          12:05 - 12:30 PM
          • Erlend Hamberg
          12:30 - 2:00 PM
          Lunch
            2:00 - 2:50 PMData and knowledge
            2:00 - 2:25 PM
            • Mark Hibberd
            2:25 - 2:50 PM
            • Tomas Petricek
            • Howard Mansell
            2:50 - 3:10 PM
            Break
              3:10 - 4:00 PMFunctional programming in space!
              3:10 - 3:35 PM
              • Michael Oswald
              3:35 - 4:00 PM
              • Björn Buckwalter
              4:00 - 4:30 PM
              Tea Break
                4:30 - 5:50 PMPotpourri
                4:30 - 4:50 PM
                • Anthony Brown
                4:50 - 5:10 PM
                • Renaud Bechade
                5:10 - 5:30 PM
                • Kenneth Owens Comcast
                5:30 - 5:50 PM
                • Andrew Cowie

                Program Chairs

                Program Committee

                Tutorial Organizers

                Announcements