ICFP 2026
Mon 24 - Sat 29 August 2026
Indianapolis, Indiana, United States
Toggle navigation
Attending
Venue: Indiana University Indianapolis
Call for Sponsorship
Registration
Hotel Blocks
Information for Presenters
Information for Attendees
Program
ICFP Program
Your Program
Mon 24 Aug
Tue 25 Aug
Wed 26 Aug
Thu 27 Aug
Fri 28 Aug
Sat 29 Aug
Tracks
ICFP 2026
ICFP Artifacts
ICFP Keynotes
ICFP Papers
ICFP Programming Contest
ICFP Tutorials
ICFP Volunteers
ICFP Workshops
ICFP SRC
Workshops
(Watch Party) OCaml
Users and Developers Workshop
Erlang
Erlang Workshop
FARM
Functional Art, Music, Modelling and Design
FUNARCH
Functional Software Architecture
HOPE
Higher-Order Programming with Effects
LOPSTR+PPDP
Logic-Based Synthesis + Declarative Programming
miniKanren
miniKanren and Relational Programming
ML Family
Higher-order, Typed, Inferred, Strict
PLMW @ ICFP
PL Mentoring Workshop
Scheme
Scheme and Functional Programming
Co-hosted Symposia
Haskell
Haskell Symposium
Organization
ICFP 2026 Committees
Distinguished Papers Committee
Organising Committee
Steering Committee
Track Committees
ICFP Artifacts
ICFP Papers
ICFP Tutorials
ICFP Volunteers
ICFP Workshops
ICFP SRC
Contributors
People Index
Workshops
(Watch Party) OCaml
Users and Developers Workshop
N/A - check homepage
Erlang
Erlang Workshop
Organizing Committee
Program Committee
FARM
Functional Art, Music, Modelling and Design
Organizing Committee
FUNARCH
Functional Software Architecture
Program Committee
HOPE
Higher-Order Programming with Effects
Program Committee
LOPSTR+PPDP
Logic-Based Synthesis + Declarative Programming
Organizing Committee
Program Committee
miniKanren
miniKanren and Relational Programming
Organizing Committee
Program Committee
ML Family
Higher-order, Typed, Inferred, Strict
Organizing Committee
Program Committee
PLMW @ ICFP
PL Mentoring Workshop
Organizing Committee
Scheme
Scheme and Functional Programming
Organizing Committee
Program Committee
Co-hosted Symposia
Haskell
Haskell Symposium
Program Committee
Search
Series
Series
ICFP 2026
ICFP 2025
ICFP 2024
ICFP 2023
ICFP 2022
ICFP 2021
ICFP 2020
ICFP 2019
ICFP 2018
ICFP 2017
ICFP 2016
Sign in
Sign up
ICFP 2026
(
series
) /
Indiana University Indianapolis
/
Room information: IP132 Kelley
Venue
Indiana University Indianapolis
Room name
IP132 Kelley
Floor
1
Room number
IP132
Room Information
Located in Hine Hall.
Program
Detailed Table
Session Timeline
Detailed Timeline
This program is tentative and subject to change.
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:00 - 10:30
Morning Session
FARM
at
IP132 Kelley
09:00
15m
Day opening
Welcome from the Chairs
FARM
Mae Milano
Princeton University
09:15
45m
Talk
Composition: Building Community with Arts, Math, and Code (Experience Report)
FARM
Isidore Mohr
None
,
Claire Wang
University of Pennsylvania
10:07
23m
Talk
Demo: Drawing Algorithms As Modular Objects
FARM
Xingyu Dong
University of Pennsylvania
,
Daniel Průša
Czech Technical University
,
Michael Wehar
Bryn Mawr College
,
Chen Xu
11:00 - 12:30
Midday Session
FARM
at
IP132 Kelley
11:00
46m
Talk
CounterChoice: Counterpoint Composition in Dusa with a Firmus Foundation
FARM
Ahmet Yigit Erdem
Institute of Science Tokyo, Middle East Technical University
,
Ari Prakash
Northeastern University
,
Carlo Angiuli
Indiana University
,
Rose Bohrer
National Institute of Advanced Industrial Science and Technology (AIST), Japan
,
James McCann
Carnegie Mellon University
,
Chris Martens
Northeastern University
,
Youyou Cong
Institute of Science Tokyo
11:46
22m
Talk
Prismriver: Formalization of Music Theory and Algorithmic Composition in Lean 4
FARM
Leni Aniva
Stanford University
,
Claire Wang
University of Pennsylvania
12:08
22m
Talk
Demo: The Reduction of Girard's Paradox as Music
FARM
Isidore Mohr
None
14:00 - 15:30
Afternoon Session
FARM
at
IP132 Kelley
14:00
22m
Talk
AGR: A Rehearsal-to-Performance Workflow for Programming Audio Gestures in Max
FARM
Hongshuo Fan
TAMU
14:22
38m
Talk
The Art of Concert Programming
FARM
Jared Gentner
None
Fri 28 Aug
Displayed time zone:
Eastern Time (US & Canada)
change
09:00 - 10:30
Morning Session
ML Family
at
IP132 Kelley
14:00 - 15:30
Afternoon Session
ML Family
at
IP132 Kelley
Sat 29 Aug
Displayed time zone:
Eastern Time (US & Canada)
change
09:00 - 10:30
Morning Session
Scheme
at
IP132 Kelley
09:30
60m
Keynote
Rhombus: The Non-Shrubbery Parts
Scheme
Matthew Flatt
University of Utah
11:00 - 12:30
Morning Session 2
Scheme
at
IP132 Kelley
11:00
30m
Talk
A Call-by-push-value Scheme
Scheme
Max S. New
University of Michigan
11:30
30m
Talk
Regions as Continuation Marks
Scheme
Paulette Koronkevich
University of British Columbia
,
William J. Bowman
University of British Columbia
12:00
30m
Talk
An Incremental Approach to JIT Construction
Scheme
Shaurya Raswan
University of California at San Diego, USA
,
Mark Barbone
University of California at San Diego
,
Nico Lehmann
University of Chile
,
Joe Gibbs Politz
UC San Diego
14:00 - 15:30
Afternoon Session
Scheme
at
IP132 Kelley
14:00
30m
Talk
The R7RS-Large Roadmap
Scheme
Peter McGoron
Georgia Institute of Technology
14:30
30m
Talk
An Array-Oriented Language via the Design Recipe
Scheme
Martin Scheele
University of Massachusetts Boston
,
Stephen Chang
University of Massachusetts Boston
15:00
30m
Talk
Using the Design Recipe in Theory of Computation
Scheme
Martin Scheele
University of Massachusetts Boston
,
Stephen Chang
University of Massachusetts Boston
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
18:00
30
19:00
30
20:00
30
IP132 Kelley
FARM
Morning Session
FARM
Midday Session
FARM
Afternoon Session
FARM
FARM
Fri 28 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
IP132 Kelley
ML Family
Morning Session
ML Family
ML Family
Afternoon Session
ML Family
Sat 29 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
IP132 Kelley
Scheme
Morning Session
Scheme
Morning Session 2
Scheme
Afternoon Session
Scheme
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
IP132 Kelley
FARM
Welcome from the Chairs
09:00 - 09:15
FARM
Composition: Building Community with Arts, Math, and Code (Experience R ...
09:15 - 10:00
FARM
Demo: Drawing Algorithms As Modular Objects
10:07 - 10:30
FARM
CounterChoice: Counterpoint Composition in Dusa with a Firmus Foundation
11:00 - 11:46
FARM
Prismriver: Formalization of Music Theory and Algorithmic Composition i ...
11:46 - 12:08
FARM
Demo: The Reduction of Girard's Paradox as Music
12:08 - 12:30
FARM
AGR: A Rehearsal-to-Performance Workflow for Programming Audio Gestures ...
14:00 - 14:22
FARM
The Art of Concert Programming
14:22 - 15:00
Sat 29 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
IP132 Kelley
Scheme
Rhombus: The Non-Shrubbery Parts
09:30 - 10:30
Scheme
A Call-by-push-value Scheme
11:00 - 11:30
Scheme
Regions as Continuation Marks
11:30 - 12:00
Scheme
An Incremental Approach to JIT Construction
12:00 - 12:30
Scheme
The R7RS-Large Roadmap
14:00 - 14:30
Scheme
An Array-Oriented Language via the Design Recipe
14:30 - 15:00
Scheme
Using the Design Recipe in Theory of Computation
15:00 - 15:30
x
Thu 6 Aug 06:02