Seminar Room 7 - SPLASH 2025

VenueNUS School of Computing

Room nameSeminar Room 7

Floor2

Room numberCOM1-02-07

Capacity30

Room Information

Venue layout

app-screen

Program

This program is tentative and subject to change.

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		(Keynote) PyErlang -- a stepping stone towards behaviour-oriented concurrency in Python 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		(Lightning Talk) The State of The Unions: challenges for type-checking unions and generics at WhatsApp 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 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		(Lightning Talk) Mailboxer: Static Detection of Erlang Communication Errors Erlang Adriana Laura Voinea University of Glasgow, UK

16:00 - 17:30	Distributed BehaviourErlang at Seminar Room 7

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
16:38 15m Talk		(Lightning talk) DDMon: a Monitoring Tool for Distributed Deadlock Detection Erlang Radosław Jan Rowicki Technical University of Denmark
16:53 15m Talk		(Lightning Talk) TBD Erlang
17:15 15m 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			Erlang (Keynote) PyErlang -- a stepping stone towards behaviour-oriented concu ... 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							Erlang (Lightning Talk) The State of The Unions: challenges for type-checking ... 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 systems 14:38 - 15:15							Erlang (Lightning 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								Erlang (Lightning talk) DDMon: a Monitoring Tool for Distributed Deadlock Dete ... 16:38 - 16:53			Erlang (Lightning Talk) TBD 16:53 - 17:08				Erlang Closing Remarks 17:15 - 17:30

Room information: Seminar Room 7

This program is tentative and subject to change.

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

ICFP/SPLASH 2025

Co-hosted Conferences

Workshops

Co-hosted Symposia

Room information: Seminar Room 7

This program is tentative and subject to change.

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