Alxzv4lfjvsdepktmzpc
2 DAY CONFERENCE

Haskell eXchange 2019

Topics covered at #haskellX
Book Now: £695 £595 + VAT Book by 23rd Sep and Save £100!

Thursday, 10th - Friday, 11th October at CodeNode, London

33 experts. will be speaking. Starts at 8:30 AM.

Overview

Back for its eighth instalment, 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, a beginner, a commercial user, an academic or a hobbyist, we'd love it if you join us this year at the Haskell eXchange!


A 2 day conference on everything Haskell

We are very proud to announce that Simon Peyton Jones, Philip Wadler and Gabriele Keller will be sharing a Keynote talk at Haskell eXchange 2019!

We're looking forward to learning from these Haskell eXchange experts and we hope you are too! Check out the latest updates to the line-up on our programme for all updates on our line-up!

View all confirmed talks so far →


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!

Haskell eXchange 2019 Diversity Scholarship Plan

The Haskell eXchange 2019 Diversity Scholarship Plan is now closed, thank you to all those who applied, and please feel free to apply again next year.

Volunteer

Get a free ticket in exchange for some help setting up the conference and a few hours on the days of the conference.

More information here


Code of Conduct

We are committed to providing a friendly, safe and welcoming environment for all. Learn more in our Code of Conduct.



Tickets

Payment by major credit/debit cards, PayPal & Bank Transfer is accepted.

Book Now →

Programme

Learn more about the expert speakers and topics.

View The Programme →

Watch Last Year's Talks

View free SkillsCast recordings of last year's talks.

View SkillsCasts →



Excited? Share it!

Thanks to our sponsors

Programme

Day 1: Thursday 10th October

Don't miss these amazing talks! Please note that this schedule is still subject to changes - watch this space :)

Track Track 1 Track 2 Track 3
08:30

Registration & Breakfast

09:00

Welcome to Haskell eXchange 2019 - Day 1

09:15

Keynote: Revisiting Pattern Match Overlap Checks

Simon Peyton Jones


ghc keynote haskell
10:15

Tea & Coffee Break

10:30

Row Row Row Your Types

Simon Hafner


purescript row-types ghc haskell

Stick to Simple Haskell

Marco Sampellegrini


types type-level ghc haskell

Haskelling Against the Odds: Memoir of an FP Advocate in the Third World

Mfon Eti-mfon


lifelong-learner fp haskell
11:15

Tea & Coffee Break

11:30

Build Systems à la Carte

Andrey Mokhov


haskell build-systems

Automating Elaborate-Transform-Load for Busy Data Scientists

Michał Gajda


data parsing csv etl metadata ingest xml json bigdata analytics datascience haskell

Functional Lenses Through a Practical Lens

Sara Fransson


optics lenses haskell
12:15

Lunch

13:15

This Ain't Your Daddy's Probability Monad - Modelling Probabilistic Time in Haskell

Lars Brünjes


network-modelling time probability monad haskell

What To Do When You Have Plenty of (Non-)Haskell

Mathieu Boespflug


ghc codebases haskell

The Scope of Effects

Nicolas Wu


effect-handlers free-monad haskell
14:00

Tea & Coffee Break

14:15
2

Workshop: Build a command line tool in Haskell

Oliver Charles and Ben Clifford


hands-on cli workshop tooling haskell

Workshop: Nix & Haskell: From Hello World To Deploying To Production

Tobias Pflug


tooling nixos nix haskell

90 Minute Workshop (TBC)


haskellx haskell
15:45

Tea & Coffee Break

16:00

Keynote to be Confirmed (1h)


keynote haskell
17:00

Beer Break

17:15

Park Bench Panel

Ben Clifford


park-bench-panel haskellx haskell
18:15

Haskell eXchange Party!

22:00

End of Haskell eXchange 2019 Day 1 - See you tomorrow!

Day 2: Friday 11th October

Don't miss these amazing talks! Please note that this schedule is still subject to changes - watch this space :)

Track Track 1 Track 2 Track 3
08:30

Registration & Breakfast

09:15

Keynote: (Programming Languages) in Agda = Programming (Languages in Agda)

Philip Wadler


propositions agda keynote functional-programming types haskell
09:15

Welcome to Haskell eXchange 2019 - Day 2

10:15

Tea & Coffee Break

10:30

Porcupine: Flows Your Rows with Arrows

Yves Parès


constrained-framework data porcupine haskell

Using Haskell and Symbolic Execution to Verify Spacecraft Control Programs

Georgy Lukyanov


edsls automated-theorem-proving symbolic-execution formal-verification haskell

Categories and State Machines

