2 DAY CONFERENCE

Haskell eXchange 2017

Topics covered at #haskellX

Thursday, 12th - Friday, 13th October in London

39 experts spoke.

Overview

Back for a sixth installment, 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!

Join us at Haskell eXchange London on October 12-13th 2017

The sixth Haskell eXchange returns with more in store for you to learn and discover! Join leading experts in the Haskell realm who will share their ideas and thought processes on all things Haskell. Follow us at #HaskellX for all the latest updates on the conference!

Thank you to all speakers, sponsors and attendees for making Haskell eXchange 2016 a memorable event!

Check out Haskell eXchange 2016's Highlights and Conversations with our experts here!



Breaking news! Simon Peyton Jones comes back to Haskell eXchange 2017!


Join us at Haskell eXchange's sixth edition as the mighty Simon Peyton Jones, one of the major contributors to the design of the Haskell programming language, will be delivering a keynote!

Tickets

Registration is open and we have some great Early Bird offers available so if you are planning to join us for two days packed with Haskell fun, get your skates on and book your ticket today!

Call for Papers now CLOSED - Check out our Programme Page for Updates!

The Call for Papers is now CLOSED! Thanks for submitting a proposal, the response's been overwhelming and we are currently working on selecting talks. Click here to stay up to date and find out more on speakers as we'll start publishing the line-up very soon!

Get Involved

Would you like to help us facilitate a great conference? Help us set up the conference spaces, introduce talks and speakers, field Q&A questions with mics, or support some of the workshops and hacks we've got in store? Sign up as a volunteer and get a free ticket to the conference!

Join us for the HaskellX Bytes evening events at CodeNode

Want to stay in the loop with the latest developments within the Haskell community?

Join us at the brand new Haskell Bytes series we'll be hosting at CodeNode leading up to Haskell eXchange 2017!

Find more information here!

Code of Conduct

Please find our Code of Conduct here.

Impressions of last year

Excited? Share it!

Thanks to our sponsors

Programme

Day 1: Day 1 - Thursday 12 Oct 2017

Join us for these awesome sessions!

Track Room Name: CTRL Room Name: SHIFT Room Name: CMD
08:30

Registration & Breakfast Refreshments

09:15

Opening & Welcome

09:30

Keynote: Scrap your Bounds Checks with Liquid Haskell

Gabriel Gonzalez

all levels


haskell haskellx liquid-haskell refinement-types parsing performance
10:30

Coffee Break

10:45

Fast XML Parsing with Haskell

Neil Mitchell

beginner


haskellx haskell performance xml parsing ffi

Antidote - Just the Right Kind of Consistency for your Data

Annette Bieniusa

beginner


haskellx haskell nosql data-store replicated-data consistency cloud-computing edge-computing

Workshop: Practical Parser Combinators

Ben Clifford

beginner


haskellx haskell parser parsers
11:30

Coffee Break

11:45

Welcome to the Machines

Alois Cochard

advanced


haskellx haskell

Data Science in Haskell: Solutions and Challenges

Tom Nielsen

beginner


haskellx haskell bigdata datascience

Workshop: Practical Parser Combinators

Ben Clifford

beginner


haskellx haskell parser parsers
12:30

Lunch Break!

13:30

A Look Inside GHC's Optimiser

Matthew Pickering

advanced


haskell haskellx functional-programming ghc optimisation

Lazy Interactions - Back to the Future

Simon Thompson

beginner


haskell haskellx erlang functional-programming lazy-evaluation stream io list

Individualisation of Extensible Workflows

Arie Middelkoop

advanced


haskellx haskell workflows edsl typelevel-programming attribute-grammars
14:15

Coffee Break

14:30

Geometric Algebra in Haskell

Chris Doran

beginner


types recursion lazy-evaluation list-processing geometric-algebra haskell geometric algebra mathematics

Signature Inference for Functional Property Discovery

Tom Sydney Kerckhove

beginner


haskellx haskell testing random-testing property-testing property-discovery unit-testing

Algebraic Design of DSLs

Ritesh Ragavender

advanced


haskell haskellx type-systems large-system-design dsl startups
15:15

Coffee Break

15:30

Change in an Immutable World – Taming IO, ST, and the Demons of Unsafety

David Luposchainsky

advanced


haskellx haskell immutable io

New Hasql: Faster and Simpler

Nikita Volkov

beginner


haskellx haskell postgresql database driver hasql

Kalman Filters

Dominic Steinitz

advanced


haskell haskellx kalman-filter
16:15

Beer Break

16:30

Keynote: A Monoid for All Seasons

Julie Moronuki

all levels


haskell haskellx monoid pattern haskell-teaching haskell-books typeclasses boolean-algebra applicatives
17:30

Beer Break!

17:45

Park Bench Panel Session with #HaskellX Experts!

all levels


haskell
18:45

