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!

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

    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