2 DAY CONFERENCE

Haskell eXchange 2017

Topics covered at #haskellX

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

38 experts spoke.
Overview

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!

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

Keynote: Scrap your Bounds Checks with Liquid Haskell

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

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
KEYNOTE

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

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

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!

SkillsCasts
Photos
Other Years


Thank you to our sponsors and partners


Platinum

Gold

Silver