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 SessionminiKanren 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 2miniKanren at HO221 Presidents Room

11:00 30m Talk		Towards Bottom-Up Enumeration in miniKanren via Pruning and MemoizationRemote 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 SessionminiKanren 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 miniKanrenRemote 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 2miniKanren 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

miniKanren 2026 Program

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

Tracks

Workshops

Co-hosted Symposia

miniKanren 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