THE ALTERNATIVE TECH CONFERENCE

CODE MESH LDN

Name: Code Mesh LDN
Start: 2019-11-06T09:00:00+00:00
End: 2019-11-08T18:30:00+00:00
Location: ILEC CONFERENCE CENTRE

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.

videos-slides

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

#Code Mesh LDN 2019

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

#Code Mesh LDN 2019

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

#Code Mesh LDN 2019

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

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

Logic programming co-founder

Keynote:

AI for social responsibility: embedding principled guidelines into AI systems

Sam Aaron

Sonic Pi creator

Keynote:

TBD: be inquisitive, share and inspire

Jeremy Ruston

Creator of TiddlyWiki

Keynote:

TBD: be inquisitive, share and inspire

Robert Virding

Co-creator of Erlang, Trainer

Keynote:

TBD: be inquisitive, share and inspire

Mary Sheeran

Professor at Chalmers University of Technology

Let's get more women into computer science

#History of computer science

John Hughes

Co-Designer Of Haskell And QuickCheck

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

#Concurrency & parallelism

Anne Ogborn

Logic programmer at DataChemist

SimGen - a new simulation language

#Languages

Paul Schoenfelder

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

Lumen - Bringing the BEAM to WebAssembly and beyond

#Infrastructure

Sarah Allen

Co-creator of Adobe After Effects/Shockwave Flash Video

A landscape of unintended consequences

#Distributed systems

Zainab Ali

Functional polyglot

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

#Languages

Tyler McMullen

Building a better internet; CTO at Fastly

Lucet: safe WebAssembly outside the browser

#Infrastructure

Gargi Sharma

Hopeful systems programming romantic, systems engineer at Tarides

Write your own container, for fun and no profit!

#Distributed systems

Maxim Fedorov

Performance & scalability engineer

The art of challenging assumptions

#Concurrency & parallelism

Natalia Chechina

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

Capability-driven requirements engineering

#Distributed systems

Martin Kleppmann

Distributed systems researcher and O'Reilly author

Correctness proofs of distributed systems with Isabelle

#Languages

Liesbeth De Mol

CRCN (permanent researcher) at CNRS

What is a computer program? Historical and philosophical reflections

#History of computer science

Omer Kilic

IoT Plumber at Ordinatra Minima

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

#Concurrency & parallelism

Abeba Birhane

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

In defence of uncertainty

#History of computer science

Simon Peyton Jones

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

Revisiting pattern match overlap checks in Haskell

#Languages

Evelina Gabasova

Principal research data scientist at the Alan Turing Institute

Breaking black-box AI

#Infrastructure

David MacIver

Creator of Hypothesis

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

#Languages

Fahran Wallace

A wildly enthusiastic engineer at OpenCredo

Your brain on software development

#History of computer science

Simon Thompson

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

Marlowe: financial contracts on blockchain

#Distributed systems

John Feminella

Principal advisor at Pivotal

Convincing your manager to let you try Rust

#Languages

Alvaro Videla

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

Literary theory looks at readable code

#History of computer science

Bjarne Däcker

Former manager of the Computer Science Laboratory at Ericsson

Concurrency before Erlang

#Concurrency & parallelism

Dominic Orchard

Lecturer @ University of Kent

Quantitative program reasoning in Granule via graded modal types

#Languages

Rob Ashton

(Barely) Functional Developer

Purescript on the BEAM; typed OTP for greatness

#Languages

Alexey Soshin

Author of "Hands-on Design Patterns with Kotlin"

Visualising concurrency with Kotlin

#Concurrency & parallelism

Valentin Rothberg

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

Decomposing container tools - about Swiss Army Knives and containers

#Infrastructure

Romeu Moura

Absurdism lobbyist

Bourdieu's social theory applied to tech

#History of computer science

Tom Hall

Minister without Portfolio at The Department Of Binary Affairs

Data pipelines à la mode

#Languages

Louis Pilfold

Author of Gleam, Elixir contributor

Gleam: Lean BEAM typing machine

#Languages

Greg Young

Partner at EventStore

want don't You consistency no stinking

#Infrastructure

Jeremy Gibbons

Professor of Computing at University of Oxford

What you needa know about Yoneda

#Languages

Matthew Revell

Get ready to automate the cloud

Misadventures with Terraform

#Infrastructure

Yilin Wei

Non-commercial coder

Do fish have legs: language design for the commercial coder

#Languages

TUTORIALS

ALL TIMINGS ARE PROVIDED IN GMT TIME.

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

Tutorial/

Anne Ogborn

Time/

06 Nov 2019
13:30 - 17:00 Radisson Blu Edwardian, Vanderbilt

Building an Event Sourced System

Tutorial/

Greg Young

Time/

06 Nov 2019
13:30 - 17:00 Radisson Blu Edwardian, Vanderbilt

Thinking concurrently

Tutorial/

Robert Virding

Time/

