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: HO221 Presidents Room
Venue
Indiana University Indianapolis
Room name
HO221 Presidents Room
Floor
2
Room number
HO221
Room Information
University Tower, 2nd floor.
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
miniKanren
at
HO221 Presidents Room
09:00
5m
Day opening
Opening greetings and announcements
miniKanren
Chris Martens
Northeastern University
,
William E. Byrd
University of Alabama at Birmingham
09:05
55m
Tutorial
Introduction to relational programming in miniKanren
miniKanren
William E. Byrd
University of Alabama at Birmingham
,
Chris Martens
Northeastern University
10:00
30m
Other
Programming Challenge to Attendees
miniKanren
Chris Martens
Northeastern University
,
William E. Byrd
University of Alabama at Birmingham
11:00 - 12:30
Morning Session 2
miniKanren
at
HO221 Presidents Room
11:00
30m
Talk
Towards Bottom-Up Enumeration in miniKanren via Pruning and Memoization
Remote
miniKanren
Nikolai Kudasov
Innopolis University
Pre-print
11:30
15m
Other
Discussion: Towards Bottom-Up Enumeration in miniKanren via Pruning and Memoization
miniKanren
11:45
30m
Talk
Lightweight Runtime Security Policy Verification Using an Embeddable C++ miniKanren
miniKanren
Andrew Shi-hwa Chen
,
Kodippilige Hashan Sharindu Kodippilige
Minnesota State University Moorhead
File Attached
12:15
15m
Other
Discussion: Lightweight Runtime Security Policy Verification Using an Embedded C++ miniKanren
miniKanren
14:00 - 15:30
Afternoon Session
miniKanren
at
HO221 Presidents Room
14:00
30m
Talk
All for one and none forall: Compiling polymorphic relations without monomorphization
miniKanren
Dmitri Volkov
Indiana University
,
Chung-chieh Shan
Indiana University
,
Yafei Yang
Indiana University
Pre-print
14:30
15m
Talk
Discussion: All for one and none for all
miniKanren
14:45
30m
Talk
Efficient Rational Unification for miniKanren
Remote
miniKanren
Eridan Domoratskiy
Saint-Petersburg State University
,
Dmitri Boulytchev
Saint Petersburg State University
Pre-print
File Attached
15:15
15m
Other
Discussion: Efficient Rational Unification for miniKanren
miniKanren
16:00 - 17:30
Afternoon Session 2
miniKanren
at
HO221 Presidents Room
16:00
60m
Keynote
A Lean, Mean, miniKanren Machine
miniKanren
Jason Hemann
Seton Hall University
17:00
30m
Demonstration
Demos of Attendee Programs and Open Mic
miniKanren
William E. Byrd
University of Alabama at Birmingham
,
Chris Martens
Northeastern University
Thu 27 Aug
Displayed time zone:
Eastern Time (US & Canada)
change
13:55 - 15:00
Thursday Afternoon Session
LOPSTR+PPDP
at
HO221 Presidents Room
Chair(s):
William E. Byrd
University of Alabama at Birmingham
,
Theresa Swift
Johns Hopkins Applied Physics Laboratory
13:55
5m
Day opening
Opening Greetings and Announcements (Day 1)
LOPSTR+PPDP
Theresa Swift
Johns Hopkins Applied Physics Laboratory
,
William E. Byrd
University of Alabama at Birmingham
14:00
60m
Keynote
Functional / Logic Programming in Verse
Keynote
LOPSTR+PPDP
Stephanie Weirich
University of Pennsylvania
15:30 - 17:30
Thursday Afternoon Session 2
LOPSTR+PPDP
at
HO221 Presidents Room
Chair(s):
Kyle Dewey
California State University, Northridge
15:30
30m
Talk
From Constraints to Cognition: A Hybrid Framework for Adaptive, Explainable Scheduling
Remote
Best Paper Award
LOPSTR+PPDP
Stefania Costantini
Dipartimento di Ingegneria e Scienze dell'Informazione eMatematica, Univ. dell'Aquila
,
Valentina Pitoni
Univaq
,
Andrea Formisano
Università di Perugia
,
Lorenzo De Lauretis
Univaq
16:00
30m
Talk
Strong and NAF Negations in Answer Set Programming
Remote
LOPSTR+PPDP
Yuliya Lierler
University of Nebraska
16:30
30m
Talk
Convenient Algebraic Programming with Coercive Subtyping
LOPSTR+PPDP
Henry Blanchette
University of Maryland at College Park, USA
,
Aaron Stump
Boston College
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
HO221 Presidents Room
miniKanren
Morning Session
miniKanren
Morning Session 2
miniKanren
Afternoon Session
miniKanren
Afternoon Session 2
Thu 27 Aug
Displayed time zone:
Eastern Time (US & Canada)
change
Room
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
HO221 Presidents Room
LOPSTR+PPDP
Thursday Afternoon Session
LOPSTR+PPDP
Thursday 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
15:00
15
30
45
16:00
15
30
45
17:00
15
30
45
HO221 Presidents Room
miniKanren
Opening greetings and announcements
09:00 - 09:05
miniKanren
Introduction to relational programming in miniKanren
09:05 - 10:00
miniKanren
Programming Challenge to Attendees
10:00 - 10:30
miniKanren
Remote
Towards Bottom-Up Enumeration in miniKanren via Pruning and Memoization
11:00 - 11:30
miniKanren
Discussion: Towards Bottom-Up Enumeration in miniKanren via Pruning and ...
11:30 - 11:45
miniKanren
Lightweight Runtime Security Policy Verification Using an Embeddable C+ ...
11:45 - 12:15
miniKanren
Discussion: Lightweight Runtime Security Policy Verification Using an E ...
12:15 - 12:30
miniKanren
All for one and none forall: Compiling polymorphic relations without mo ...
14:00 - 14:30
miniKanren
Discussion: All for one and none for all
14:30 - 14:45
miniKanren
Remote
Efficient Rational Unification for miniKanren
14:45 - 15:15
miniKanren
Discussion: Efficient Rational Unification for miniKanren
15:15 - 15:30
miniKanren
A Lean, Mean, miniKanren Machine
16:00 - 17:00
miniKanren
Demos of Attendee Programs and Open Mic
17:00 - 17:30
Thu 27 Aug
Displayed time zone:
Eastern Time (US & Canada)
change
Room
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
HO221 Presidents Room
LOPSTR+PPDP
Opening Greetings and Announcements (Day 1)
13:55 - 14:00
LOPSTR+PPDP
Keynote
Functional / Logic Programming in Verse
14:00 - 15:00
LOPSTR+PPDP
Remote
Best Paper Award
From Constraints to Cognition: A Hybrid Framework for Adaptive, Explain ...
15:30 - 16:00
LOPSTR+PPDP
Remote
Strong and NAF Negations in Answer Set Programming
16:00 - 16:30
LOPSTR+PPDP
Convenient Algebraic Programming with Coercive Subtyping
16:30 - 17:00
x
Fri 11 Sep 15:49