Seminar Room 3 - ICFP/SPLASH 2025

VenueNUS School of Computing

Room nameSeminar Room 3

Floor2

Room numberCOM1-02-12

Capacity80

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	Keynote talkHOPE at Seminar Room 3

09:00 90m Keynote		Smart Handlers: Handling the selection monad HOPE Ningning Xie University of Toronto

11:00 - 12:30	Session 1HOPE at Seminar Room 3

11:00 30m Talk		Contractions Are Abstractions - Towards Effective Memory Management in ReML HOPE Martin Elsman University of Copenhagen
11:30 30m Talk		Finite functional programming via graded effects and relevance types HOPE Michael Arntzenius UC Berkeley

14:00 - 15:30	Session 2HOPE at Seminar Room 3

14:00 30m Talk		Compositions for Free: Reasoning about Effectful Lenses HOPE Ruifeng Xie Peking University, Tom Schrijvers KU Leuven, Zhenjiang Hu Peking University
14:30 30m Talk		Sound and Complete Refinement for SSA with Substructural Effects HOPE Jad Elkhaleq Ghalayini University of Cambridge, Neel Krishnaswami University of Cambridge
15:00 30m Talk		Substructural Weakest Preconditions in Fibrations HOPE John Li Northeastern University, Pedro H. Azevedo de Amorim University of Oxford, Ryan Doenges Northeastern University

16:00 - 17:30	Session 3HOPE at Seminar Room 3

16:00 60m Talk		Rows and Capabilities as Modal Effects (Extended Abstract) HOPE Wenhao Tang The University of Edinburgh, Sam Lindley University of Edinburgh

Hide past events

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 3	HOPE Keynote talk																								HOPE Session 1																																				HOPE Session 2																								HOPE Session 3

Hide past events

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
Seminar Room 3	HOPE Smart Handlers: Handling the selection monad 09:00 - 10:30																								HOPE Contractions Are Abstractions - Towards Effective Memory Management in ReML 11:00 - 11:30						HOPE Finite functional programming via graded effects and relevance types 11:30 - 12:00																														HOPE Compositions for Free: Reasoning about Effectful Lenses 14:00 - 14:30						HOPE Sound and Complete Refinement for SSA with Substructural Effects 14:30 - 15:00						HOPE Substructural Weakest Preconditions in Fibrations 15:00 - 15:30												HOPE Rows and Capabilities as Modal Effects (Extended Abstract) 16:00 - 17:00

Hide past events

Room information: Seminar Room 3

Sun 12 Oct
Displayed time zone: Perth change

Sun 12 Oct
Displayed time zone: Perth change

HOPE

HOPE

HOPE

HOPE

Sun 12 Oct
Displayed time zone: Perth change

Tracks

Co-hosted Conferences

Workshops

Co-hosted Symposia

Room information: Seminar Room 3

Program Display Configuration

Sun 12 OctDisplayed time zone: Perth change

Sun 12 OctDisplayed time zone: Perth change

HOPE

HOPE

HOPE

HOPE

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