THE ALTERNATIVE TECH CONFERENCE

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.

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

THE ALTERNATIVE TECH CONFERENCE

CODE MESH LDN

Upcoming conferences

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

Alan Perlis American computer scientist

THEMES

Concurrency, Multicore & Parallelism

Language

Distributed Systems

The History and the Philosophy of Computer Science

Infrastructure

Our speakers

Simon Peyton Jones

Veronica Dahl

Sam Aaron

Jeremy Ruston

Robert Virding

Mary Sheeran

John Hughes

Anne Ogborn

Paul Schoenfelder

Sarah Allen

Zainab Ali

Tyler McMullen

Gargi Sharma

Maxim Fedorov

Natalia Chechina

Martin Kleppmann

Liesbeth De Mol

Omer Kilic

Abeba Birhane

Simon Peyton Jones

Evelina Gabasova

David MacIver

Fahran Wallace

Simon Thompson

John Feminella

Alvaro Videla

Bjarne Däcker

Dominic Orchard

Rob Ashton

Alexey Soshin

Valentin Rothberg

Romeu Moura

Tom Hall