THE ALTERNATIVE TECH CONFERENCE
We bring together a unique mix of programming language inventors, developers, innovators, researchers, and visionaries to help solve real-world problems using innovative, non-mainstream tech.
This year Code Mesh goes virtual - opening up the conference to an even more exciting spectrum of speakers, attendees and partners. It will run across timezones for attendees in the Americas and Europe with the opportunity to catch up with any talks you miss via the conference app.
DAY 1 (UK TIME) 10 AM - 6.30 PM
DAY 2 (US EASTERN TIME) 11AM - 19 PM
Code Mesh will demonstrate how thinking beyond the conventional can empower you to master the challenges of implementing distributed systems in the multicore era.
The lineup is what you have come to expect from Code Mesh, with Cynthia Solomon speaking about Logo, functional programming pioneer David Turner on his recent open-sourcing of Miranda, Turing Award winner Leslie Lamport doing an ask me anything session on Maths and Programming and Felienne Hermans leading a panel on Type Systems featuring Scala co-creator, Martin Odersky and other well known programming language inventors. Speakers are from some of the biggest and best companies in tech including - Facebook, Google, Lightbend, Red Hat and others.
A combined Half or Full-Day Tutorial and Conference ticket combo can be purchased via our Eventbrite page which you can reach from the ticket section below. Once on Eventbrite, you can select which of the inspiring tutorials you would like to attend - for any help you can email us directly at training@erlang-solutions.com
Don't forget that, as the conference will run virtually across US and European time zones, people who have been unable to visit Code Mesh previously will, at last, have the opportunity to enjoy live talks, workshops, networking and idea-sharing no matter where they are located. SHARE. LEARN. INSPIRE.
THE ALTERNATIVE TECH CONFERENCE
- 2
DAYS
- 7
THEMES
- 50+
SPEAKERS
- 300+
ATTENDEES
Code Mesh V is a two-day virtual conference, bringing together users and speakers of different functional programming languages and alternative tech.
The conference will run virtually across US and European time zones so that you can participate no matter where you are located.
Day 1: Thursday, 10:00 - 18:00 GMT Check the times where you are
Day 2: Friday, 16:00 - 24:00 GMT or 11:00 - 19:00 US Eastern Time Check the times where you are.
We bring together a wide range of alternative technologies and programming languages and the diverse people who use them to solve real-world problems in the 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, programming languages, libraries, databases, operating systems, hardware platforms, or more general 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.
A combined Half or Full-Day Tutorial and Conference ticket combo can be purchased via our Eventbrite page which you can reach from the ticket section below. Once on Eventbrite, you can select which of the inspiring tutorials you would like to attend - for any help you can email us directly at training@erlang-solutions.com
If you've never been to the conference, check out some of the Best Talks from past Code Mesh events.
HOW TO ATTEND
TICKETS - Register as an attendee to the conference.
TUTORIALS - Purchase a combo ticket for Tutorial + Conference ticket on Eventbrite here (you chooses your course after selection the half or full day course length ticket type)
STUDENT AND ACADEMIC TICKETS - We love students and academics. Get a special academic discount.
DIVERSITY SCHEME - We're committed to diversity at Code Mesh V. Applications to be submitted by 22 October 2020 apply here.
VOLUNTEER - Join the Code Mesh family and get free access to the conference! Applications to be submitted by 22 October 2020 apply here.
Sign up to the Code Mesh mailing list for the latest updates!
Our speakers
Felienne Hermans
Assistant Professor Delft University of Technology
Keynote:
Panel Discussion: Types for All: From weak to strong, from static to dynamic
05 Nov / 17.10 / Track 2Cynthia Solomon
Co-creator of Logo, author of "Computer Environments for Children"
Keynote:
A Computer Culture for Children. Encouraging Children’s Inventive Spirit
06 Nov / 16.15 / Track 1Erik Meijer
If you look close enough, you discover dualities everywhere.
Keynote:
Keynote: Inside Every Calculus Is A Little Algebra Waiting To Get Out
06 Nov / 23.15 / Track 1Leslie Lamport
Author of LaTeX, Researcher @ Microsoft
Ask the expert - Thinking Mathematically Above The Code Level
06 Nov / 20.40 / Track 1
Philippa A. Gardner
Professor of Theoretical Computer Science
Gillian: a Multi-language Platform for Compositional Symbolic Analysis
05 Nov / 13.45 / Track 2
Laura Bocchi
Senior Lecturer @ University of Kent
Protocol engineering for communicating actors
06 Nov / 17.30 / Track 2
Herbert Daly
Academic, Talent Scout, Advocate @ University of Wolverhampton
A funny thing happened on the way to the future...' - Why Mainframes Still Matter
05 Nov / 12.50 / Track 1
Sophia Drossopoulou
Professor, Imperial College London
Panel discussion: Types for All: From weak to strong, from static to dynamic
05 Nov / 17.10 / Track 1
Martin Odersky
Inventor of the Scala, founder of Lightbend
Ask Me Anything sessions with Scala Creator
05 Nov / 14.40 / Track 1
Panel discussion: Types for All: From weak to strong, from static to dynamic
05 Nov / 17.10 / Track 1
Mary Grygleski
Passionate community builder who believes in using tech for good
Deploying a Modern Serverless Reactive container to the Cloud
06 Nov / 18.50 / Track 3
Roopsha Samanta
Verifies, repairs, and synthesizes code @ Purdue University
MANTIS: Semantics-driven Inductive Program Synthesis
06 Nov / 19.45 / Track 1
Kevlin Henney
Words and Code and Words about Code
Concurrent Affairs: Procedural Programming Unlocked
05 Nov / 13.45 / Track 1
Elizabeth Ramirez
Working @ the intersection of High-Performance Computing, Numerical Linear Algebra, and Machine Learning.
Ask Me Anything Session on Machine Learning and AI
05 Nov / 14.40 / Track 3
The Linear Algebra of Deep Learning
05 Nov / 16.15 / Track 3
Ron Pressler
Veteran programmer, leader of OpenJDK's Project Loom
Why User-Mode Threads Are Often the Correct Answer
06 Nov / 21.25 / Track 2
Veronica Lopez
Member of the Kubernetes Core Team
Panel Discussion: The number of orchestration technologies is too damn high!
06 Nov / 21.25 / Track 3
Sergey Bykov
Bringing Cloud down to Earth
State of Affairs or Affairs of State
05 Nov / 15.20 / Track 1
Jonas Bonér
Founder & CTO at Lightbend
Cloudstate - Towards Stateful Serverless
05 Nov / 11.30 / Track 3
Nobuko Yoshida
Professor of Computing at Imperial College London
Session Types: a History and Applications
05 Nov / 16.15 / Track 1
Edwin Brady
Creator of the Idris programming language; Lecturer
Panel discussion: Types for All: From weak to strong, from static to dynamic
05 Nov / 17.10 / Track 1
Dependent Type Driven Program Synthesis in Idris
06 Nov / 17.30 / Track 3
Anahit Pogosova
Lead Cloud Software Engineer at Solita
05 Nov / 14.40 / Track 2
Serverless Data Streaming on AWS
05 Nov / 15.20 / Track 3
Aaron Turner
Core team member of AssemblyScript, Creator / Maintainer of WasmByExample
Building a better web with WebAssembly at the edge
06 Nov / 22.20 / Track 3
Chelsea Troy
By day, writer of code. By night, researcher of software risks. By always, lover of bubble tea.
What Counts as a Programming Language?
06 Nov / 22.20 / Track 1
William Byrd
Relational programming and program synthesis
What can we Learn from Pro-Gamers?
05 Nov / 15.20 / Track 2
Oskar Wickström
Functional programming, architecture, and testing
Quickstrom: Specifying and Testing Web Applications
05 Nov / 12.50 / Track 2
Valentin Rothberg
A Bavarian living in France working on all-things containers.
Ask me Anything on Containers and Orchestration
05 Nov / 12.10 / Track 2
Podman - create, run and secure Linux containers
05 Nov / 13.45 / Track 3
Ramsey Nasser
Lisp Compilers and Video Games
Building My First Lisp Compiler
05 Nov / 16.15 / Track 2
Bernardo Amorim
Built a bank using Elixir and created a Word to HTML converter in Ruby that also converted math formulas to MathML
Learn You Some Lambda Calculus
06 Nov / 17.30 / Track 1
Francis Toth
Principal Engineer @ Contramap. Supports strongly-typed Functional Programming
How I learned to stop worrying and love Functional Design
06 Nov / 21.25 / Track 1
Simon Tabor
Principal Software Engineer @ DAZN with a passion for scaling APIs
Serverless WebSockets at Scale
06 Nov / 19.45 / Track 3
Dmytro Lytovchenko
Senior developer at Erlang Solutions, refactoring terrible software to be pretty and readable
05 Nov / 11.30 / Track 2
Dean Wampler
Author of O'Reilly's "What Is Ray?" report and "Programming Scala, Third Edition"
Ray: A System for High-performance, Distributed Computing
06 Nov / 19.45 / Track 2
Bryan Hunt
Open source contributor, solutions architect at Erlang solutions
Panel Discussion: The number of orchestration technologies is too damn high!
06 Nov / 21.25 / Track 3
Gilad Bracha
Computational Theologist Emeritus. Known for Java specs, but proud of Newspeak
Panel discussion: Types for All: From weak to strong, from static to dynamic
05 Nov / 17.10 / Track 1
David Schainker
Let it crash
Panel Discussion: The number of orchestration technologies is too damn high!
06 Nov / 21.25 / Track 3
Thomas Depierre
Building collaborative Software Agents
Panel Discussion: The number of orchestration technologies is too damn high!
06 Nov / 21.25 / Track 3
Jani Leppanen
In building services that power typographic features in Adobe's applications, efficiency equals happiness.
Panel Discussion: The number of orchestration technologies is too damn high!
06 Nov / 21.25 / Track 3
Jake Morrison
Lover of Elixir, DevOps and green tea
Panel Discussion: The number of orchestration technologies is too damn high!
06 Nov / 21.25 / Track 3
Erlang Creators
Bjarne Däcker, Mike Williams, Robert Virding
Ask Me Anything with Erlang Creators
05 Nov / 12.10 / Track 1
Schedule
Day 1 - 05 Nov 2020
Time |
Track 1 |
Track 2 |
Track 3 |
---|---|---|---|
10.00 - 10.15 |
Welcome - GMT timing! |
||
10.15 - 11.15 |
Keynote: Track 1 Cultures of Programming
|
||
11.30 - 12.10 |
Track 1 Open Sourcing Miranda Beginner |
Track 2 Hitchhiker's Tour of the BEAM
|
Track 3 Cloudstate - Towards Stateful Serverless Intermediate |
12.10 - 12.40 |
Track 1 Ask Me Anything with Erlang Creators
|
Track 2 Ask me Anything on Containers and Orchestration
|
|
12.50 - 13.30 |
Track 1 A funny thing happened on the way to the future...' - Why Mainframes Still Matter Beginner |
Track 2 Quickstrom: Specifying and Testing Web Applications Intermediate |
Track 3 Security of the BEAM
|
13.45 - 14.25 |
Track 1 Concurrent Affairs: Procedural Programming Unlocked Intermediate |
Track 2 Gillian: a Multi-language Platform for Compositional Symbolic Analysis
|
Track 3 Podman - create, run and secure Linux containers Intermediate |
14.40 - 15.10 |
Track 1 Ask Me Anything sessions with Scala Creator
|
Track 2 Ask me anything on Serverless
|
Track 3 Ask Me Anything Session on Machine Learning and AI
|
15.20 - 16.00 |
Track 1 State of Affairs or Affairs of State Intermediate |
Track 2 What can we Learn from Pro-Gamers?
|
Track 3 Serverless Data Streaming on AWS
|
16.15 - 16.55 |
Track 1 Session Types: a History and Applications
|
Track 2 Building My First Lisp Compiler Intermediate |
Track 3 The Linear Algebra of Deep Learning Intermediate |
17.10 - 18.10 |
Sophia Drossopoulou , Martin Odersky , Edwin Brady , Felienne Hermans and Gilad Bracha Track 1 Panel discussion: Types for All: From weak to strong, from static to dynamic Beginner |
Keynote: Track 2 Panel Discussion: Types for All: From weak to strong, from static to dynamic
|
|
18.10 - 18.20 |
Closing notes |
||
18.30 - 19.00 |
Dylan Beattie unplugged |
||
19.00 - 20.00 |
Birds of a Feather sessions |
Day 2 - 06 Nov 2020
Time |
Track 1 |
Track 2 |
Track 3 |
---|---|---|---|
16.00 - 16.15 |
Welcome |
||
16.15 - 17.15 |
Keynote: Track 1 A Computer Culture for Children. Encouraging Children’s Inventive Spirit
|
||
17.30 - 18.10 |
Track 1 Learn You Some Lambda Calculus Beginner |
Track 2 Protocol engineering for communicating actors Intermediate |
Track 3 Dependent Type Driven Program Synthesis in Idris Advanced |