Marcin Szamotulski


state-machines kleisli-categories categories haskell
11:15

Tea & Coffee Break

11:30

Gazing into the Void: Understanding Space (Leaks)

Matthew Pickering


memory-usage-of-programs tooling haskell

Seven Scribbles in Compositionality

Irene Papakonstantinou


categorytheory haskell

Category Theory using String Diagrams

Zans Mihejevs


category-theory haskell
12:15

Lunch

13:15

JavaScript for Idris Developers

Tom Harding


type-system ramda.js idris javascript haskell

Cleaning the Big Picture: Creating Maintainable Mobile Games in Haskell

Christina Zeller


clean-code ios android mobile game-apps haskell

Parsley: A Staged Selective Parser Combinator Library

Jamie Willis


domain-specific-languages performance meta-programming parser-combinators parsers haskell
14:00

Tea & Coffee Break

14:15
2

Principled Testing of Functional Reactive Systems

Ivan Perez and Henrik Nilsson


full-reproducibility cross-platform-testing-frameworks property-based-testing frp functional-reactive-programming haskell

Fixing Haskell Records

Neil Mitchell


records haskell daml

GHC Runtime Linker by Example

Artem Pyanykh


runtime linker compiler ghc haskell
15:00

Tea & Coffee Break

15:15

Lightning talk: Evolving an Entity-Component Game Engine in Haskell

Tom Johnson


types entity haskell

Lightning Talk: The Power Of Const

Markus Hauck


const datatypes functors fp haskell

Lightning Talk: The Elm Architecture in Haskell: Managing state with multiple threads

Marcelo Lazaroni


architecture elm fp haskell
15:30

Lightning Talk: The Anatomy of an X-GRIN Back End. Showcase: Idris.

Andor Penzes


abstract-interpretation compiler-construction haskell

Lightning Talk: Ideas for Future Haskell Tooling

Csaba Hruska


ux programming-environment optimization tooling haskell

15 minute Lightning Talk (TBC)


haskellx haskell
15:45

15 minute Lightning Talk (TBC)


haskellx haskell

15 minute Lightning Talk (TBC)


haskellx haskell

15 minute Lightning Talk (TBC)


haskellx haskell
16:00

Tea & Coffee Break

16:15

Keynote: Gabriele Keller

Gabriele Keller


functional-programming haskell
17:15

Haskell eXchange 2019 Wrap Up Presentation

17:25

End of Haskell eXchange 2019 - See you in 2020!

Sneak Preview

Excited to have Philip Wadler joining us this year for a Haskell eXchange London keynote!




