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: IP137 Kelley
Venue
Indiana University Indianapolis
Room name
IP137 Kelley
Floor
1
Room number
IP137
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
HOPE
at
IP137 Kelley
14:00 - 15:30
Afternoon Session
HOPE
at
IP137 Kelley
Thu 27 Aug
Displayed time zone:
Eastern Time (US & Canada)
change
14:00 - 17:30
Thursday Afternoon Session
LOPSTR+PPDP
at
IP137 Kelley
14:00
90m
Keynote
Keynote 1 (TBA)
LOPSTR+PPDP
15:30
30m
Coffee break
Coffee Break
LOPSTR+PPDP
16:00
30m
Talk
Strong and NAF Negations in Answer Set Programming
LOPSTR+PPDP
Yuliya Lierler
University of Nebraska
16:30
30m
Talk
From Constraints to Cognition: A Hybrid Framework for Adaptive, Explainable Scheduling
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
17:00
30m
Talk
Convenient Algebraic Programming with Coercive Subtyping
LOPSTR+PPDP
Henry Blanchette
,
Aaron Stump
Boston College
Fri 28 Aug
Displayed time zone:
Eastern Time (US & Canada)
change
09:00 - 10:30
Morning Session
LOPSTR+PPDP
at
IP137 Kelley
09:00
90m
Keynote
Keynote 2 (TBA)
LOPSTR+PPDP
11:00 - 12:30
Morning Session 2
LOPSTR+PPDP
at
IP137 Kelley
11:00
30m
Talk
Elements of Logic Programming in a Concatenative Functional Language
LOPSTR+PPDP
Attila Egri-Nagy
Akita International University
11:30
30m
Talk
Tempo: Reconstructing Synchronous Reactive Programming with OCaml 5 Effects
LOPSTR+PPDP
Frédéric Dabrowski
Université d'Orléans
12:00
30m
Talk
Wren: A Fast Logic Programming eDSL With Host Language Garbage Collection
LOPSTR+PPDP
Kyle Dewey
California State University, Northridge
,
Mehmet Emre
University of San Francisco
14:00 - 15:30
Afternoon Session
LOPSTR+PPDP
at
IP137 Kelley
14:00
30m
Talk
Implementing Grassroots Logic Programs with Multiagent Transition Systems and AI
LOPSTR+PPDP
Ehud Shapiro
London School of Economics
14:30
30m
Talk
PAARL: An Interactive System for Policy-Aware Planning in Autonomous Agents (System Description)
LOPSTR+PPDP
Vineel Tummala
Miami University
,
Daniela Inclezan
Miami University, USA
15:00
30m
Talk
Backwards Compatibility of Conditional Literals
LOPSTR+PPDP
Zachary Hansen
Boise State University
16:00 - 17:30
Afternoon Session 2
LOPSTR+PPDP
at
IP137 Kelley
16:00
30m
Talk
Deconstructed Proto-Quipper: A Rational Reconstruction
LOPSTR+PPDP
Ryan Kavanagh
Université du Québec à Montréal
,
Chuta Sano
McGill University
,
Brigitte Pientka
McGill University
16:30
30m
Talk
Deriving a Kronecker-Free Functional Quantum Simulator
LOPSTR+PPDP
Martin Elsman
University of Copenhagen
17:00
30m
Panel
LOPSTR+PPDP Discussion
LOPSTR+PPDP
Sat 29 Aug
Displayed time zone:
Eastern Time (US & Canada)
change
09:00 - 10:30
Morning Session
LOPSTR+PPDP
at
IP137 Kelley
09:00
90m
Keynote
Keynote 3 (TBA)
LOPSTR+PPDP
11:00 - 12:30
Morning Session 2
LOPSTR+PPDP
at
IP137 Kelley
11:00
30m
Talk
A Typed and Unified Reflection for Shift and Shift0
LOPSTR+PPDP
Yui Tamura
Ochanomizu University
,
Kenichi Asai
Ochanomizu University
11:30
30m
Talk
Combining Small-Step and Big-Step Semantics to Verify Loop Optimizations
LOPSTR+PPDP
David Knothe
FZI Research Center for Information Technology
,
Oliver Bringmann
FZI Research Center for Information Technology
12:00
30m
Talk
Certified hardware for regexp matching: A rocq library and its workflow
LOPSTR+PPDP
Julin Shaji
Indian Institute of Technology Palakkad
,
Piyush Kurur
Indian Institute of Technology Palakkad
,
Sandeep Chandran
Indian Institute of Technology Palakkad
14:00 - 15:30
Afternoon Session
LOPSTR+PPDP
at
IP137 Kelley
14:00
30m
Talk
StageML: Partial Evaluation for Multi-Tenant MoE-LoRA Inference
LOPSTR+PPDP
Xavier Adettu
University of Wisconsin-Milwaukee
,
Tian Zhao
University of Wisconsin-Milwaukee
14:30
30m
Talk
Complex Autonomous UAV Task Execution and Decision-Making Using s(CASP)
LOPSTR+PPDP
Keegan Kimbrell
University of Texas at Dallas, USA
,
Alexis R Tudor
University of Texas at Dallas
,
Peter Vu
University of Texas at Dallas
,
Trevor Bihl
Ohio University
,
Doug Slattery
SYBOR Tech, Inc.
,
Gopal Gupta
University of Texas at Dallas
15:00
30m
Talk
Vehicle with Time: Signal First-Order Logic for Closed-Loop Controller Synthesis
LOPSTR+PPDP
Gusts Gustavs Grīnbergs
IT University of Copenhagen
,
Alessandro Bruni
IT University of Copenhagen
,
Matthew L. Daggitt
University of Western Australia
16:00 - 17:30
Afternoon Session 2
LOPSTR+PPDP
at
IP137 Kelley
16:00
90m
Panel
Coding Agents: New opportunities for formal methods?
LOPSTR+PPDP
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
IP137 Kelley
HOPE
Morning Session
HOPE
HOPE
Afternoon Session
HOPE
Thu 27 Aug
Displayed time zone:
Eastern Time (US & Canada)
change
Room
14:00
30
15:00
30
16:00
30
17:00
30
IP137 Kelley
LOPSTR+PPDP
Thursday 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
IP137 Kelley
LOPSTR+PPDP
Morning Session
LOPSTR+PPDP
Morning Session 2
LOPSTR+PPDP
Afternoon Session
LOPSTR+PPDP
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
IP137 Kelley
LOPSTR+PPDP
Morning Session
LOPSTR+PPDP
Morning Session 2
LOPSTR+PPDP
Afternoon Session
LOPSTR+PPDP
Afternoon Session 2
Thu 27 Aug
Displayed time zone:
Eastern Time (US & Canada)
change
Room
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
17:00
15
30
45
IP137 Kelley
LOPSTR+PPDP
Keynote 1 (TBA)
14:00 - 15:30
LOPSTR+PPDP
Coffee Break
15:30 - 16:00
LOPSTR+PPDP
Strong and NAF Negations in Answer Set Programming
16:00 - 16:30
LOPSTR+PPDP
From Constraints to Cognition: A Hybrid Framework for Adaptive, Explain ...
16:30 - 17:00
LOPSTR+PPDP
Convenient Algebraic Programming with Coercive Subtyping
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
16:00
15
30
45
17:00
15
30
45
IP137 Kelley
LOPSTR+PPDP
Keynote 2 (TBA)
09:00 - 10:30
LOPSTR+PPDP
Elements of Logic Programming in a Concatenative Functional Language
11:00 - 11:30
LOPSTR+PPDP
Tempo: Reconstructing Synchronous Reactive Programming with OCaml 5 Effects
11:30 - 12:00
LOPSTR+PPDP
Wren: A Fast Logic Programming eDSL With Host Language Garbage Collection
12:00 - 12:30
LOPSTR+PPDP
Implementing Grassroots Logic Programs with Multiagent Transition Syste ...
14:00 - 14:30
LOPSTR+PPDP
PAARL: An Interactive System for Policy-Aware Planning in Autonomous Ag ...
14:30 - 15:00
LOPSTR+PPDP
Backwards Compatibility of Conditional Literals
15:00 - 15:30
LOPSTR+PPDP
Deconstructed Proto-Quipper: A Rational Reconstruction
16:00 - 16:30
LOPSTR+PPDP
Deriving a Kronecker-Free Functional Quantum Simulator
16:30 - 17:00
LOPSTR+PPDP
LOPSTR+PPDP Discussion
17:00 - 17: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
16:00
15
30
45
17:00
15
30
45
IP137 Kelley
LOPSTR+PPDP
Keynote 3 (TBA)
09:00 - 10:30
LOPSTR+PPDP
A Typed and Unified Reflection for Shift and Shift0
11:00 - 11:30
LOPSTR+PPDP
Combining Small-Step and Big-Step Semantics to Verify Loop Optimizations
11:30 - 12:00
LOPSTR+PPDP
Certified hardware for regexp matching: A rocq library and its workflow
12:00 - 12:30
LOPSTR+PPDP
StageML: Partial Evaluation for Multi-Tenant MoE-LoRA Inference
14:00 - 14:30
LOPSTR+PPDP
Complex Autonomous UAV Task Execution and Decision-Making Using s(CASP)
14:30 - 15:00
LOPSTR+PPDP
Vehicle with Time: Signal First-Order Logic for Closed-Loop Controller ...
15:00 - 15:30
LOPSTR+PPDP
Coding Agents: New opportunities for formal methods?
16:00 - 17:30
x
Sat 8 Aug 15:26