06 Nov 2019
09:00 - 12:30 Radisson Blu Edwardian, Vanderbilt

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 #History of computer science	Omer Kilic COLOSSUS Bare metal from a hardware perspective: embedded frameworks and build systems Intermediate #Concurrency & parallelism	Yilin Wei CLEMENTINA Do fish have legs: language design for the commercial coder #Languages
11.25 - 12.10	Maxim Fedorov MANCHESTER BABY The art of challenging assumptions Intermediate #Concurrency & parallelism	Liesbeth De Mol COLOSSUS What is a computer program? Historical and philosophical reflections Intermediate #History of computer science	Rob Ashton CLEMENTINA Purescript on the BEAM; typed OTP for greatness Intermediate #Languages
12.10 - 13.40	LUNCH
13.40 - 14.25	Natalia Chechina MANCHESTER BABY Capability-driven requirements engineering Advanced #Distributed systems	Louis Pilfold COLOSSUS Gleam: Lean BEAM typing machine Beginner #Languages	Jeremy Gibbons CLEMENTINA What you needa know about Yoneda Advanced #Languages
14.30 - 15.15	Simon Peyton Jones MANCHESTER BABY Revisiting pattern match overlap checks in Haskell Intermediate #Languages	Simon Thompson COLOSSUS Marlowe: financial contracts on blockchain Beginner #Distributed systems	Bjarne Däcker CLEMENTINA Concurrency before Erlang Intermediate #Concurrency & parallelism
15.15 - 15.35	COFFEE BREAK
15.35 - 16.20	Zainab Ali MANCHESTER BABY Abstract data types in the region of abysmal pain, and how to navigate them Intermediate #Languages	Alexey Soshin COLOSSUS Visualising concurrency with Kotlin Advanced #Concurrency & parallelism	Greg Young CLEMENTINA want don't You consistency no stinking Intermediate #Infrastructure
16.25 - 17.10	Mary Sheeran MANCHESTER BABY Let's get more women into computer science Intermediate #History of computer science	Dominic Orchard COLOSSUS Quantitative program reasoning in Granule via graded modal types Intermediate #Languages	Gargi Sharma CLEMENTINA Write your own container, for fun and no profit! Beginner #Distributed systems
17.15 - 20.00	AFTERPARTY ENTERTAINMENT: Dylan and the Linebreakers

Day 2 - 08 Nov 2019

Time	MANCHESTER BABY	COLOSSUS	CLEMENTINA
09.00 - 09.15	WELCOME
09.15 - 10.15	Veronica Dahl Keynote: MANCHESTER BABY AI for social responsibility: embedding principled guidelines into AI systems
10.15 - 10.35	COFFEE BREAK
10.35 - 11.20	John Hughes MANCHESTER BABY How to specify it! A guide to writing properties of pure functions #Concurrency & parallelism	Romeu Moura COLOSSUS Bourdieu's social theory applied to tech Beginner #History of computer science	Anne Ogborn CLEMENTINA SimGen - a new simulation language Intermediate #Languages
11.25 - 12.10	Sarah Allen MANCHESTER BABY A landscape of unintended consequences Intermediate #Distributed systems	Evelina Gabasova COLOSSUS Breaking black-box AI Beginner #Infrastructure	John Feminella CLEMENTINA Convincing your manager to let you try Rust Beginner #Languages
12.10 - 13.40	LUNCH
13.40 - 14.25	Abeba Birhane MANCHESTER BABY In defence of uncertainty Advanced #History of computer science	Tom Hall COLOSSUS Data pipelines à la mode Intermediate #Languages	Valentin Rothberg CLEMENTINA Decomposing container tools - about Swiss Army Knives and containers Intermediate #Infrastructure
14.30 - 15.15	Paul Schoenfelder MANCHESTER BABY Lumen - Bringing the BEAM to WebAssembly and beyond Beginner #Infrastructure	Martin Kleppmann COLOSSUS Correctness proofs of distributed systems with Isabelle Intermediate #Languages	Matthew Revell CLEMENTINA Misadventures with Terraform Intermediate #Infrastructure
15.15 - 15.35	COFFEE BREAK
15.35 - 16.20	Tyler McMullen MANCHESTER BABY Lucet: safe WebAssembly outside the browser Intermediate #Infrastructure	David MacIver COLOSSUS Can you make that smaller? An introduction to test-case reduction Intermediate #Languages	Fahran Wallace CLEMENTINA Your brain on software development Beginner #History of computer science
16.30 - 17.30	Sam Aaron , Jeremy Ruston and Robert Virding Keynote: MANCHESTER BABY TBD: be inquisitive, share and inspire
17.30 - 17.45	CLOSING NOTES
17.45 - 18.30	LEAVING DRINKS

AFTERPARTY ENTERTAINMENT

Don Syme

Bass guitar

Dylan Beattie

CTO at Skills Matter

Vagif Abilov

Developer @ Miles

DIVERSITY SCHEME

We are always looking to improve diversity at our conferences. To help achieve this, we are providing free diversity places to under-represented groups in tech. The deadline for applications was 08 October/2019.

Closed

PROGRAMME COMMITTEE

Bodil Stokke

Code Mesh LDN programme committee member

Francesco Cesarini

Co-author of Designing for scalability with Erlang/OTP

Andrea Magnorsky

Functional languages programmer

Bryan Hunt

Open source contributor, solutions architect at Erlang solutions

Alvaro Videla

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

VENUE

ILEC CONFERENCE CENTRE

47 LILLIE RD, FULHAM
LONDON SW6 1UD
UNITED KINGDOM

CALL FOR TALKS

Call for talks for Code Mesh LDN closed on 10 July. Thanks to everyone who submitted a talk!

You will hear back from us by 26 July 2019.

CLOSED

SUPPORT FOR ACCEPTED SPEAKERS

COVERING COSTS

If you or your company are unable to cover travel and accommodation costs to the conference, we are here to help!

The programme committee has a budget for their respective tracks, and there are extra funds set aside through sponsorship for underrepresented minorities to speak and attend.

These funds are limited, so if you are accepted as a speaker, we encourage you to talk to your company about covering your costs in return for being named a supporting sponsor.

ACCESS AND SUPPORT

All speakers receive:

>> conference attendance free of charge
>> invitation to all the accompanying events (speakers’ dinner, conference party)

If you have not spoken at conferences before or need help in preparing, our programme committee members are happy to mentor and assist you with their feedback in the planning and delivery stages of your talk, just reach out to info@codesync.global.

OUR SPONSORS

Global sponsor

Diversity & Inclusion Sponsors

Gold Sponsors

Silver Sponsor

Media

BECOME A SPONSOR