Zdonyjvachskrdgtz6dc
2 DAY CONFERENCE

Haskell eXchange 2018

Topics covered at #haskellx

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

37 experts. will be speaking. Starts at 9:00 AM.

Back for a seventh 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!

The seventh 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 2017 a memorable event!

Highlights

Thrilled to announce Simon Peyton Jones, Stephanie Weirich, Niki Vazou and Simon Marlow will be sharing a Keynote at Haskell eXchange 2018! 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 Page.



Tickets

Registration is open and we have the Super Early Bird offer available for a few days only - now till Monday 16th October 2017! If you are planning to join us for two days of Haskell fun, get your skates on and book your Super Early Bird Ticket today!

Call for Papers is now CLOSED!

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!

Code of Conduct

Please find our Code of Conduct here.

Impressions of last year

Excited? Share it!

Thanks to our sponsors

Day 1: Thursday - 11 Oct 2018

Don't miss these inspiring talks!

Track CTRL ALT/TAB CMD
08:30

Registration & Breakfast Refreshments

09:15

Opening & Welcome

09:30

Keynote: Linear Haskell: Practical Linearity in a Higher-Order Polymorphic Language

Simon Peyton Jones

All levels


linear-type-systems keynote functional-programming ghc haskellx haskell
10:30

Coffee Break

10:45

Headfirst into Haskell

Abby Sassel

All levels


community learning haskell

Haskell IDE Support via LSP

Alan Zimmerman

All levels


haskell-ide-engine lsp haskellx haskell

Workshop: Build a RESTful Room-Booking Server Using Servant and Aeson

Ben Clifford

Beginner


hands-on rest servant aeson haskell
11:30

Coffee Break

11:45

A Well-Typed Binomial Heap

Jasper Van der Jeugt

Beginner


typefamilies datastructures dependent haskell

Write Your Own GHC Type Checker Plugins

Gabe Dijkstra

Advanced


type-level-programming dependent-types ghc haskell

Workshop Continued: Build a RESTful Room-Booking Server Using Servant and Aeson

Ben Clifford

Beginner


hands-on-rest servant aeson haskell
12:30

Lunch Break

13:30

Labelled Algebraic Graphs

Andrey Mokhov

All levels


functional-programming graphs algebraic-graphs haskellx haskell

Write Yourself a Typed Functional Language

Oleg Grenrus

Advanced


haskellx haskell

Raytracing with Haskell

Michał Kawalec

Advanced


3d-graphics memory performance ghc haskell
14:15

Coffee Break

14:30

A Promise Checked is a Promise Kept: Inspection Testing

Joachim Breitner

Advanced


library-design optimization testing haskell
2

GRIN - an Alternative Haskell Compiler Backend

Csaba Hruska and Andor Penzes

All levels


machine-code abstract-interpretation whole-program-optimisation llvm optimisation compiler haskell

Binding Types à la carte

Arnaud Spiwack

Advanced


quantified-constraints category-theory algebraic-data-types binders abstract-syntax-trees haskell
15:15

Coffee Break

15:30

Authenticated Data Structures, Generically, in Haskell

Lars Brünjes

Advanced


data-structures free-monads cryptographic-hash-function interpreters-for-free-monads authenticated-data-structures haskell

Supermonads: One Notion to Bind Them All

Henrik Nilsson

Advanced


monads ghc type-constructors supermonads haskell

Reproducible Scientific Workflows in Haskell

Nicholas Clarke

Beginner


reproducible-research arrows pipelines genetics workflow haskell
16:15

Coffee Break

16:30

Keynote: Dependent Types in Haskell

Stephanie Weirich

All levels


keynote dependent-type-theory types functional-programming ghc haskellx haskell
17:30

Beer Break

17:45

Park Bench Panel

Andres Löh

All levels


haskellx haskell panel
18:45

#HaskellX Party with Pizza and Beer!

21:00

End of Day 1

Day 2: Friday - 12 Oct 2018

Don't miss these inspiring talks!

Track CTRL ALT/TAB CMD
08:30

Registration & Breakfast Refreshments

09:20

Welcome to Day 2

09:30

