ACM Logo and Wordmark


Erlang/OTP logo

Erlang Workshop

Oxford, UK, September 8, 2017
Satellite event of
the 22nd ACM SIGPLAN
International Conference on Functional Programming (ICFP 2017)
September 3 - 9, 2017
Bridge of Sighs Hertford College Oxford

Venue & Registration Details

Registration opens on July 4, 2017. Early registration discounts are available through August 4, 2017. Please see the ICFP 2017 web site at:

Workshop Schedule

For the complete schedule, including paper abstracts, please see the ICFP 2017 web site at:

Construction and Formal Verification of a Fault-Tolerant
Distributed Mutual Exclusion Algorithm
Evgeniy Shishikin
Distributed Memory Architecture for High-Level Synthesis
of Embedded Controllers from Erlang
Kagumi Azuma, Nagisa Ishiura, Nobuaki Yoshida, Hiroyuki Kanbara
Keynote speaker Martin Sumner
Structuring Erlang BEAM control flow Dániel Lukács, Melinda Tóth
The Shared-Memory Interferences of Erlang/OTP Built-ins Stavros Aronis, Kostis Sagonas
Towards Change-driven Testing Viktória Fördős, István Bozó, Melinda Tóth
Towards an Isabelle/HOL Formalisation of Core Erlang Joseph Harrison
eAOP - An Aspect Oriented Programming Framework for Erlang Ian Cassar, Adrian Francalanza, Luca Aceto, Anna Ingólfsdóttir

Workshop Objectives

The Erlang Workshop aims to bring together the open source, academic, and industrial communities of Erlang, to discuss technologies and languages related to Erlang. The Erlang model of concurrent programming has been widely emulated, for example by Akka in Scala, and even new programming languages were designed atop of the Erlang VM, such as Elixir. Therefore we would like to broaden the scope of the workshop to include systems like those mentioned above.

The workshop will enable participants to familiarize themselves with recent developments on new techniques and tools, novel applications, draw lessons from users' experiences and identify research problems and common areas relevant to the practice of Erlang, Erlang-like languages, functional programming, distribution, concurrency etc.

We invite three types of submissions.

  1. Technical papers describing interesting contributions either in theoretical work or real world applications. Submission related to Erlang, Elixir, Akka, CloudHaskell, OCaml, and functional programming are welcome and encouraged. Topics of interest include (but are not limited to):

    The maximum length for technical papers is restricted to 12 pages.

  2. Experience reports describing uses of Erlang in the "real-world", Erlang libraries for specific tasks, experiences from using Erlang in specific application domains, reusable programming idioms and elegant new ways of using Erlang to approach or solve a particular problem. The maximum length for the experience report is restricted to 2 pages.

  3. Poster presentations describing topics related to the workshop goals. Each includes a maximum of 2 pages of the abstract and summary. Presentations in this category will be given an hour of shared simultaneous demonstration time.

Workshop Co-Chairs

Program Committee

(Note: the Workshop and Program Chairs are also committee members)

Important Dates

Instructions to authors

Papers must be submitted online via EasyChair (via the "Erlang2017" event). The submission page is

Submitted papers should be in portable document format (PDF), formatted using the ACM SIGPLAN style guidelines.

Each submission must adhere to SIGPLAN's republication policy. Violation risks summary rejection of the offending submission. Accepted papers will be published by the ACM and will appear in the ACM Digital Library.

Paper submissions will be considered for poster submission in the case they are not accepted as full papers.

The proceedings will be freely available for download from the ACM Digital Library from one week before the start of the conference until two weeks after the conference.

Related Links