ICFP 2026
Mon 24 - Sat 29 August 2026
Indianapolis, Indiana, United States
Toggle navigation
Attending
Venue: Indiana University Indianapolis
Venue: Madam Walker Legacy Center
Call for Sponsorship
Registration
Hotel Blocks
Information for Presenters
Information for Session Chairs
Information for Attendees
ICFP Live Streams
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
Diversity, Equity, and Inclusion
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 2027
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
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
Chair(s):
Isidore Mohr
None
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
DOI
10:07
23m
Talk
AGR: A Rehearsal-to-Performance Workflow for Programming Audio Gestures in Max
FARM
Hongshuo Fan
TAMU
DOI
11:00 - 12:30
Midday Session
FARM
at
IP132 Kelley
Chair(s):
Claire Wang
University of Pennsylvania
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
DOI
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
DOI
12:08
22m
Talk
Demo: The Reduction of Girard’s Paradox as Music
FARM
Isidore Mohr
None
DOI
14:00 - 15:00
Afternoon Session
FARM
at
IP132 Kelley
Chair(s):
Mae Milano
Princeton University
14:00
22m
Talk
Demo: Drawing Algorithms as Modular Objects: A Framework for Procedurally Generated Visual Arts and Music
FARM
Xingyu Dong
University of Pennsylvania
,
Daniel Průša
Czech Technical University
,
Michael Wehar
Bryn Mawr College
,
Chen Xu
DOI
14:22
38m
Talk
The Art of Concert Programming
FARM
Jared Gentner
None
DOI
Fri 28 Aug
Displayed time zone:
Eastern Time (US & Canada)
change
09:00 - 10:30
Morning Session
ML Family
at
IP132 Kelley
09:00
5m
Day opening
Welcome and Opening Remarks
ML Family
Sam Westrick
New York University
09:05
55m
Keynote
The Rhombus Programming Language
Keynote
ML Family
Matthew Flatt
University of Utah
11:00 - 12:30
Morning Session 2
ML Family
at
IP132 Kelley
11:30
30m
Talk
Testing Incomplete Programs in OCaml
ML Family
Pablo Benario Figueroa
University of Chile
,
Éric Tanter
University of Chile
12:00
30m
Talk
Self-Tagging Numbers
ML Family
John Reppy
University of Chicago
,
Ben Wakefield
University of Chicago
,
Byron Zhong
University of Chicago
14:00 - 15:30
Afternoon Session
ML Family
at
IP132 Kelley
14:00
30m
Talk
Functional Programming with Serialized Data
Invited Talk
ML Family
Michael Vollmer
University of Kent
14:30
30m
Talk
Language Support for Property-Based Testing
Invited Talk
ML Family
Harrison Goldstein
University at Buffalo, SUNY
16:00 - 17:30
Afternoon Session 2
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 (Keynote)
Scheme
Matthew Flatt
University of Utah
DOI
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
DOI
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
DOI
14:00 - 15:30
Afternoon Session
Scheme
at
IP132 Kelley
14:00
30m
Talk
The R7RS-Large Roadmap (Invited Talk)
Scheme
Peter McGoron
Georgia Institute of Technology
DOI
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
DOI
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
DOI
16:00 - 17:30
Afternoon Session 2
Scheme
at
IP132 Kelley
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
IP132 Kelley
FARM
Morning Session
FARM
Midday Session
FARM
Afternoon Session
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
Morning Session 2
ML Family
Afternoon Session
ML Family
Afternoon Session 2
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
Afternoon Session 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
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
AGR: A Rehearsal-to-Performance Workflow for Programming Audio Gestures ...
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
Demo: Drawing Algorithms as Modular Objects: A Framework for Procedural ...
14:00 - 14:22
FARM
The Art of Concert Programming
14:22 - 15:00
Fri 28 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
ML Family
Welcome and Opening Remarks
09:00 - 09:05
ML Family
Keynote
The Rhombus Programming Language
09:05 - 10:00
ML Family
Testing Incomplete Programs in OCaml
11:30 - 12:00
ML Family
Self-Tagging Numbers
12:00 - 12:30
ML Family
Invited Talk
Functional Programming with Serialized Data
14:00 - 14:30
ML Family
Invited Talk
Language Support for Property-Based Testing
14:30 - 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 (Keynote)
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 (Invited Talk)
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
Sun 20 Sep 10:37