Keynote: Liquid Haskell: Theorem Proving for All

Niki Vazou

All levels


keynote haskell haskellx
10:30

Coffee Break

10:45

Deriving Via

Andres Löh

Advanced


generic-programming type-classes deriving haskell

Wire Once, Rewire Twice

Eric Torreborre

All levels


testing typeclasses modules haskell haskellx

A Formal Approach to Distributed Systems: Implementing a Pi-calculus interpreter in Haskell

Thomas Dietert

All levels


dsl parallel-computing pi-calculus formal-methods distributed-systems haskell
11:30

Coffee Break

11:45

Building a Multi-Billion Dollar Cryptocurrency with Haskell

Duncan Coutts

Beginner


cryptocurrency blockchain haskell haskellx

I Haskell a Git

Vaibhav Sagar

Advanced


content-addressable-stores parser-combinators git haskell

The Gonimo Architecture

Robert Klotzner

Advanced


mvc-architecture frp-library gonimo-architecture haskell
12:30

Lunch Break

13:30

Implementing Inline-*

Facundo Domínguez

All levels


plugins quasiquotations template-haskell ffi ghc haskell

Vectorization in Haskell

Abhiroop Sarkar

All levels


automatic-vectorization parallel-programming compiler-optimizations code-generation data-parallelism compilers haskell

Elegant Geometry with Denotational Design

David Eichmann

Beginner


geometry denotational-design haskell haskellx
14:15

Coffee Break

14:30

Haskell SpriteKit — A Purely Functional API for a Stateful Animation System & Physics Engine

Manuel M T Chakravarty

All levels


frameworks bindings spritekit physics animation games haskell

Building a Program from Streams

Tim Williams

Beginner


functional-programming haskell haskellx

Profunctors and Data Accessors

Andrzej Rybczak

Advanced


lens profunctor haskell haskellx
15:15

Coffee Break

15:30

Lightning Talk: War is Peace, Freedom is Slavery, Ignorance is Strength

Vaibhav Sagar

Beginner


laws refactoring parametricity static-typing orwell haskell

Lightning Talk: Who Cares About GHC 8.6?

Tom Harding

All levels


constraint-programming ghc type-level-programming haskell

Lightning Talk: Proving your Haskell Code Correct with Lean

Robin Green

All levels


lean haskell haskellx
15:45

Lightning Talk: Patat: A terminal-based presentation tool in Haskell

Jasper Van der Jeugt

Beginner


pata haskell haskellx

Lightning Talk: You'll Love Id!

Gabor Greif

Beginner


id haskell haskellx

Lightning Talk: Marlowe: An embedded DSL for Implementing Financial > Smart-Contracts in Crypto-Currencies

Pablo Lamela-Seijas

All levels


crypto-currencies haskell haskellx
16:00

Lightning Talk: Moving Towards Dialogue: Collaborating with your Computer Using Typed Holes!

Vaibhav Sagar

Beginner


compiler-assisted-programming program-synthesis types tests idris typed-holes haskell

Lightning Talk: Rethinking Freeness through Universal Algebra

Marcin Szamotulski

All levels


haskell haskellx

Lightning Talk: Superior String Spaghetti with PureScript

Justin Woo

All levels


haskell haskellx purescrit
16:15

Beer Break!

16:30

Keynote: How to Deploy your Haskell Code Hundreds of Times a Day

Simon Marlow

All levels


keynote sigma-system haskell haskellx
17:30

#HASKELLX 2018 WRAP UP

17:45

#HASKELLX 2018 ENDS - SEE YOU IN 2019!

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

Call for Papers is now CLOSED!

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!

Haskell eXchange 2018 Diversity Scholarship Plan

The Haskell eXchange 2018 Diversity Scholarship Plan is now closed. Please apply for the 2019 Scholarship from the 13th October 2018.

Volunteer at Haskell eXchange 2018!

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.

Well-Typed's Guide to the Haskell Type System with Andres Löh

10th October 2018

In this one-day course, you will take an in-depth look into Haskell's type system, including the various language extensions that the Glasgow Haskell Compiler (GHC) has to offer.

Book your ticket here

Well-Typed's Guide to Haskell Performance and Optimization with Andres Löh

