2 DAY CONFERENCE

Haskell eXchange 2016

Topics covered at #haskellx

Thursday, 6th - Friday, 7th October in London

37 experts spoke.

Overview

In its fifth year, the Haskell eXchange is an annual conference created for and by the Skills Matter community. An opportunity for Haskellers to meet, learn and share skills, discover emerging technologies and help evolve the Haskell ecosystem. Everyone is welcome to join, whether you are an expert or a beginner, whether you are a commercial user, an academic or a hobbyist, we'd love it if you join us this year at the Haskell eXchange!

Thank you!!

Bigger and Better!

The fifth Haskell eXchange was a great success, growing to 3 tracks of inspiring talks and workshops. Thank you to all those who joined us, Speakers and Attendees alike, we had an awesome time and we hope you did too! A special mention to our Programme Committee who helped us build a superb schedule as well.

Registration for 2017 is Open!


Haskell eXchange 2017 will be held on 12th and 13th October 2017. Join us for another great year - don't miss our Early Bird Registration offers!

Impressions of last year

Excited? Share it!

Thanks to our sponsors

Programme

Day 1: Thursday 6th October 2016

Join us for these awesome sessions!

Track Room Name: CTRL Room Name: ALT/TAB Room Name: CMD
08:15

Registration

09:00

Haskell in the Large - The day to day practice of using Haskell to write large systems

Donald Stewart


10:00

Coffee Break

10:30

Neural Nets with Automatic Differentiation

Lars Brünjes


haskell haskellx neural nets api differentiation

Combinators for Generalised Parsing

Thomas van Binsbergen


haskell haskellx types combinator parsing

Hands On Tutorial: Build yourself a reddit bot

Ben Clifford


haskell haskell-x reddit bot api
11:15

Coffee Break

11:30

Ling, a language with predictable fusion

Nicolas Pouillard


haskell haskell-x ling fusion type-theory language-design linearity optimization system-programming

Meet Hadrian: a new build system for GHC

Andrey Mokhov


haskellx haskell hadrian ghc

Hands On Tutorial: Build yourself a reddit bot

Ben Clifford


haskell haskell-x reddit bot api
12:15

Lunch

13:30

Haskell programs: how do they run?

Tom Ellis


haskellx haskell programming

Haskell meets Java

Mathieu Boespflug


haskell haskellx java spark ffi interoperability jvm distributed-programming

Haskell and OpenCV: theory and practice

Francesco Mazzoli


haskell haskellx opencv inline-c computer-vision foreign-function-interface typelevel-programming
14:15

Coffee Break

14:30

Plugging Space Leaks, Improving Performance

Neil Mitchell


haskell haskellx spaceleak functional-programming hoogle hlint shake

Property Based Testing for your business rules too

Romeu Moura


haskell quickcheck testing algebra symmetries ddd haskellx

The innards of a purely functional 3D shooter game engine (influenced by Quake 3)

Csaba Hruska


haskell haskell-x opengl gamedev gpu dsl lambdacube3d quake game-engine
15:15

Coffee Break

15:30

Functional and low-level: watching the STG execute

David Luposchainsky


haskell haskell-x ghc stg

Proving and testing with servant

Julian Arni


Checking and translating type classes

Andres Löh


haskell haskellx typeclasses types ghc
16:15

Coffee Break

16:30

Is a type a lifebuoy or a lamp?

Conor McBride


haskellx haskell
17:30

#HaskellX 2016 Party with Pizza and Beer!

20:00

End of #HaskellX Day 1

Day 2: Friday 7th October 2016

Join us for these awesome sessions!

Track Room Name: CTRL Room Name: ALT/TAB Room Name: CMD
08:15

Registration

09:00

Calculating Correct Compilers

Graham Hutton


compilers haskell haskellx technique semantics calculation
10:00

Coffee Break

10:30

Controlling monadic effects with type classes

Andrzej Rybczak


haskell haskell-x computations monad type

Functional Programming at LumiGuide

Bas van Dijk


lumiguide functional-programming haskell haskellx

Hands On Tutorial: Haskell-tools: Refact - A refactoring framework for Haskell

Boldizsár Németh


haskell haskell-x
11:15

Coffee Break

11:30

Everything you need to know about Haskell to be an Amateur Sewage Engineer

Robin Kay


haskell haskell-x algebra programming gui domain models game types

Types All The Way Down

Kris Jenkins


haskell haskell-x types frontend backend javascript elm postgresql

Hands On Tutorial: Haskell-tools: Refact - A refactoring framework for Haskell

Boldizsár Németh


haskell haskell-x
12:15

Lunch Break

13:30

