REGISTRATION

WELCOME

Carl Hewitt

Keynote:

Room 1

Ultraconcurrency is the future of programming

COFFEE BREAK

Allison Randal

Room 1

Secure isolation in Rust: hypervisors, containers, and the future of composable infrastructure

Intermediate

Miles Sabin

Room 2

Adding kind-polymorphism to the Scala programming language

Intermediate

Carlos Baquero Moreno

Room 3

CRDTs: From sequential to concurrent executions

Intermediate

Lars Hupel

Room 1

Programmation en Logique (BEGINNER)

Beginner

Dragan Djuric

Room 2

Interactive GPU programming with ClojureCUDA and ClojureCL

Intermediate

Veronica Lopez

Room 3

Verifying a distributed system with combinatorial topology

Formal verification of distributed systems is hard and expensive. Modern systems rely on tools like observability, extensive testing, and more recenty, chaos engineering. Understanding the maths behind distributed computing, and being able to express systems in terms of algebraic topology and graph theory brings a new possibility of formal verification and a new approach towards solving complex problems and their interconnections.

Intermediate

LUNCH

Don Syme

Room 1

F# code I love

Beginner

Dmitry Kandalov

Room 2

Coroutines explained

Coroutines have received quite a bit of attention recently from language designers with async/await in JavaScript 2017, Python 3.5 new syntax and Kotlin 1.1 coroutines support. Yet there seems to be a lot of confusion about why coroutines exist and how to use them. This session explains what coroutines are, how they differ between programming languages and how to use coroutines for fun and profit.

Intermediate

Garrett Smith

Room 3

Introduction to AI engineering

Intermediate

Natalia Chechina

Room 1

Co-operative robots sharing the load

Advanced

Geoffroy Couprie

Room 2

Parsing safely, from 500MB/S to 2GB/s

Intermediate

Felix Lopez

Room 3

Understanding gossip protocols

Beginner

COFFEE BREAK

Ulf Wiger

Room 1

Using Erlang in blockchain development

Beginner

Sophia Drossopoulou

Room 2

Towards specifications of robustness -- the things that programs do _not_ do

Beginner

Arnaud Bailly and Yann Schwartz

Room 3

One Log

Intermediate

Heather Miller

Room 1

Towards language support for distributed systems

Intermediate

Tom Harding

Room 2

PureScript spirographs (INTERMEDIATE)

Intermediate

Peter Saxton

Room 3

Message passing for actors and humans with Raxx

Intermediate

CLOSING NOTES

#OpenErlang London Party

WELCOME

Kathleen Fisher

Keynote:

Room 2

From quadcopters to helicopters: formal verification for safer vehicles

COFFEE BREAK

Jimmy Soni

Room 1

The life, times, and thinking of Dr. Claude Shannon, the founder of information theory

Romeu Moura

Room 2

Property based tests for the masses

Use property based tests to challenge your knowledge of the domain, to create smaller, fewer tests that: test more, are more readable & document the problem. Use them even (specially) in horrible eldritch codebases written in awful languages, use property based tests to ask questions to your codebase. OBJECTIVES Get people to try property based tests in their own codebase monday within 20 minutes

Beginner

Teon Banek

Room 3

Life of a distributed graph database query

Intermediate

Frieder Nake

Room 1

Do calculating machines like drawing? And if so, why? Considerations from media archaeology

Ju Goncalves

Room 2

Abstract nonsense

Generative art programming requires many computations, such as random number generation and image output. What if we applied category theory to model a declarative, purely functional way of programming artworks? In other words, what if we could generate abstract nonsense with abstract nonsense?

Intermediate

Daniil Fedotov

Room 3

Implementing Raft in RabbitMQ

Intermediate

LUNCH

Joe Armstrong and Jeremy Ruston

Room 1

Intertwingling the Tiddlywiki with Erlang

Ted Nelson, who coined the term "Hypertext" also coined the lesser known word "Intertwingled" - this captures the idea that all there is, is knowledge which is tangled up and linked together in a myriad of complex ways.

Beginner

Andrea Dobson

Room 2

Ethics in tech: a psychological perspective

Why do people behave unethically and what can we do about it? Andrea will do a deep dive into social psychology research on behaviour, ethics and company culture. What are the anti-patterns we should all avoid? Most of the knowledge we have on Conformity and Obedience today come from Psychological experiments done in the 1950s and 1960 What do they mean in today’s society and what impact are they having on the choices we make? And are there things we can do about this?

James Coglan

Room 3

Breaking changes

Intermediate

Hillel Wayne

Room 1

Designing distributed systems with TLA+

Intermediate

Einar Høst

Room 2

A PostScript to Functional Geometry

Duncan Coutts

Room 3

Building a Billion Dollar cryptocurrency with Haskell

Intermediate

COFFEE BREAK

Edwin Brady

Room 1

Idris 2: Type-driven development of Idris

Intermediate

Kate Carruthers

Room 2

Infosec, AI and ethics – new models for a secure future

Maxim Fedorov

Room 3

Scaling Erlang cluster to 10,000 nodes

Scaling Erlang Cluster

Advanced

Jyothsna Patnam

Room 1

Eta: The rise of pure FP on the JVM

Pure functional programming has been around for more than 30 years and the benefits are widely known. Yet, it’s industrial adoption has been scanty. In this talk, Jyothsna will discuss the work being done to address this problem via Eta.

Intermediate

Ron Pressler

Room 2

Finite of sense and infinite of thought: A history of computation, logic and algebra

Yan Cui

Room 3

Applying principles of chaos engineering to serverless

Intermediate

Federica Pelzel

Keynote:

Room 1

Ethics and AI: Identifying and preventing bias in predictive models

CLOSING NOTES

LEAVING DRINKS