Philip Wadler is a winner of the POPL Most Influential Paper Award, has contributed to the designs of Haskell, Java, and XQuery, and is a co-author of Introduction to Functional Programming (Prentice Hall, 1988), XQuery from the Experts (Addison Wesley, 2004) and Generics and Collections in Java (O'Reilly, 2006). He has delivered invited talks in locations ranging from Aizu to Zurich.


What will you be sharing this year? What inspired you to give this talk?

I've written a new textbook, Programming Language Foundations in Agda, and I'm looking forward to telling folk about it. (Programming Languages) in Agda = Programming (Languages in Agda) The most profound connection between logic and computation is a pun.

The doctrine of Propositions as Types asserts that propositions correspond to types, proofs to programs, and simplification of proofs to evaluation of programs. The proof of a conjunction is a pair, the proof of a disjunction is a case expression, and the proof of an implication is a lambda expression. Proof by induction is just programming by recursion. Dependently-typed programming languages, such as Agda, exploit this pun. To prove properties of programming languages in Agda, all we need do is program a description of those languages Agda. Finding an abstruse mathematical proof becomes as simple and as fun as hacking a program.


Do you have any blog posts/podcasts or materials you think people might enjoy reading before coming along to your talk?

This talk introduces Programming Language Foundations in Agda, a new textbook that is also an executable Agda script---and also explains the role Agda is playing in IOHK's new cryptocurrency. The textbook can be found here: http://plfa.inf.ed.ac.uk


Catch Philip Wadler at Haskell London this October! More info on our Programme Page


Venue

CodeNode

CodeNode is the UK's largest venue dedicated to Technology events and was designed to provide a space for Skills Matter's community of software professionals to come together and enjoy meetups, conferences, training and networking events. With fantastic transport links and located in the heart of London's Tech City, Codenode welcomes thousands of engineers each year, who come together to learn and share skills, exoerience and collaborate on projects.

CodeNode features six dedicated event spaces, a large break-out area, complete with fully-licensed bar, reliable wifi, plenty of power sockets, and 6 dedicated event and collaboration spaces.

H0ychpcrxfvcdujzguuq

CodeNode

10 South Place, London, EC2M 7EB, GB


View details, travel and nearby hotels
Get Involved

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!

Volunteer at Haskell eXchange 2019!

Want 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!

We ask all volunteers to help us with the set up of the conference on 10 October (the day before the conference) and and some hours of your time during the conference, for example to compare the talks or help field questions with mics.

If that sounds like fun, email conferences@skillsmatter.com and we'll be in touch shortly to sign you up to this year's volunteering team.

Haskell eXchange 2019 Diversity Scholarship Plan

The Haskell eXchange 2019 Diversity Scholarship Plan is now closed, thank you to all those who applied, and please feel free to apply again next year.

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.

Available Packages

    • 64-BIT SPONSORSHIP
    • Engagement Benefits

      • Exhibitor booth (3m x 1.5m) in central conference break-out area
      • 4 free conference tickets (subject to availability) which you can gift to your clients or your engineering team
      • 4 free exhibitor passes
      • 4 Tweets retweeted by @skillsmatter before and during the conference and highlighted as part of tweets trending with #HaskellX
      • 28 conference party drink tokens to give away at your booth
      • 2 gift or printed item in swag bags
      • 2 places to attend our Speakers reception drinks
      • 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 logo (size relevant to sponsorship level) displayed on:

      • Haskell eXchange 2019 Sponsor Pages (size relative to sponsorship level)
      • Your dedicated 200-word Company Profile with visual on skillsmatter.com
      • All Haskell eXchange London 2019 Conference Pages (at bottom of page)
      • 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
      • All digital signage throughout conference venue, if any
      • Conference Closing Speech Sponsor Thank You Slide

      64-BIT Sponsorship Bonus Add-Ons Available

      Your logo on all conference Swag Bags (£5000) Your logo on all conference attendee T-shirts (£5000) Your logo on conference lanyards worn by all conference attendees (£3500) Your logo on Haskell eXchange London 2019 Party branding (e.g. beer mats, banners, balloons) (£2,500)

    • 32-BIT SPONSORSHIP
    • Engagement Benefits

      • Exhibitor booth (1.5m x 1.5m) in central conference break-out area
      • 2 free conference tickets, (subject to availability) which you can gift to your clients or your engineering team
      • 2 free exhibitor passes
      • 10 conference party drink tokens
      • 2 Tweets retweeted by @skillsmatter before and during the conference and highlighted as part of tweets trending with #ProgNET
      • 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
      • 140 character post-conference news item will be shared via hotlinked url in post-conference email to all attendee

      Brand Visibility Benefits

      Your logo (size relative to sponsorship level) displayed on:

      • Haskell eXchange 2019 Sponsor Pages (size relative to sponsorship level)
      • Your dedicated 200-word Company Profile with visual on skillsmatter.com
      • All Haskell eXchange London 2019 Conference Pages (at bottom of page)
      • All 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
      • Digital signage throughout the venue, if any
      • Conference Closing Speech Sponsor Thank You Slide
    • 16-BIT SPONSORSHIP
    • Engagement Benefits

      • 1 flipchart (1m²) in central conference breakout area
      • 1 free exhibitor pass
      • 1 free conference pass (subject to availability)
      • 1 gift or printed item in swag bags
      • 1 tweet retweeted by @skillsmatter before and during the conference and highlighted as part of tweets trending with #HaskelleXchange

      Brand Visibility Benefits

      Your logo (size relative to sponsorship level) displayed on:

      • Haskell eXchange 2019 Sponsor Pages (size relative to sponsorship level)
      • Your dedicated 200-word Company Profile with visual on skillsmatter.com
      • All Haskell eXchange 2019 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
      • Digital signage throughout the venue, if any
      • Conference Closing Speech Sponsor Thank You Slide
    • 8-BIT SPONSORSHIP
    • Engagement Benefits

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

      Brand Visibility Benefits

      Your logo (size relative to sponsorship level) displayed on:

      • Haskell eXchange 2019 Sponsor Pages (size relative to sponsorship level)
      • Your dedicated 200-word Company Profile with visual on skillsmatter.com
      • All Haskell eXchange 2019 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
      • All digital signage throughout the conference venue, if any


To discuss sponsorship opportunities please contact the team:

Thanks to our sponsors

Press

Press Pass Registration

Skills Matter gives out Press Passes to both in-house and freelance editors, journalists, bloggers and influencers. We encourage those who have a genuine passion for tech and love to share great stories with tech communities and industries to apply.

Apply for Skills Matter Press Pass

SkillsCasts

Hold tight, skillscasts coming soon!

 

Other Years