Write a Blog >>
FARM 2020
Fri 28 Aug 2020
co-located with ICFP 2020
VenueOnline
Room nameErlang
Floor0
Room InformationNo extra information available
Program

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