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.
Sun 23 AugDisplayed time zone: Eastern Time (US & Canada) change
07:50 - 09:30 | |||
07:50 10mDay opening | Opening Erlang | ||
08:00 30mShort-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 30mTalk | 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 30mFull-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:30 - 12:00 | |||
10:30 30mFull-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 30mFull-paper | Secure Design and Verification of Erlang Systems Erlang Viktória Fördős Cisco Systems DOI | ||
11:30 30mFull-paper | Clojerl: The Expressive Power of Clojure on the BEAM Erlang 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 60mKeynote | Living on the Edge with Erlang Erlang Peter Van Roy Université catholique de Louvain |
14:00 - 15:00 | |||
14:00 60mIndustry talk | Panel - Erlang fuelled inventions Erlang |
Accepted Papers
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.
-
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.
-
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
- ICFP 2020 web site: https://icfp20.sigplan.org/
- Past ACM SIGPLAN Erlang workshops: http://www.erlang.org/workshop/
- Open Source Erlang: http://www.erlang.org/
- HotCRP submission site: https://erlang20.hotcrp.com
- Author Information for SIGPLAN Conferences: http://www.sigplan.org/authorInformation.htm
- Attendee Information for SIGPLAN Events: http://www.sigplan.org/Resources/Policies/CodeOfConduct/