#HASKELLX PARTY WITH PIZZA & BEER!

21:00

End of Day 1

Day 2: Day 2: Friday 13 Oct 2017

Join us for these awesome sessions!

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

Registration & Breakfast Refreshments

09:15

Welcome to Day 2

09:30

Keynote: Compiling without Continuations

Simon Peyton Jones

all levels


haskell haskellx types monads compile compiler ghc
10:30

Coffee Break

10:45

Distributed Programming with Linear Types

Arnaud Spiwack

advanced


haskellx haskell programming types

The Arpeggigon: A Functional Reactive Musical Automaton

Henrik Nilsson

beginner


functional-reactive-programming reactive-value synchronous-dataflow hybrid-systems music
2

Workshop: Advanced Haskell Development with Nix

Peter Simons and Bas van Dijk

beginner


haskellx haskell nix
11:30

Coffee Break

11:45

Incremental Computing

Wolfgang Jeltsch

advanced


haskellx haskell incremental-computing dsl type-system types algorithms frp

Algebraic Graphs

Andrey Mokhov

beginner


haskell haskellx graph algebra
2

Workshop: Advanced Haskell Development with Nix

Peter Simons and Bas van Dijk

beginner


haskellx haskell nix
12:30

Lunch Break

13:30

Static Pointers, Closures and Polymorphism

Edsko de Vries

advanced


haskell haskellx static-pointers distributed-computing cloud-haskell sparkle

How to Architect Medium to Large-Scale Haskell Applications

Jasper Van der Jeugt

beginner


haskell haskellx types.hs utils.hs main.hs

An EDSL for KDB/Q: Rationale, Techniques and Lessons Learned

Tim Williams

advanced


haskell haskellx dsl compiler recursion
14:15

Coffee Break

14:30

Through a Glass, Abstractly: Lenses and the Power of Abstraction

Adam Gundry

advanced


haskellx haskell functional-programming lenses optics abstraction

Multiplayer Game from Scratch

Nickolay Kudasov

beginner


haskell haskellx games

Functional Programming with Bananas in Barbed Wire

Michał Kawalec

advanced


haskellx haskell recursion compiler abstraction types type-system
15:15

Coffee Break

15:30

Lightning Talk: Stolen Instances Taste Just Fine

Baldur Blondal


ghc haskell typeclasses applicatives monoid types pattern deriving

Lightning Talk: Elliptic Curve Cryptography

Thomas Dietert


haskell public-key-cryptography cryptography digital-signature ecdsa

Lightning Talk: Declaring Data Management Applications with Herculus

Moritz Drexl


heculus haskell data-management apps relational-data
15:45

Lightning Talk: Writing an Assembler Back-end in Haskell is Easier Than You Think (Honest!)

Peter Trommler


haskell -ghc -native-code -peephole-optimisation ghc native-code peephole-optimisation linux

Lightning Talk: Our Tools for Mobile Haskell Games and Apps

Ivan Perez


haskell android ios mobile games testing

Lightning Talk: Protop--Dependent Types through Topoi

Lars Brünjes


haskell types
16:00

Lightning Talk: Properties Meets Quality Assurance Test Design Principles

Andor Penzes


haskell test testing

Lightning Talk: Dependent Maps

Will Jones


haskell dependent-types

Lightning Talk: Engage Clutch, Shift Gear; ROFL!

Gabor Greif


haskell type algorithm effect-ordering shallow-embedding
16:30

Beer Break!

16:45

Keynote: Category Theory in Life

Dr Eugenia Cheng

all levels


haskell haskellx category-theory
17:45

Wrap Up Presentation

18:00

End of #HaskellX 2017! See you in 2018!

Sponsors

