Write a Blog >>
ICFP 2020
Thu 20 - Fri 28 August 2020
You're viewing the program in a time zone which is different from your device's time zone - change time zone

Sun 23 Aug
Times are displayed in time zone: Eastern Time (US & Canada) change

07:50 - 09:30
Session 1Erlang at Erlang
Chair(s): Viktória FördősCisco Systems
07:50
10m
Day opening
Opening
Erlang
Annette BieniusaTechnische Universität Kaiserslautern, Viktória FördősCisco Systems
08:00
30m
Short-paper
Transformations towards Clean Functional Code
Erlang
Boldizsár PoórEötvös Loránd University, Melinda TothEö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 BaranyaiELTE Eötvös Loránd University, István BozóEötvös Loránd University, Melinda TothEö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 ZellerTU Kaiserslautern, Annette BieniusaTechnische Universität Kaiserslautern, Carla FerreiraUniversidade 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 BieniusaTechnische Universität Kaiserslautern
10:30
30m
Full-paper
Machine-Checked Natural Semantics for Core Erlang: Exceptions and Side Effects
Erlang
Simon ThompsonUniversity of Kent, Dániel HorpácsiEötvös Loránd University, Péter BereczkyEötvös Loránd University
DOI
11:00
30m
Full-paper
Secure Design and Verification of Erlang Systems
Erlang
Viktória FördősCisco Systems
DOI
11:30
30m
Full-paper
Clojerl: The Expressive Power of Clojure on the BEAM
Erlang
Juan Facorro, Natalia ChechinaBournemouth University
DOI
12:30 - 13:30
Session 3Erlang at Erlang
Chair(s): Viktória FördősCisco Systems, Annette BieniusaTechnische Universität Kaiserslautern
12:30
60m
Keynote
Living on the Edge with Erlang
Erlang
Peter Van RoyUniversité 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

Sun 23 Aug
Times are displayed in time zone: Eastern Time (US & Canada) change

iCalendar subscription service for your personal schedule
You first need to have starred events () in order to use the iCalendar subscription service.
Currently Viewed Program
Downloads the currently viewed program (with filters applied) in iCal format
Session Calendar (ical)
Detailed Event Calendar (ical)