CODE MESH LDN

  • 2

    DAYS

  • 5

    THEMES

  • 40+

    SPEAKERS

  • 300+

    ATTENDEES

WELCOME TO CODE MESH LDN

TUTORIALS - 06 NOV/2019
CONFERENCE - 07-08 NOV/2019

Code Mesh LDN is a two-day conference, bringing together users and speakers of different functional programming languages and alternative tech.

We bring together a wide range of alternative technologies and programming languages and the wonderful crazy people who use them to solve real-world problems in software industry. We promote “the right tools for the job", as opposed to automatically choosing the tools at hand. And by ‘tools’ we mean technologies, languages, libraries, databases, operating systems, hardware platforms, or more generally techniques, styles or paradigms.

In the spirit of learning from one another, it encourages the sharing of innovative ideas, through inspiring projects, top talks, in-depth tutorials, and networking opportunities. 

HOW TO ATTEND

REGISTER - Register as an attendee to the conference. Registration is now closed. 

GROUP TICKETS - Get special group discounts for group bookings. Registration is now closed. 

ACADEMIC TICKETS - We love students and academics. Get a special academic discount. Registration is now closed. 

DIVERSITY SCHEME - We're committed to diversity at Code Mesh LDN. Applications for a free diversity ticket are now closed. 

VOLUNTEER - Join the Code Mesh LDN family and get free access to the conference! Applications are now closed. 

SPEAK - Call for talks is now closed. 

Sign up to the Code Mesh LDN mailing list for the latest updates!

videos-slides

TBD: be inquisitive, share and inspire /// Robert Virding , Sam Aaron and Jeremy Ruston

The revolution in computing education at school: opportunity and challenge /// Simon Peyton Jones

AI for social responsibility: embedding principled guidelines into AI systems /// Veronica Dahl

Decomposing container tools - about Swiss Army Knives and containers /// Valentin Rothberg

Correctness proofs of distributed systems with Isabelle /// Martin Kleppmann

Literary Theory looks at readable code /// Alvaro Videla

Breaking black-box AI /// Evelina Gabasova

A landscape of unintended consequences /// Sarah Allen

Let's get more women into computer science /// Mary Sheeran

How to specify it! A guide to writing properties of pure functions /// John Hughes

Gleam: Lean BEAM typing machine /// Louis Pilfold

Concurrency before Erlang /// Bjarne Däcker

Quantitative program reasoning in Granule via graded modal types /// Dominic Orchard

Marlowe: financial contracts on Blockchain /// Simon Thompson

Bourdieu's social theory applied to tech /// Romeu Moura

Lumen - Bringing the BEAM to WebAssembly and Beyond /// Paul Schoenfelder

Misadventures with Terraform /// Matthew Revell

Bare Metal from a Hardware Perspective: Embedded Frameworks & Build Systems /// Omer Kilic

The art of challenging assumptions /// Maxim Fedorov

Abstract data types in the region of abysmal pain, and how to navigate them /// Zainab Ali

SimGen - a new simulation language /// Anne Ogborn

Revisiting pattern match overlap checks in Haskell /// Simon Peyton Jones

Data pipelines à la mode /// Tom Hall

Purescript on the BEAM; Typed OTP for greatness /// Rob Ashton

What you needa know about Yoneda /// Jeremy Gibbons

In defence of uncertainty /// Abeba Birhane

What is a computer program? Historical and philosophical reflections /// Liesbeth De Mol

want don't You consistency no stinking /// Greg Young

Visualising concurrency with Kotlin /// Alexey Soshin

Can you make that smaller? An introduction to test-case reduction /// David MacIver

Do fish have legs: language design for the commercial coder /// Yilin Wei

Your Brain on Software Development /// Fahran Wallace

Capability Driven Requirements Engineering /// Natalia Chechina

Write your own container, for fun and no profit! /// Gargi Sharma

Lucet: Safe WebAssembly Outside the Browser /// Tyler McMullen

ALL MEDIA

Alan Perlis American computer scientist

A language that doesn't affect the way you think about programming, is not worth knowing.

THEMES


Concurrency, Multicore & Parallelism




Language



Distributed Systems

The History and the Philosophy of Computer Science




Infrastructure

