Seminar Room 7 - Haskell 2025

VenueNUS School of Computing

Room nameSeminar Room 7

Floor2

Room numberCOM1-02-07

Capacity30

Room Information

Venue layout

app-screen

Program

Time Zone

The program is currently displayed in (GMT+08:00) Perth.

Use conference time zone: (GMT+08:00) PerthSelect 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 12 Oct
Displayed time zone: Perth change

09:00 - 10:30	Welcome & KeynoteErlang at Seminar Room 7 Chair(s): Kiko Fernandez-Reyes Ericsson, Sweden, Adriana Laura Voinea University of Glasgow, UK

09:00 15m Day opening		Welcome to Erlang’25 Erlang Kiko Fernandez-Reyes Ericsson, Sweden, Adriana Laura Voinea University of Glasgow, UK, Ákos Hajdu Meta
09:15 75m Keynote		PyErlang -- a stepping stone towards behaviour-oriented concurrency in PythonErlang Workshop Keynote Erlang Tobias Wrigstad Uppsala University

11:00 - 12:30	Formal Semantics & VerificationErlang at Seminar Room 7 Chair(s): Daniel Gorin Meta

11:00 38m Talk		Mechanised Proofs of Atom Exhaustion in Erlang Erlang Arsenii Fomin Eötvös Loránd University, Péter Bereczky Eötvös Loránd University, Dániel Horpácsi Eötvös Loránd University, Gergő Lajos Turán Eötvös Loránd University
11:38 37m Talk		Deriving an Erlang Interpreter from a Mechanised Formal Semantics of Core Erlang Erlang Gergő Lajos Turán Eötvös Loránd University, Arsenii Fomin Eötvös Loránd University, Péter Bereczky Eötvös Loránd University, Dániel Horpácsi Eötvös Loránd University, Simon Thompson University of Kent (UK)
12:15 15m Talk		The State of The Unions: challenges for type-checking unions and generics at WhatsAppLightning Talk Erlang Maxwell Heiber Meta

14:00 - 15:30	Tools, Systems & Static AnalysisErlang at Seminar Room 7 Chair(s): Kiko Fernandez-Reyes Ericsson, Sweden

14:00 38m Talk		A stop-the-world debugger for Erlang (and the BEAM) Erlang Daniel Gorin Meta, Björn Gustavsson Ericsson AB, Roberto Aloi Meta
14:38 37m Talk		Evaluating AtomVM for Fault-Tolerant ESP32-Based SystemsRemote Erlang Daniel Ferenczi Eötvös Loránd University, Gergely Ruda evosoft Hungary Kft., Melinda Tóth Eötvös Loránd University
15:15 15m Talk		Mailboxer: Static Detection of Erlang Communication ErrorsLightning Talk Erlang Adriana Laura Voinea University of Glasgow, UK

16:00 - 17:30	Distributed BehaviourErlang at Seminar Room 7 Chair(s): Adriana Laura Voinea University of Glasgow, UK

16:00 38m Talk		Moving Objects and Behavior Safely in Ad hoc Networks Erlang Juan Camilo Bonet Universidad de los Andes, Mateo Sanabria Universidad de los Andes, Nicolás Cardozo Universidad de los Andes Link to publication File Attached
16:38 15m Talk		DDMon: a Monitoring Tool for Distributed Deadlock DetectionLightning Talk Erlang Radosław Jan Rowicki Technical University of Denmark
16:53 15m Talk		Securing Erlang and Elixir applicationsLightning TalkRemote Erlang Melinda Tóth Eötvös Loránd University
17:08 22m Day closing		Closing Remarks Erlang Ákos Hajdu Meta, Kiko Fernandez-Reyes Ericsson, Sweden, Adriana Laura Voinea University of Glasgow, UK

Sun 12 Oct
Displayed time zone: Perth change


Room	9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30
Seminar Room 7	Erlang Welcome & Keynote																								Erlang Formal Semantics & Verification																																				Erlang Tools, Systems & Static Analysis																								Erlang Distributed Behaviour

Sun 12 Oct
Displayed time zone: Perth change


Room	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			15:00			15			30			45			16:00			15			30			45			17:00			15			30			45
Seminar Room 7	Erlang Welcome to Erlang’25 09:00 - 09:15			ErlangErlang Workshop Keynote PyErlang -- a stepping stone towards behaviour-oriented concurrency in ... 09:15 - 10:30																					Erlang Mechanised Proofs of Atom Exhaustion in Erlang 11:00 - 11:38								Erlang Deriving an Erlang Interpreter from a Mechanised Formal Semantics of Co ... 11:38 - 12:15							ErlangLightning Talk The State of The Unions: challenges for type-checking unions and generi ... 12:15 - 12:30																					Erlang A stop-the-world debugger for Erlang (and the BEAM) 14:00 - 14:38								ErlangRemote Evaluating AtomVM for Fault-Tolerant ESP32-Based Systems 14:38 - 15:15							ErlangLightning Talk Mailboxer: Static Detection of Erlang Communication Errors 15:15 - 15:30									Erlang Moving Objects and Behavior Safely in Ad hoc Networks 16:00 - 16:38								ErlangLightning Talk DDMon: a Monitoring Tool for Distributed Deadlock Detection 16:38 - 16:53			ErlangLightning TalkRemote Securing Erlang and Elixir applications 16:53 - 17:08			Erlang Closing Remarks 17:08 - 17:30

Room information: Seminar Room 7

Sun 12 Oct
Displayed time zone: Perth change

Sun 12 Oct
Displayed time zone: Perth change

Erlang

Erlang

Erlang

Erlang

Sun 12 Oct
Displayed time zone: Perth change

Tracks

Room information: Seminar Room 7

Program Display Configuration

Sun 12 OctDisplayed time zone: Perth change

Sun 12 OctDisplayed time zone: Perth change

Erlang

Erlang

Erlang

Erlang

Sun 12 OctDisplayed time zone: Perth change

Sun 12 Oct
Displayed time zone: Perth change

Sun 12 Oct
Displayed time zone: Perth change

Sun 12 Oct
Displayed time zone: Perth change