Conference Dates
Conference Dates are in time zone (GMT-04:00) Eastern Time (US & Canada), and may differ from the viewed time zone.
Rooms
Tracks
Badges
Your Program
Sun 23 Aug Times are displayed in time zone: Eastern Time (US & Canada) change
Sun 23 Aug
Times are displayed in 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ó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 30mTalk | 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 30mFull-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:30 - 12:00 | |||
10:30 30mFull-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 30mFull-paper | Secure Design and Verification of Erlang Systems Erlang Viktória FördősCisco 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): Viktória FördősCisco Systems, Annette BieniusaTechnische Universität Kaiserslautern | ||
12:30 60mKeynote | Living on the Edge with Erlang Erlang Peter Van RoyUniversité catholique de Louvain |
14:00 - 15:00 | |||
14:00 60mIndustry talk | Panel - Erlang fuelled inventions Erlang |
Sun 23 Aug Times are displayed in time zone: Eastern Time (US & Canada) change
Sun 23 Aug
Times are displayed in time zone: Eastern Time (US & Canada) change
Room | 7:00 | 30 | 8:00 | 30 | 9:00 | 30 | 10:00 | 30 | 11:00 | 30 | 12:00 | 30 | 13:00 | 30 | 14:00 | 30 |
---|
Sun 23 Aug Times are displayed in time zone: Eastern Time (US & Canada) change
Sun 23 Aug
Times are displayed in time zone: Eastern Time (US & Canada) change
Room | 7:00 | 15 | 30 | 45 | 8:00 | 15 | 30 | 45 | 9:00 | 15 | 30 | 45 | 10:00 | 15 | 30 | 45 | 11:00 | 15 | 30 | 45 | 12:00 | 15 | 30 | 45 | 13:00 | 15 | 30 | 45 | 14:00 | 15 | 30 | 45 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Erlang | Erlang Opening 07:50 - 08:00 | Erlang Transformations towards Clean Functional Code 08:00 - 08:30 | Erlang Supporting Secure Coding with RefactorErl 08:30 - 09:00 | Erlang Social 1 10:00 - 10:30 | Erlang Living on the Edge with Erlang 12:30 - 13:30 | Erlang Social 2 13:30 - 14:00 | Erlang Panel - Erlang fuelled inventions 14:00 - 15:00 |
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