A reflection on types - Simon Peyton Jones, Microsoft Research

Simon Peyton Jones


haskell
14:30

Coffee Break

14:45

Design You a Haskell Course

Jeremy Singer


haskell haskell-x

Categories and String Diagrams

Nicolas Wu


haskell haskell-x monads

Creating digital circuits using CλaSH

Christiaan Baaij


haskell haskell-x digital-circuits fpgas parallel-programming
15:30

Coffee Break

15:45
4

Lightning Talks 1

Steven Kutsch, Jann Mueller, Matthias Fischmann, and Andor Penzes


haskell haskell-x
3

Lightning Talks 2

Robert Henderson, Philip Cunningham, and Csongor Kiss


haskell haskell-x
3

Lightning Talks 3

Michał Płachta, Oleg Grenrus, and Nickolay Kudasov


haskell haskell-x
16:30

Beer Break!

16:45

#HaskellX Park Bench Park Discussion with Haskell experts!


haskellx haskell panel
17:45

#HaskellX 2016 Wrap Up! See you in 2017!

Sponsors

Click here if you are interested in a downloadable PDF outlining sponsorship opportunities, or contact the team by email sponsors@skillsmatter.com or phone +44 208 609 7788.

Available Packages

    • 64-BIT SPONSORSHIP
    • Engage with 150 highly experienced and passionate Haskell developers and mathematicians exploring functional programming, Haskell and the Haskell stack! Show off your team, projects, tools or devices at your #HaskellX conference booth!

      Brand Visibility Benefits
      • Your logo (large) on all #HaskellXweb pages
      • Your own dedicated partner page on skillsmatter.com
      • Your logo (large) on all in-venue conference banners
      • Visibility of your brand and your support for #HaskellX in regular social media updates.
      Engagement Benefits
      • Your own booth at #HaskellX (160x80cm)
      • Your sponsored message with hot linked logo in the #HaskellX post-conference newsletter
      • Two items (leaflet, device, pen or notepad) included in all #HaskellX swag bags
      • Two Exhibitor Tickets
      • Two Full Conference Tickets to the conference, which you can gift to your clients, your engineering team or members of Computing At School (teachers learning computing to teach the new National Computing Curriculum).
    • SPONSOR THE HASKELL EXCHANGE 2016 ATTENDEE BAGS!
    • Be remembered! Have your logo printed on all #HaskellX swag bags, provided to conference attendees, speakers and sponsors attending this year.

      Brand Visibility Benefits
      • Your logo on 150 #HaskellX swag bags
      • Exclusive to two swag bag sponsors only!
    • 32-BIT SPONSORSHIP
    • Brand Visibility Benefits
      • Your logo (medium) on #HaskellX web pages
      • Your own dedicated partner page on skillsmatter.com
      • Your logo (medium) on all in-venue conference banners
      • Visibility of your brand and your support for #HaskellX in regular social media updates.
      Engagement Benefits
      • Your sponsored message with hot linked logo in the #HaskellX post-conference newsletter
      • One item (leaflet, device, pen or notepad) included in 150 #HaskellX swag bags
      • Two free exhibitor tickets and one full conference ticket, which you can gift to your clients, your engineering team or members of Computing At School (teachers learning computing to teach the new National Computing Curriculum).
    • 16-BIT SPONSORSHIP
    • Brand Visibility Benefits
      • Your logo (small) on #HaskellX web pages
      • Your own dedicated partner page on skillsmatter.com
      • Your logo (small) on all in-venue conference banners


    • T-SHIRT SPONSORSHIP
    • Be remembered! Have your logo printed on all #HaskellX t-shirts, provided to conference attendees, speakers and sponsors attending this year.

      Brand Visibility Benefits
      • Your logo on all #HaskellX t-shirts
      • Exclusive to two t-shirt sponsors only!
    • SPONSOR THE HASKELL EXCHANGE 2016 PARTY!
    • Be remembered by all conference attendees, speakers and sponsors attending the party this year! Have your logo printed on the Haskell eXchange 2015 Party beer mats and on highly visible party posters and pop-up banners, which are bound to feature in lots of pictures this year.

      Brand Visibility Benefits
      • Your logo displayed on the #HaskellX 2016 party beer mats and on the party table pop-up banners;
      • Five free tickets to the #HaskellX 2015 Party, which you can gift to your clients and team members;
      • Your logo (small) on all in-venue conference banners and on the #HaskellX 2016 Sponsor web pages;
      • Your own dedicated partner page on skillsmatter.com;
      • Exclusive to two party sponsors only!

To discuss sponsorship opportunities please contact the team:

Thanks to our sponsors

SkillsCasts
Photos
Other Years