HOPE 2026
Mon 24 Aug 2026
Indianapolis, Indiana, United States
co-located with
ICFP 2026
Toggle navigation
Attending
Venue: Indiana University Indianapolis
Venue: Madam Walker Legacy Center
Program
HOPE Program
Your Program
Mon 24 Aug
Track/Call
Organization
HOPE 2026 Committees
Track Committees
Program Committee
Contributors
People Index
Search
Series
Series
HOPE 2026
HOPE 2025
HOPE 2024
HOPE 2023
HOPE 2022
HOPE 2021
HOPE 2020
HOPE 2018
HOPE 2017
HOPE 2016
Sign in
Sign up
ICFP 2026
(
series
) /
HOPE 2026 (
series
) /
Indiana University Indianapolis
/
Room information: HO223 Indiana Room
Venue
Indiana University Indianapolis
Room name
HO223 Indiana Room
Floor
2
Room number
HO223
Room Information
Located in University Tower.
Program
Detailed Table
Session Timeline
Detailed Timeline
Program Display Configuration
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
(GMT-12:00) AoE (Anywhere On Earth)
(GMT-11:00) Midway Island, Samoa
(GMT-09:00) Hawaii-Aleutian
(GMT-10:00) Hawaii
(GMT-09:30) Marquesas Islands
(GMT-09:00) Gambier Islands
(GMT-08:00) Alaska
(GMT-07:00) Tijuana, Baja California
(GMT-08:00) Pitcairn Islands
(GMT-07:00) Pacific Time (US & Canada)
(GMT-06:00) Mountain Time (US & Canada)
(GMT-06:00) Chihuahua, La Paz, Mazatlan
(GMT-07:00) Arizona
(GMT-06:00) Saskatchewan, Central America
(GMT-06:00) Guadalajara, Mexico City, Monterrey
(GMT-06:00) Easter Island
(GMT-05:00) Cancun
(GMT-05:00) Central Time (US & Canada)
(GMT-04:00) Eastern Time (US & Canada)
(GMT-04:00) Cuba
(GMT-05:00) Bogota, Lima, Quito, Rio Branco
(GMT-04:00) Caracas
(GMT-04:00) Santiago
(GMT-04:00) La Paz
(GMT-03:00) Faukland Islands
(GMT-04:00) Manaus, Amazonas, Brazil
(GMT-03:00) Atlantic Time (Goose Bay)
(GMT-03:00) Atlantic Time (Canada)
(GMT-02:30) Newfoundland
(GMT-03:00) UTC-3
(GMT-03:00) Montevideo
(GMT-02:00) Miquelon, St. Pierre
(GMT-02:00) Greenland
(GMT-03:00) Buenos Aires
(GMT-03:00) Brasilia, Distrito Federal, Brazil
(GMT-02:00) Mid-Atlantic
(GMT-01:00) Cape Verde Is.
(GMT) Azores
(UTC) Coordinated Universal Time
(GMT+01:00) Belfast
(GMT+01:00) Dublin
(GMT+01:00) Lisbon
(GMT+01:00) London
(GMT) Monrovia, Reykjavik
(GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
(GMT+02:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague
(GMT+02:00) Brussels, Copenhagen, Madrid, Paris
(GMT+01:00) West Central Africa
(GMT+02:00) Windhoek
(GMT+03:00) Athens
(GMT+03:00) Beirut
(GMT+02:00) Cairo
(GMT+03:00) Gaza
(GMT+02:00) Harare, Pretoria
(GMT+03:00) Jerusalem
(GMT+03:00) Minsk
(GMT+03:00) Syria
(GMT+03:00) Moscow, St. Petersburg, Volgograd
(GMT+03:00) Nairobi
(GMT+03:30) Tehran
(GMT+04:00) Abu Dhabi, Muscat
(GMT+04:00) Yerevan
(GMT+04:30) Kabul
(GMT+05:00) Ekaterinburg
(GMT+05:00) Tashkent
(GMT+05:30) Chennai, Kolkata, Mumbai, New Delhi
(GMT+05:45) Kathmandu
(GMT+06:00) Astana, Dhaka
(GMT+07:00) Novosibirsk
(GMT+06:30) Yangon (Rangoon)
(GMT+07:00) Bangkok, Hanoi, Jakarta
(GMT+07:00) Krasnoyarsk
(GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi
(GMT+08:00) Irkutsk, Ulaan Bataar
(GMT+08:00) Perth
(GMT+08:45) Eucla
(GMT+09:00) Osaka, Sapporo, Tokyo
(GMT+09:00) Seoul
(GMT+09:00) Yakutsk
(GMT+09:30) Adelaide
(GMT+09:30) Darwin
(GMT+10:00) Brisbane
(GMT+10:00) Hobart
(GMT+10:00) Vladivostok
(GMT+10:30) Lord Howe Island
(GMT+11:00) Solomon Is., New Caledonia
(GMT+11:00) Magadan
(GMT+11:00) Norfolk Island
(GMT+12:00) Anadyr, Kamchatka
(GMT+12:00) Auckland, Wellington
(GMT+12:00) Fiji, Kamchatka, Marshall Is.
(GMT+12:45) Chatham Islands
(GMT+13:00) Nuku'alofa
(GMT+14:00) Kiritimati
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 program
Specify 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:40 - 10:30
OCaml Workshop Watch Party 1
(Watch Party) OCaml
at
HO223 Indiana Room
09:40
25m
Talk
JSON parsing in OxCaml: fast, but not too fast
(Watch Party) OCaml
Artem Pianykh
Facebook London
10:05
25m
Talk
A new implementation of Short-paths
(Watch Party) OCaml
Ulysse Gérard
Tarides
,
Paul Elliot Anglès d'Auriac
,
Leo White
Jane Street
11:00 - 11:50
OCaml Workshop Watch Party 2
(Watch Party) OCaml
at
HO223 Indiana Room
11:00
25m
Talk
Towards a Benchmarking Service for OCaml
(Watch Party) OCaml
Luis Eduardo de Souza Amorim
,
Tim McGilchrist
Tarides
11:25
25m
Talk
First Class Docs in OCaml
(Watch Party) OCaml
Jonathan Ludlam
University of Cambridge
14:00 - 15:30
Hacking Choreographic Programming in Haskell (Part 1)
ICFP Tutorials
at
HO223 Indiana Room
14:00
90m
Talk
Hacking Choreographic Programming in Haskell
ICFP Tutorials
Gan Shen
University of California at Santa Cruz
16:00 - 17:30
Hacking Choreographic Programming in Haskell (Part 2)
ICFP Tutorials
at
HO223 Indiana Room
16:00
90m
Talk
Hacking Choreographic Programming in Haskell
ICFP Tutorials
Gan Shen
University of California at Santa Cruz
Wed 26 Aug
Displayed time zone:
Eastern Time (US & Canada)
change
12:00 - 13:30
LGBTQ@ICFP Lunch
ICFP Diversity, Equity, and Inclusion
at
HO223 Indiana Room
12:00
90m
Lunch
LGBTQ@ICFP Lunch
ICFP Diversity, Equity, and Inclusion
Thu 27 Aug
Displayed time zone:
Eastern Time (US & Canada)
change
12:00 - 13:30
URM@ICFP Lunch
ICFP Diversity, Equity, and Inclusion
at
HO223 Indiana Room
12:00
90m
Lunch
URM@ICFP Lunch
ICFP Diversity, Equity, and Inclusion
Fri 28 Aug
Displayed time zone:
Eastern Time (US & Canada)
change
14:00 - 15:30
Rhombus Tutorial (Part 1)
ICFP Tutorials
at
HO223 Indiana Room
14:00
90m
Talk
Metaprogramming in Rhombus
ICFP Tutorials
Robert Bruce Findler
Northwestern University
,
Matthew Flatt
University of Utah
Pre-print
16:00 - 17:30
Rhombus Tutorial (Part 2)
ICFP Tutorials
at
HO223 Indiana Room
16:00
90m
Talk
Metaprogramming in Rhombus
ICFP Tutorials
Robert Bruce Findler
Northwestern University
,
Matthew Flatt
University of Utah
Pre-print
Mon 24 Aug
Displayed time zone:
Eastern Time (US & Canada)
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
HO223 Indiana Room
(Watch Party) OCaml
OCaml Workshop Watch Party 1
(Watch Party) OCaml
OCaml Workshop Watch Party 2
ICFP Tutorials
Hacking Choreographic Programming in Haskell (Part 1)
ICFP Tutorials
Hacking Choreographic Programming in Haskell (Part 2)
Wed 26 Aug
Displayed time zone:
Eastern Time (US & Canada)
change
Room
12:00
30
13:00
30
HO223 Indiana Room
ICFP Diversity, Equity, and Inclusion
LGBTQ@ICFP Lunch
Thu 27 Aug
Displayed time zone:
Eastern Time (US & Canada)
change
Room
12:00
30
13:00
30
HO223 Indiana Room
ICFP Diversity, Equity, and Inclusion
URM@ICFP Lunch
Fri 28 Aug
Displayed time zone:
Eastern Time (US & Canada)
change
Room
14:00
30
15:00
30
16:00
30
17:00
30
HO223 Indiana Room
ICFP Tutorials
Rhombus Tutorial (Part 1)
ICFP Tutorials
Rhombus Tutorial (Part 2)
Mon 24 Aug
Displayed time zone:
Eastern Time (US & Canada)
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
HO223 Indiana Room
(Watch Party) OCaml
JSON parsing in OxCaml: fast, but not too fast
09:40 - 10:05
(Watch Party) OCaml
A new implementation of Short-paths
10:05 - 10:30
(Watch Party) OCaml
Towards a Benchmarking Service for OCaml
11:00 - 11:25
(Watch Party) OCaml
First Class Docs in OCaml
11:25 - 11:50
ICFP Tutorials
Hacking Choreographic Programming in Haskell
14:00 - 15:30
ICFP Tutorials
Hacking Choreographic Programming in Haskell
16:00 - 17:30
Wed 26 Aug
Displayed time zone:
Eastern Time (US & Canada)
change
Room
12:00
15
30
45
13:00
15
30
45
HO223 Indiana Room
ICFP Diversity, Equity, and Inclusion
LGBTQ@ICFP Lunch
12:00 - 13:30
Thu 27 Aug
Displayed time zone:
Eastern Time (US & Canada)
change
Room
12:00
15
30
45
13:00
15
30
45
HO223 Indiana Room
ICFP Diversity, Equity, and Inclusion
URM@ICFP Lunch
12:00 - 13:30
Fri 28 Aug
Displayed time zone:
Eastern Time (US & Canada)
change
Room
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
17:00
15
30
45
HO223 Indiana Room
ICFP Tutorials
Metaprogramming in Rhombus
14:00 - 15:30
ICFP Tutorials
Metaprogramming in Rhombus
16:00 - 17:30
x
Sun 13 Sep 14:14