It has been years I’ve been to a conference that has given me SO MANY ideas to explore. Thanks for all the fish #codemesh!

Code Mesh LDN blends the best of Academic intellect with real-world computing problems...

Our speakers

Simon Peyton Jones

Simon Peyton Jones

Lead designer of the Glasgow Haskell Compiler, Principal researcher at Microsoft Research

Keynote:

The revolution in computing education at school: opportunity and challenge

Veronica Dahl

Veronica Dahl

Logic programming co-founder

Keynote:

AI for social responsibility: embedding principled guidelines into AI systems

Sam Aaron

Sam Aaron

Sonic Pi creator

Keynote:

TBD: be inquisitive, share and inspire

Jeremy Ruston

Jeremy Ruston

Creator of TiddlyWiki

Keynote:

TBD: be inquisitive, share and inspire

Robert Virding

Robert Virding

Co-creator of Erlang, Trainer

Keynote:

TBD: be inquisitive, share and inspire

Mary Sheeran

Mary Sheeran

Professor at Chalmers University of Technology

Let's get more women into computer science

John Hughes

John Hughes

Co-Designer Of Haskell And QuickCheck

How to specify it! A guide to writing properties of pure functions

Anne Ogborn

Anne Ogborn

Logic programmer at DataChemist

SimGen - a new simulation language

Paul Schoenfelder

Paul Schoenfelder

Prolific open source contributor, borderline workaholic. Speaker @ ElixirConf, Code BEAM SF, LoneStar Elixir

Lumen - Bringing the BEAM to WebAssembly and beyond

Sarah Allen

Sarah Allen

Co-creator of Adobe After Effects/Shockwave Flash Video

A landscape of unintended consequences

Zainab Ali

Zainab Ali

Functional polyglot

Abstract data types in the region of abysmal pain, and how to navigate them

Tyler McMullen

Tyler McMullen

Building a better internet; CTO at Fastly

Lucet: safe WebAssembly outside the browser

Gargi Sharma

Gargi Sharma

Hopeful systems programming romantic, systems engineer at Tarides

Write your own container, for fun and no profit!

Maxim Fedorov

Maxim Fedorov

Performance & scalability engineer

The art of challenging assumptions

Natalia Chechina

Natalia Chechina

One of the core authors of SD Erlang, lecturer in computing (Bournemouth University)

Capability-driven requirements engineering

Martin Kleppmann

Martin Kleppmann

Distributed systems researcher and O'Reilly author

Correctness proofs of distributed systems with Isabelle

Liesbeth De Mol

Liesbeth De Mol

CRCN (permanent researcher) at CNRS

What is a computer program? Historical and philosophical reflections

Omer Kilic

Omer Kilic

.

Bare metal from a hardware perspective: embedded frameworks and build systems

Abeba Birhane

Abeba Birhane

PhD candidate in Cognitive Science at University College Dublin. Fan of anti-Cartesian rants, AI and coffee

In defence of uncertainty

Simon Peyton Jones

Simon Peyton Jones

Lead designer of the Glasgow Haskell Compiler, Principal researcher at Microsoft Research

Revisiting pattern match overlap checks in Haskell

Evelina Gabasova

Evelina Gabasova

Principal research data scientist at the Alan Turing Institute

Breaking black-box AI

David MacIver

David MacIver

Creator of Hypothesis

Can you make that smaller? An introduction to test-case reduction

Fahran Wallace

Fahran Wallace

A wildly enthusiastic engineer at OpenCredo

Your brain on software development

Simon Thompson

Simon Thompson

Functional programmer in Haskell and Erlang, researcher and teacher of computer science @ University of Kent

Marlowe: financial contracts on blockchain

John Feminella

John Feminella

Principal advisor at Pivotal

Convincing your manager to let you try Rust

Alvaro Videla

Alvaro Videla

Developer Advocate, Senior Azure developer advocate at Microsoft, co-author of RabbitMQ in Action

Literary theory looks at readable code

Bjarne Däcker

Bjarne Däcker

Former manager of the Computer Science Laboratory at Ericsson

Concurrency before Erlang

Dominic Orchard

Dominic Orchard

Lecturer @ University of Kent

Quantitative program reasoning in Granule via graded modal types

Rob Ashton

