Write a Blog >>
ICFP 2020
Thu 20 - Fri 28 August 2020

Date of the Workshop

Sunday, 23 August 2020.

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 are pleased to announce that Erlang Workshop has implemented a Diversity and Inclusion Scheme!

Our community is an open and supporting tech community, but - unfortunately - we are nowhere near as diverse as we would wish it to be. We believe that everybody, regardless of their gender, race, sexual orientation, religion, nationality, age, socioeconomic background etc. should feel welcome and comfortable. Our event follows the ACM Code of Conduct Policy.

Thanks to our supporting sponsors, Kivra, we are able to offer this year Diversity & Inclusion Scholarships that cover the cost of full tickets for the Erlang workshop and all events of ICFP. The goal of this scheme is to increase the diversity of attendees and offer support to those that would not otherwise be able to attend. It is primarily aimed at (but not restricted to) women, people from ethnic minorities and people with disabilities.

If you wish to apply for the Diversity & Inclusion Scholarship, please fill in the form. The workshop chairs will review the applications. They are committed to protect the anonymity of applicants; all application data will only be used for the scholarship evaluation.

The deadline for applications is August 10, 2020. Recipients will be notified on a rolling basis, no later than August 20, 2020.

All applicants will be notified via email with conference registration details.

Supporters
Diversity and inclusion Sponsor
You're viewing the program in a time zone which is different from your device's time zone change time zone

Sun 23 Aug

Displayed time zone: Eastern Time (US & Canada) change

07:50 - 09:30
Session 1Erlang at Erlang
Chair(s): Viktória Fördős Cisco Systems
07:50
10m
Day opening
Opening
Erlang
Annette Bieniusa Technische Universität Kaiserslautern, Viktória Fördős Cisco Systems
08:00
30m
Short-paper
Transformations towards Clean Functional Code
Erlang
Boldizsár Poór Eötvös Loránd University, Melinda Tóth Eötvös Loránd University, Faculty of Informatics, Department of Programming Languages and Compilers & ELTE-Soft Nonprofit Ltd., István Bozó Eötvös Loránd University
DOI
08:30
30m
Talk
Supporting Secure Coding with RefactorErl
Erlang
Brigitta Baranyai ELTE Eötvös Loránd University, István Bozó Eötvös Loránd University, Melinda Tóth Eötvös Loránd University, Faculty of Informatics, Department of Programming Languages and Compilers & ELTE-Soft Nonprofit Ltd.
09:00
30m
Full-paper
Teaching Practical Realistic Verification of Distributed Algorithms in Erlang with TLA+
Erlang
Peter Zeller TU Kaiserslautern, Annette Bieniusa Technische Universität Kaiserslautern, Carla Ferreira Universidade Nova Lisboa
DOI
10:00 - 10:30
Social 1Erlang at Erlang
10:00
30m
Social Event
Social 1
Erlang

10:30 - 12:00
Session 2Erlang at Erlang
Chair(s): Annette Bieniusa Technische Universität Kaiserslautern
10:30
30m
Full-paper
Machine-Checked Natural Semantics for Core Erlang: Exceptions and Side Effects
Erlang
Simon Thompson University of Kent, Dániel Horpácsi Eötvös Loránd University, Péter Bereczky Eötvös Loránd University
DOI
11:00
30m
Full-paper
Secure Design and Verification of Erlang Systems
Erlang
Viktória Fördős Cisco Systems
DOI
11:30
30m
Full-paper
Clojerl: The Expressive Power of Clojure on the BEAM
Erlang
Juan Facorro , Natalia Chechina Bournemouth University
DOI
12:30 - 13:30
Session 3Erlang at Erlang
Chair(s): Annette Bieniusa Technische Universität Kaiserslautern, Viktória Fördős Cisco Systems
12:30
60m
Keynote
Living on the Edge with Erlang
Erlang
Peter Van Roy Université catholique de Louvain
13:30 - 14:00
Social 2Erlang at Erlang
13:30
30m
Social Event
Social 2
Erlang

14:00 - 15:00
Session 4Erlang at Erlang
14:00
60m
Industry talk
Panel - Erlang fuelled inventions
Erlang

Call for Papers

Due to the Covid-19 pandemic, Erlang Workshop will be held in an all-virtual format this year.

Jersey City, New Jersey, United States, Sun 23 August 2020

Satellite event of the 25th ACM SIGPLAN International Conference on Functional Programming (ICFP 2020) Sun 23 - Fri 28 August 2020

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 two types of submissions.

  1. Technical papers describing language extensions, critical discussions of the status quo, formal semantics of language constructs, program analysis and transformation, virtual machine extensions and compilation techniques, implementations and interfaces of Erlang in/with other languages, and new tools (profilers, tracers, debuggers, testing frameworks, etc.). Submission related to Erlang, Elixir, Scala/Akka, CloudHaskell, Lisp Flavoured Erlang, OCaml, and functional programming are welcome and encouraged. The maximum length for technical papers is restricted to 12 pages, but short papers (max. 6 pages) are welcomed as well.

  2. Practice and application papers 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 practice and application papers is restricted to 12 pages, but short papers (max. 6 pages) are welcomed as well.

Workshop Co-Chairs

  • Annette Bieniusa, TU Kaiserslautern, Germany
  • Viktória Fördős, Cisco Systems, Sweden

Program Committee

(Note: the Workshop Co-Chairs are also committee members)

  • Adolfo Neto, Federal University of Technology – Paraná, Brazil
  • Atsushi Igarashi, Kyoto University, Japan
  • Evan Vigil-McClanahan, Helium, USA
  • Hans Svensson, Quviq AB, Sweden
  • István Bozó, ELTE Eötvös Loránd University, Hungary
  • Laura M Castro, University of A Coruña, Spain
  • Natalia Chechina, Bournemouth University, UK
  • Phil Trinder, Glasgow University, UK
  • Rickard Carlsson, Happy Hacking, Sweden
  • Stavros Aronis, Erlang Solutions AB, Sweden

Important Dates

  • Submission deadline: Fri May 15, 2020
  • Author notification: Fri June 12, 2020
  • Final submission for the publisher: Wed July 1, 2020 (subject to change)
  • Workshop date: Sun August 23, 2020

Instructions to authors

Papers must be submitted online via HotCRP (via the “Erlang2020” event). The submission page is https://erlang20.hotcrp.com

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.

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.

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

Venue & Registration Details

For registration, please see the ICFP 2020 web site at: https://icfp20.sigplan.org/

Related Links