15th - 16th October 2018

Are you ready to take a look beyond the surface of Haskell and really get the details of how things are implemented? Ready for a Haskell course that moves past the basics and focuses on the importance of performance and optimization - this course is for you!

In this course, you'll take a look beyond the surface of Haskell and at how things are implemented. You'll discuss the internal representation of data on the heap, what exactly lazy evaluation means and how it works, how the compiler translates Haskell code to a target language via several internal representations, and what you can and cannot reasonably expect the compiler to do, and how you can tweak the optimizer behaviour by using compiler pragmas such as inlining annotations and rewrite rules.

Book your ticket here

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

    • 256-SPONSORSHIP (EXCLUSIVE)
    • 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
      • 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:

      • Haskell eXchange 2018 Sponsor Pages (size relative to sponsorship level)
      • Your dedicated 200-word Company Profile with visual on skillsmatter.com
      • All Haskell eXchange 2018 Conference Pages (at bottom of page)
      • Haskell 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 Haskell eXchange 2018 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
      • 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:

      • Haskell eXchange 2018 Sponsor Pages (size relative to sponsorship level)
      • Your dedicated 200-word Company Profile with visual on skillsmatter.com
      • All Haskell eXchange 2018 Conference Pages (at bottom of page)
      • Haskell 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 Haskell eXchange 2019 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:

      • Haskell eXchange 2018 Sponsor Pages (size relative to sponsorship level)
      • Your dedicated 200-word Company Profile with visual on skillsmatter.com
      • All Haskell eXchange 2018 Conference Pages (at bottom of page)
      • Haskell 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

      • Your own flipchart in central conference break-out area
      • 2 free conference tickets, worth £650 (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:

      • Haskell eXchange 2018 Sponsor Pages (size relative to sponsorship level)
      • Your dedicated 200-word Company Profile with visual on skillsmatter.com
      • All Haskell eXchange 2018 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:

      • Haskell eXchange 2018 Sponsor Pages (size relative to sponsorship level)
      • Your dedicated 200-word Company Profile with visual on skillsmatter.com
      • All Haskell eXchange 2018 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

Overview

Back for a seventh 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!

The seventh 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 2017 a memorable event!

Highlights

Thrilled to announce Simon Peyton Jones, Stephanie Weirich, Niki Vazou and Simon Marlow will be sharing a Keynote at Haskell eXchange 2018! 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 Page.



Tickets

Registration is open and we have the Super Early Bird offer available for a few days only - now till Monday 16th October 2017! If you are planning to join us for two days of Haskell fun, get your skates on and book your Super Early Bird Ticket today!

Call for Papers is now CLOSED!

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!

Code of Conduct

Please find our Code of Conduct here.

Impressions of last year

Excited? Share it!

Thanks to our sponsors

Programme

Day 1: Thursday - 11 Oct 2018

Don't miss these inspiring talks!

Track CTRL ALT/TAB CMD
08:30

Registration & Breakfast Refreshments

09:15

Opening & Welcome

09:30

Keynote: Linear Haskell: Practical Linearity in a Higher-Order Polymorphic Language

Simon Peyton Jones

All levels


linear-type-systems keynote functional-programming ghc haskellx haskell
10:30

Coffee Break

10:45

Headfirst into Haskell

Abby Sassel

All levels


community learning haskell

Haskell IDE Support via LSP

Alan Zimmerman

All levels


haskell-ide-engine lsp haskellx haskell

Workshop: Build a RESTful Room-Booking Server Using Servant and Aeson

Ben Clifford

Beginner


hands-on rest servant aeson haskell
11:30

Coffee Break

11:45

A Well-Typed Binomial Heap

Jasper Van der Jeugt

Beginner


typefamilies datastructures dependent haskell

Write Your Own GHC Type Checker Plugins

Gabe Dijkstra

Advanced


type-level-programming dependent-types ghc haskell

Workshop Continued: Build a RESTful Room-Booking Server Using Servant and Aeson

Ben Clifford

Beginner


hands-on-rest servant aeson haskell
12:30

Lunch Break

13:30

Labelled Algebraic Graphs

Andrey Mokhov

All levels


functional-programming graphs algebraic-graphs haskellx haskell

Write Yourself a Typed Functional Language

Oleg Grenrus

Advanced


haskellx haskell

Raytracing with Haskell

Michał Kawalec

Advanced


3d-graphics memory performance ghc haskell
14:15

Coffee Break

14:30

A Promise Checked is a Promise Kept: Inspection Testing

Joachim Breitner

Advanced


library-design optimization testing haskell
2

GRIN - an Alternative Haskell Compiler Backend

Csaba Hruska and Andor Penzes

All levels


machine-code abstract-interpretation whole-program-optimisation llvm optimisation compiler haskell

Binding Types à la carte

Arnaud Spiwack

Advanced


quantified-constraints category-theory algebraic-data-types binders abstract-syntax-trees haskell
15:15

Coffee Break

15:30

Authenticated Data Structures, Generically, in Haskell

Lars Brünjes

Advanced


data-structures free-monads cryptographic-hash-function interpreters-for-free-monads authenticated-data-structures haskell

Supermonads: One Notion to Bind Them All

Henrik Nilsson

Advanced


monads ghc type-constructors supermonads haskell

Reproducible Scientific Workflows in Haskell

Nicholas Clarke

Beginner


reproducible-research arrows pipelines genetics workflow haskell
16:15

Coffee Break

16:30

Keynote: Dependent Types in Haskell

Stephanie Weirich

All levels


keynote dependent-type-theory types functional-programming ghc haskellx haskell
17:30

Beer Break

17:45

Park Bench Panel

Andres Löh

All levels


haskellx haskell panel
18:45

#HaskellX Party with Pizza and Beer!

21:00

End of Day 1

Day 2: Friday - 12 Oct 2018

Don't miss these inspiring talks!

Track CTRL ALT/TAB CMD
08:30

Registration & Breakfast Refreshments

09:20

Welcome to Day 2

09:30

Keynote: Liquid Haskell: Theorem Proving for All

Niki Vazou

All levels


keynote haskell haskellx
10:30

Coffee Break

10:45

Deriving Via

Andres Löh

Advanced


generic-programming type-classes deriving haskell

Wire Once, Rewire Twice

Eric Torreborre

All levels


testing typeclasses modules haskell haskellx

A Formal Approach to Distributed Systems: Implementing a Pi-calculus interpreter in Haskell

Thomas Dietert

All levels


dsl parallel-computing pi-calculus formal-methods distributed-systems haskell
11:30

Coffee Break

11:45

Building a Multi-Billion Dollar Cryptocurrency with Haskell

Duncan Coutts

Beginner


cryptocurrency blockchain haskell haskellx

I Haskell a Git

Vaibhav Sagar

Advanced


content-addressable-stores parser-combinators git haskell

The Gonimo Architecture

Robert Klotzner

Advanced


mvc-architecture frp-library gonimo-architecture haskell
12:30

Lunch Break

13:30

Implementing Inline-*

Facundo Domínguez

All levels


plugins quasiquotations template-haskell ffi ghc haskell

Vectorization in Haskell

Abhiroop Sarkar

All levels


automatic-vectorization parallel-programming compiler-optimizations code-generation data-parallelism compilers haskell

Elegant Geometry with Denotational Design

David Eichmann

Beginner


geometry denotational-design haskell haskellx
14:15

Coffee Break

14:30

Haskell SpriteKit — A Purely Functional API for a Stateful Animation System & Physics Engine

Manuel M T Chakravarty

All levels


frameworks bindings spritekit physics animation games haskell

Building a Program from Streams

Tim Williams

Beginner


functional-programming haskell haskellx

Profunctors and Data Accessors

Andrzej Rybczak

Advanced


lens profunctor haskell haskellx
15:15

Coffee Break

15:30

Lightning Talk: War is Peace, Freedom is Slavery, Ignorance is Strength

Vaibhav Sagar

Beginner


laws refactoring parametricity static-typing orwell haskell

Lightning Talk: Who Cares About GHC 8.6?

Tom Harding

All levels


constraint-programming ghc type-level-programming haskell

Lightning Talk: Proving your Haskell Code Correct with Lean

Robin Green

All levels


lean haskell haskellx
15:45

Lightning Talk: Patat: A terminal-based presentation tool in Haskell

Jasper Van der Jeugt

Beginner


pata haskell haskellx

Lightning Talk: You'll Love Id!

Gabor Greif

Beginner


id haskell haskellx

Lightning Talk: Marlowe: An embedded DSL for Implementing Financial > Smart-Contracts in Crypto-Currencies

Pablo Lamela-Seijas

All levels


crypto-currencies haskell haskellx
16:00

Lightning Talk: Moving Towards Dialogue: Collaborating with your Computer Using Typed Holes!

Vaibhav Sagar

Beginner


compiler-assisted-programming program-synthesis types tests idris typed-holes haskell

Lightning Talk: Rethinking Freeness through Universal Algebra

Marcin Szamotulski

All levels


haskell haskellx

Lightning Talk: Superior String Spaghetti with PureScript

Justin Woo

All levels


haskell haskellx purescrit
16:15

Beer Break!

16:30

Keynote: How to Deploy your Haskell Code Hundreds of Times a Day

Simon Marlow

All levels


keynote sigma-system haskell haskellx
17:30

#HASKELLX 2018 WRAP UP

17:45

#HASKELLX 2018 ENDS - SEE YOU IN 2019!

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!

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!

Haskell eXchange 2018 Diversity Scholarship Plan

The Haskell eXchange 2018 Diversity Scholarship Plan is now closed. Please apply for the 2019 Scholarship from the 13th October 2018.

Volunteer at Haskell eXchange 2018!

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.

Fringe

Well-Typed's Guide to the Haskell Type System with Andres Löh

10th October 2018

In this one-day course, you will take an in-depth look into Haskell's type system, including the various language extensions that the Glasgow Haskell Compiler (GHC) has to offer.

Book your ticket here

Well-Typed's Guide to Haskell Performance and Optimization with Andres Löh

15th - 16th October 2018

Are you ready to take a look beyond the surface of Haskell and really get the details of how things are implemented? Ready for a Haskell course that moves past the basics and focuses on the importance of performance and optimization - this course is for you!

In this course, you'll take a look beyond the surface of Haskell and at how things are implemented. You'll discuss the internal representation of data on the heap, what exactly lazy evaluation means and how it works, how the compiler translates Haskell code to a target language via several internal representations, and what you can and cannot reasonably expect the compiler to do, and how you can tweak the optimizer behaviour by using compiler pragmas such as inlining annotations and rewrite rules.

Book your ticket here

Sponsors

Thanks to our 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

    • 256-SPONSORSHIP (EXCLUSIVE)
    • 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
      • 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:

      • Haskell eXchange 2018 Sponsor Pages (size relative to sponsorship level)
      • Your dedicated 200-word Company Profile with visual on skillsmatter.com
      • All Haskell eXchange 2018 Conference Pages (at bottom of page)
      • Haskell 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 Haskell eXchange 2018 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
      • 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:

      • Haskell eXchange 2018 Sponsor Pages (size relative to sponsorship level)
      • Your dedicated 200-word Company Profile with visual on skillsmatter.com
      • All Haskell eXchange 2018 Conference Pages (at bottom of page)
      • Haskell 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 Haskell eXchange 2019 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:

      • Haskell eXchange 2018 Sponsor Pages (size relative to sponsorship level)
      • Your dedicated 200-word Company Profile with visual on skillsmatter.com
      • All Haskell eXchange 2018 Conference Pages (at bottom of page)
      • Haskell 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

      • Your own flipchart in central conference break-out area
      • 2 free conference tickets, worth £650 (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:

      • Haskell eXchange 2018 Sponsor Pages (size relative to sponsorship level)
      • Your dedicated 200-word Company Profile with visual on skillsmatter.com
      • All Haskell eXchange 2018 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:

      • Haskell eXchange 2018 Sponsor Pages (size relative to sponsorship level)
      • Your dedicated 200-word Company Profile with visual on skillsmatter.com
      • All Haskell eXchange 2018 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:

SkillsCasts
Photos
Other Years