Program - ICFP 2020

Detailed Table Session Timeline Detailed Timeline

Time Zone

The program is currently displayed in (GMT-04:00) Eastern Time (US & Canada).

Use conference time zone: (GMT-04:00) Eastern Time (US & Canada)Select other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

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

Erlang 2020 Program

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

Tracks

Workshops

Co-hosted Symposia

Erlang 2020 Program

Switch Program View

Program Display Configuration

Sun 23 AugDisplayed time zone: Eastern Time (US & Canada) change

Get Calendar (iCal)

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