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: IP139 Kelley
Venue
Indiana University Indianapolis
Room name
IP139 Kelley
Floor
1
Room number
IP139
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
miniKanren
at
IP139 Kelley
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
IP139 Kelley
11:00
25m
Talk
Efficient Rational Unification for miniKanren
miniKanren
Eridan Domoratskiy
Saint-Petersburg State University
,
Dmitri Boulytchev
Saint Petersburg State University
Pre-print
11:25
20m
Other
Discussion: Efficient Rational Unification for miniKanren
miniKanren
11:45
25m
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:10
20m
Other
Discussion: Lightweight Runtime Security Policy Verification Using an Embedded C++ miniKanren
miniKanren
14:00 - 15:30
Afternoon Session
miniKanren
at
IP139 Kelley
14:00
25m
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:25
20m
Talk
Discussion: All for one and none for all
miniKanren
14:45
25m
Talk
Towards Bottom-Up Enumeration in miniKanren via Pruning and Memoization
miniKanren
Nikolai Kudasov
Innopolis University
Pre-print
15:10
20m
Other
Discussion: Towards Bottom-Up Enumeration in miniKanren via Pruning and Memoization
miniKanren
16:00 - 17:30
Afternoon Session 2
miniKanren
at
IP139 Kelley
16:00
60m
Keynote
Keynote title: TBA
miniKanren
17:00
30m
Demonstration
Demos of Attendee Programs and Open Mic
miniKanren
William E. Byrd
University of Alabama at Birmingham
,
Chris Martens
Northeastern University
Fri 28 Aug
Displayed time zone:
Eastern Time (US & Canada)
change
09:00 - 10:30
Welcome and Keynote
Erlang
at
IP139 Kelley
09:00
10m
Day opening
Welcome
Erlang
Lee Barney
09:10
80m
Keynote
Actor Capabilities for Controlled Actor Interactions
Keynote
Erlang
Colin Gordon
Drexel University
11:00 - 12:30
Types and Semantics
Erlang
at
IP139 Kelley
11:00
30m
Talk
A Mechanised Semantics of Erlang's References
Erlang
Dániel Lukács
Eötvös Loránd University
,
Péter Bereczky
Eötvös Loránd University
,
Dániel Horpácsi
Eötvös Loránd University
11:30
30m
Talk
Set-Theoretic Type Checking of Beginner Erlang Code: A Retrospective Study
Erlang
Albert Schimpf
University of Kaiserslautern-Landau
,
Stefan Wehr
Offenburg University of Applied Sciences
,
Annette Bieniusa
RPTU Kaiserslautern-Landau
12:00
30m
Talk
Towards Exact Semantic Equivalence of Erlang BEAM constructs: Lessons from Advanced Emulation and Decompilation
Erlang
Gregory Morse
Eötvös Loránd University (ELTE)
,
Melinda Tóth
Eötvös Loránd University
14:00 - 15:30
Applications and Teaching
Erlang
at
IP139 Kelley
14:00
30m
Talk
EMoL: Erlang Messaging and Monitoring over LoRa
Erlang
Daniel Ferenczi
Eötvös Loránd University
,
Gergely Ruda
evosoft Hungary Kft.
,
Melinda Tóth
Eötvös Loránd University
14:30
30m
Talk
Green Benchmarking of BEAM Languages
Erlang
Youssef Gharbi
ELTE Eötvös Loránd University
,
Melinda Tóth
Eötvös Loránd University
,
István Bozó
Eötvös Loránd University
15:00
30m
Talk
Modern Erlang Teaching from Code Refactoring to Actor System Verification
Erlang
Sergey Staroletov
Polzunov Altai State Technical University
Sat 29 Aug
Displayed time zone:
Eastern Time (US & Canada)
change
09:00 - 10:30
Morning Session
FUNARCH
at
IP139 Kelley
Chair(s):
Jeffrey Young
Canonical
09:30
60m
Keynote
Functional Mechanical Sympathy
FUNARCH
K:
Richard Feldman
Zed Industries
11:00 - 12:30
Morning Session 2
FUNARCH
at
IP139 Kelley
11:00
45m
Talk
From Lambda to Ledger: An Architectural Comparison of Plinth and Plutarch
FUNARCH
Seungheon Oh
Input Output
,
Ziyang Liu
Input Output, USA
,
Philip Wadler
IOG; University of Edinburgh
14:00 - 15:30
Afternoon Session
FUNARCH
at
IP139 Kelley
Chair(s):
Jeffrey Young
Canonical
14:00
45m
Experience report
Local-First Distributed Configuration (Experience Report)
FUNARCH
Michael Sperber
Active Group GmbH
14:45
45m
Talk
Functional State Machines in Rust: Typestate and Newtype Patterns (Experience Report)
FUNARCH
Leon Heuer
NORDAKADEMIE gAG Hochschule der Wirtschaft
,
Falk Woldmann Lu
Otto GmbH & Co. KGaA
,
Jan Haase
NORDAKADEMIE gAG Hochschule der Wirtschaft
16:00 - 17:30
Afternoon Session 2
FUNARCH
at
IP139 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
15:00
30
16:00
30
17:00
30
IP139 Kelley
miniKanren
Morning Session
miniKanren
Morning Session 2
miniKanren
Afternoon Session
miniKanren
Afternoon Session 2
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
IP139 Kelley
Erlang
Welcome and Keynote
Erlang
Types and Semantics
Erlang
Applications and Teaching
Erlang
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
IP139 Kelley
FUNARCH
Morning Session
FUNARCH
Morning Session 2
FUNARCH
Afternoon Session
FUNARCH
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
IP139 Kelley
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
Efficient Rational Unification for miniKanren
11:00 - 11:25
miniKanren
Discussion: Efficient Rational Unification for miniKanren
11:25 - 11:45
miniKanren
Lightweight Runtime Security Policy Verification Using an Embeddable C+ ...
11:45 - 12:10
miniKanren
Discussion: Lightweight Runtime Security Policy Verification Using an E ...
12:10 - 12:30
miniKanren
All for one and none forall: Compiling polymorphic relations without mo ...
14:00 - 14:25
miniKanren
Discussion: All for one and none for all
14:25 - 14:45
miniKanren
Towards Bottom-Up Enumeration in miniKanren via Pruning and Memoization
14:45 - 15:10
miniKanren
Discussion: Towards Bottom-Up Enumeration in miniKanren via Pruning and ...
15:10 - 15:30
miniKanren
Keynote title: TBA
16:00 - 17:00
miniKanren
Demos of Attendee Programs and Open Mic
17:00 - 17:30
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
15:00
15
30
45
IP139 Kelley
Erlang
Welcome
09:00 - 09:10
Erlang
Keynote
Actor Capabilities for Controlled Actor Interactions
09:10 - 10:30
Erlang
A Mechanised Semantics of Erlang's References
11:00 - 11:30
Erlang
Set-Theoretic Type Checking of Beginner Erlang Code: A Retrospective Study
11:30 - 12:00
Erlang
Towards Exact Semantic Equivalence of Erlang BEAM constructs: Lessons f ...
12:00 - 12:30
Erlang
EMoL: Erlang Messaging and Monitoring over LoRa
14:00 - 14:30
Erlang
Green Benchmarking of BEAM Languages
14:30 - 15:00
Erlang
Modern Erlang Teaching from Code Refactoring to Actor System Verification
15:00 - 15:30
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
IP139 Kelley
FUNARCH
Functional Mechanical Sympathy
09:30 - 10:30
FUNARCH
From Lambda to Ledger: An Architectural Comparison of Plinth and Plutarch
11:00 - 11:45
FUNARCH
Local-First Distributed Configuration (Experience Report)
14:00 - 14:45
FUNARCH
Functional State Machines in Rust: Typestate and Newtype Patterns (Expe ...
14:45 - 15:30
x
Sat 8 Aug 15:45