Program - ICFP 2026

Detailed Table Session Timeline Detailed Timeline

Time Zone

The program is currently displayed in (GMT-04:00) Eastern Time (US & Canada).

Use conference time zone: (GMT-04:00) Eastern Time (US & Canada)Select 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

Mon 24 Aug
Displayed time zone: Eastern Time (US & Canada) change

09:00 - 10:30	Morning Session 1HOPE at IP137 Kelley

09:00 30m Talk		Teaching Effect Handlers in the WildFPW (Paris)Remote HOPE Jiří Beneš University of Tübingen
09:30 30m Talk		Experience Report: Graph Rewriting with Lexical Effect HandlersFPW (Paris)Remote HOPE Marvin Borner University of Tübingen
10:00 30m Talk		Higher-order fork, modallyFPW (Paris)Remote HOPE Aghilas Boussaa École normale supérieure - PSL, Wenhao Tang The University of Edinburgh, Sam Lindley University of Edinburgh

11:00 - 12:30	Morning Session 2HOPE at IP137 Kelley

11:00 30m Talk		Practical Extensions for Graded Monads HOPE Zachery Casey , Marco Gaboardi Boston University, Shin-ya Katsumata Kyoto Sangyo University
11:30 30m Talk		Towards Light-Weight Operational Reasoning for Languages with Binders, Categorically HOPE Sergey Goncharov University of Birmingham
12:00 30m Talk		Orbifoldr: Classifying Wallpaper Groups via Functional Image Analysis in HaskellRemote HOPE Mengxiang Jiang , Shivam Sharma

14:00 - 15:30	Afternoon Session 1HOPE at IP137 Kelley

14:00 30m Talk		Modular Storage Mode Analysis HOPE Martin Elsman University of Copenhagen
14:30 30m Talk		Synthesizing Runners Using Copatterns HOPE Anmol Sahoo Purdue University, Suresh Jagannathan Purdue University
15:00 30m Talk		A Logical Perspective on Capturing TypesRecorded HOPE Yichen Xu EPFL
15:30 5m Talk		Closing HOPE

HOPE 2026 Program

Mon 24 Aug
Displayed time zone: Eastern Time (US & Canada) change

Tracks

Workshops

Co-hosted Symposia

HOPE 2026 Program

Switch Program View

Program Display Configuration

Mon 24 AugDisplayed time zone: Eastern Time (US & Canada) change

Get Calendar (iCal)

Mon 24 Aug
Displayed time zone: Eastern Time (US & Canada) change