Whether you are seeking to improve visibility of your tools, devices or projects, or simply would like to support Haskell eXhange's passionate community through your engagement, our sponsorship team will be able to help you select the best sponsorship package for you! Email sponsors@skillsmatter.com or phone 0207 183 9040.

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

    • 256-BIT SPONSORSHIP
    • Engagement Benefits

      • Exhibitor booth (4.5m x 2.5m) in central conference break-out area
      • 8 free conference tickets, worth £650 each (subject to availability) 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)
      • 8 free exhibitor passes
      • 6 of your #haskellx related tweets retweeted by @skillsmatter before or during the conference
      • 50 conference party drink tokens to give away at your booth
      • 3 gifts or printed items in swag bags
      • 4 places at speakers dinner
      • Your 300-word news item, interview or blog post plus visual announced on conference sneak preview pages and in social media
      • Set one of the Hack Challenges and award a prize to the winner of your challenge
      • Your 140 char post-conference News Item & hotlinked URL shared in post-conference email shared with all attendees

      Brand Visibility Benefits

      Your (extra large) logo displayed on:

      • HaskellX 2017 Sponsor Pages (size relative to sponsorship level)
      • Your dedicated 200-word Company Profile with visual on skillsmatter.com
      • All HaskellX 2017 Conference Pages (at bottom of page)
      • HaskellX Bytes Meetup pages, which feature monthly community events leading up to the conference
      • In pre- and post conference attendee news update emails
      • Name badges worn by every attendee
      • Printed conference programme booklet
      • Main Stage re-Boards and on banners throughout the venue
      • Conference Closing Speech Sponsor Thank You Slide
      • Conference swag bags
      • Lanyards worn by every attendee
      • Conference t-shirt

      Featured at the HaskellX 2017 Party

      • On party tickets
      • On beer mats
      • On party banners
    • 128-BIT SPONSORSHIP
    • Engagement Benefits

      • Exhibitor booth (3m x 1.5m) in central conference break-out area
      • 6 free conference tickets, worth £650 each (subject to availability) 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)
      • 6 free exhibitor passes
      • 4 of your #haskellx related tweets retweeted by @skillsmatter before or during the conference
      • 25 conference party drink tokens to give away at your booth
      • 2 gifts or printed items in swag bags
      • 2 places at speakers dinner
      • Your 300-word news item, interview or blog post plus visual announced on conference sneak preview pages and in social media
      • Set one of the Hack Challenges and award a prize to the winner of your challenge
      • Your 140 char post-conference News Item & hotlinked URL shared in post-conference email shared with all attendees

      Brand Visibility Benefits

      Your (large) logo displayed on:

      • HaskellX 2017 Sponsor Pages (size relative to sponsorship level)
      • Your dedicated 200-word Company Profile with visual on skillsmatter.com
      • All HaskellX 2017 Conference Pages (at bottom of page)
      • HaskellX Bytes Meetup pages, which feature monthly community events leading up to the conference
      • In pre- and post conference attendee news update emails
      • Name badges worn by every attendee
      • Printed conference programme booklet
      • Main Stage re-Boards and on banners throughout the venue
      • Conference Closing Speech Sponsor Thank You Slide
      • Conference swag bags

      Featured at the HaskellX 2017 Party

      • On party tickets
      • On beer mats
    • 64-BIT SPONSORSHIP
    • Engagement Benefits

      • Exhibitor booth (1.5m x 1.5m) in central conference break-out area
      • 4 free conference tickets, worth £650 each (subject to availability) 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)
      • 4 free exhibitor passes
      • 2 of your #haskellx related tweets retweeted by @skillsmatter before or during the conference
      • 10 conference party drink tokens to give away at your booth
      • 1 gift or printed item in swag bags
      • Your 300-word news item, interview or blog post plus visual announced on conference sneak preview pages and in social media
      • Your 140 char post-conference News Item & hotlinked URL shared in post-conference email shared with all attendees

      Brand Visibility Benefits

      Your (medium size) logo displayed on:

      • HaskellX 2017 Sponsor Pages (size relative to sponsorship level)
      • Your dedicated 200-word Company Profile with visual on skillsmatter.com
      • All HaskellX 2017 Conference Pages (at bottom of page)
      • HaskellX Bytes Meetup pages, which feature monthly community events leading up to the conference
      • In pre- and post conference attendee news update emails
      • Name badges worn by every attendee
      • Printed conference programme booklet
      • Main Stage re-Boards and on banners throughout the venue
      • Conference Closing Speech Sponsor Thank You Slide
    • 32-BIT SPONSORSHIP
    • Engagement Benefits

      • Flipchart at Haskell eXchange in central conference break-out area
      • 2 free conference tickets, worth £650 each (subject to availability) 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)
      • 2 free exhibitor passes
      • 1 of your #haskellx related tweets retweeted by @skillsmatter before or during the conference
      • 1 gift or printed item in swag bags

      Brand Visibility Benefits

      Your (small) logo displayed on:

      • HaskellX 2017 Sponsor Pages (size relative to sponsorship level)
      • Your dedicated 200-word Company Profile with visual on skillsmatter.com
      • All HaskellX 2017 Conference Pages (at bottom of page)
      • Name badges worn by every attendee
      • Printed conference programme booklet
      • Main Stage re-Boards and on banners throughout the venue
      • Conference Closing Speech Sponsor Thank You Slide
    • 16-BIT SPONSORSHIP
    • Engagement Benefits

      • 1 free exhibitor pass
      • 1 gift or printed item in swag bags

      Brand Visibility Benefits

      Your (extra small) logo displayed on:

      • HaskellX 2017 Sponsor Pages (size relative to sponsorship level)
      • Your dedicated 200-word Company Profile with visual on skillsmatter.com
      • All HaskellX 2017 Conference Pages (at bottom of page)
      • Name badges worn by every attendee
      • Printed conference programme booklet
      • Main Stage re-Boards and on banners throughout the venue


To discuss sponsorship opportunities please contact the team:

Thanks to our sponsors

SkillsCasts
Photos
Other Years