ICFP 2025
Sun 12 - Sat 18 October 2025 Singapore
co-located with ICFP/SPLASH 2025
ICFP/SPLASH 2025 (series) / ICFP 2025 (series) / NUS School of Computing /

Room information: Seminar Room 3

VenueNUS School of Computing
Room nameSeminar Room 3
Floor2
Room numberCOM1-02-12
Capacity80
Room Information

Venue layout

app-screen

Program

This program is tentative and subject to change.

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 None
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 The University of Edinburgh

Sun 12 Oct

Displayed time zone: Perth change

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
Seminar Room 3

HOPE

Keynote talk

HOPE

Session 1

HOPE

Session 2

HOPE

Session 3

Sun 12 Oct

Displayed time zone: Perth change

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:00153045
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