Rob Ashton

(Barely) Functional Developer

Purescript on the BEAM; typed OTP for greatness

Alexey Soshin

Alexey Soshin

Author of "Hands-on Design Patterns with Kotlin"

Visualising concurrency with Kotlin

Valentin Rothberg

Valentin Rothberg

A Bavarian living in France working on all-things containers.

Decomposing container tools - about Swiss Army Knives and containers

Romeu Moura

Romeu Moura

Absurdism lobbyist

Bourdieu's social theory applied to tech

Tom Hall

Tom Hall

Minister without Portfolio at The Department Of Binary Affairs

Data pipelines à la mode

Louis Pilfold

Louis Pilfold

Author of Gleam, Elixir contributor

Gleam: Lean BEAM typing machine

Greg Young

Greg Young

Partner at EventStore

want don't You consistency no stinking

Jeremy Gibbons

Jeremy Gibbons

Professor of Computing at University of Oxford

What you needa know about Yoneda

Matthew Revell

Matthew Revell

Get ready to automate the cloud

Misadventures with Terraform

Yilin Wei

Yilin Wei

Non-commercial coder

Do fish have legs: language design for the commercial coder

TUTORIALS

ALL TIMINGS ARE PROVIDED IN GMT TIME.
Introduction to live coding music with Sonic Pi
Introduction to live coding music with Sonic Pi

Tutorial/

Sam Aaron
Time/
06 Nov 2019
09:00 - 12:30 Radisson Blu Edwardian, Vanderbilt
Introduction to SWI-Prolog
Introduction to SWI-Prolog

Tutorial/

Anne Ogborn
Time/
06 Nov 2019
13:30 - 17:00 Radisson Blu Edwardian, Vanderbilt
Building an Event Sourced System
Building an Event Sourced System

Tutorial/

Greg Young
Time/
06 Nov 2019
13:30 - 17:00 Radisson Blu Edwardian, Vanderbilt
Thinking concurrently
Thinking concurrently

Tutorial/

Robert Virding
Time/
06 Nov 2019
09:00 - 12:30 Radisson Blu Edwardian, Vanderbilt
OTP: middleware for concurrent, distributed, scalable architectures
OTP: middleware for concurrent, distributed, scalable architectures

Tutorial/

Robert Virding
Time/
06 Nov 2019
13:30 - 17:00 Radisson Blu Edwardian, Vanderbilt
LEARN MORE

Schedule

Day 1 - 07 Nov 2019

Time

MANCHESTER BABY

COLOSSUS

CLEMENTINA

08.00 - 09.00

REGISTRATION

09.00 - 09.15

WELCOME

09.15 - 10.15

Simon Peyton Jones

Keynote:

MANCHESTER BABY

The revolution in computing education at school: opportunity and challenge

10.15 - 10.35

COFFEE BREAK

10.35 - 11.20

Alvaro Videla

MANCHESTER BABY

Literary theory looks at readable code

Intermediate

Omer Kilic

COLOSSUS

Bare metal from a hardware perspective: embedded frameworks and build systems

Intermediate

Yilin Wei

CLEMENTINA

Do fish have legs: language design for the commercial coder

11.25 - 12.10

Maxim Fedorov

MANCHESTER BABY

The art of challenging assumptions

Intermediate

Liesbeth De Mol

COLOSSUS

What is a computer program? Historical and philosophical reflections

Intermediate

Rob Ashton

CLEMENTINA

Purescript on the BEAM; typed OTP for greatness

Intermediate

12.10 - 13.40

LUNCH

13.40 - 14.25

Natalia Chechina

MANCHESTER BABY

Capability-driven requirements engineering

Advanced

Louis Pilfold

COLOSSUS

Gleam: Lean BEAM typing machine

Beginner

Jeremy Gibbons

CLEMENTINA

What you needa know about Yoneda

Advanced

14.30 - 15.15

Simon Peyton Jones

MANCHESTER BABY

Revisiting pattern match overlap checks in Haskell

Intermediate

Simon Thompson

COLOSSUS

Marlowe: financial contracts on blockchain

Beginner

Bjarne Däcker

CLEMENTINA

Concurrency before Erlang

Intermediate

15.15 - 15.35

COFFEE BREAK