ICFP 2026
Mon 24 - Sat 29 August 2026 Indianapolis, Indiana, United States
ICFP 2026 (series) / Indiana University Indianapolis /

Room information: IP137 Kelley

VenueIndiana University Indianapolis
Room nameIP137 Kelley
Floor1
Room numberIP137
Room Information

Located in Hine Hall.

Program

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 1HOPE at IP137 Kelley
09:00
30m
Talk
Teaching Effect Handlers in the WildFPW (Paris)Remote
HOPE
Jiří Beneš University of Tübingen
09:30
30m
Talk
Experience Report: Graph Rewriting with Lexical Effect HandlersFPW (Paris)Remote
HOPE
Marvin Borner University of Tübingen
10:00
30m
Talk
Higher-order fork, modallyFPW (Paris)Remote
HOPE
Aghilas Boussaa École normale supérieure - PSL, Wenhao Tang The University of Edinburgh, Sam Lindley University of Edinburgh
11:00 - 12:30
Morning Session 2HOPE at IP137 Kelley
11:00
30m
Talk
Practical Extensions for Graded Monads
HOPE
Zachery Casey , Marco Gaboardi Boston University, Shin-ya Katsumata Kyoto Sangyo University
11:30
30m
Talk
Towards Light-Weight Operational Reasoning for Languages with Binders, Categorically
HOPE
Sergey Goncharov University of Birmingham
12:00
30m
Talk
Orbifoldr: Classifying Wallpaper Groups via Functional Image Analysis in HaskellRemote
HOPE
Mengxiang Jiang , Shivam Sharma
14:00 - 15:30
Afternoon Session 1HOPE at IP137 Kelley
14:00
30m
Talk
Modular Storage Mode Analysis
HOPE
Martin Elsman University of Copenhagen
14:30
30m
Talk
Synthesizing Runners Using Copatterns
HOPE
Anmol Sahoo Purdue University, Suresh Jagannathan Purdue University
15:00
30m
Talk
A Logical Perspective on Capturing TypesRecorded
HOPE
Yichen Xu EPFL
15:30
5m
Talk
Closing
HOPE

Fri 28 Aug

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

09:00 - 10:30
Morning SessionLOPSTR+PPDP at IP137 Kelley
Chair(s): William E. Byrd University of Alabama at Birmingham, Theresa Swift Johns Hopkins Applied Physics Laboratory
09:00
5m
Day opening
Opening Greetings and Announcements (Day 2)
LOPSTR+PPDP
Theresa Swift Johns Hopkins Applied Physics Laboratory, William E. Byrd University of Alabama at Birmingham
09:05
60m
Keynote
What Is "Quantum" About Quantum Computing?Keynote
LOPSTR+PPDP
Amr Sabry Indiana University
11:00 - 12:30
Morning Session 2LOPSTR+PPDP at IP137 Kelley
Chair(s): Jason Hemann Seton Hall University
11:00
30m
Talk
Elements of Logic Programming in a Concatenative Functional LanguageRemote
LOPSTR+PPDP
Attila Egri-Nagy Akita International University
11:30
30m
Talk
Tempo: Reconstructing Synchronous Reactive Programming with OCaml 5 EffectsRemoteRecorded
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 SessionLOPSTR+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 2LOPSTR+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
Pre-print
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 SessionLOPSTR+PPDP at IP137 Kelley
Chair(s): William E. Byrd University of Alabama at Birmingham, Theresa Swift Johns Hopkins Applied Physics Laboratory
09:00
5m
Day opening
Opening Greetings and Announcements (Day 3)
LOPSTR+PPDP
Theresa Swift Johns Hopkins Applied Physics Laboratory, William E. Byrd University of Alabama at Birmingham
09:05
60m
Keynote
Proof-Carrying Code For the Age of AI: Machine-Checked Guarantees from Specifications to ExecutablesKeynote
LOPSTR+PPDP
Zoe Paraskevopoulou National Technical University of Athens
11:00 - 12:30
Morning Session 2LOPSTR+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 OptimizationsRemote
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 workflowRemote
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 SessionLOPSTR+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 2LOPSTR+PPDP at IP137 Kelley
Chair(s): William E. Byrd University of Alabama at Birmingham, Theresa Swift Johns Hopkins Applied Physics Laboratory
16:00
90m
Panel
Coding Agents: New opportunities for formal methods?
LOPSTR+PPDP

Mon 24 Aug

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

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
IP137 Kelley

HOPE

Morning Session 1

HOPE

Morning Session 2

HOPE

Afternoon Session 1

HOPE

Fri 28 Aug

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

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
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

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
IP137 Kelley

LOPSTR+PPDP

Morning Session

LOPSTR+PPDP

Morning Session 2

LOPSTR+PPDP

Afternoon Session

LOPSTR+PPDP

Afternoon Session 2

Mon 24 Aug

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

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:00153045
IP137 Kelley
HOPEFPW (Paris)Remote
Teaching Effect Handlers in the Wild
09:00 - 09:30
HOPEFPW (Paris)Remote
Experience Report: Graph Rewriting with Lexical Effect Handlers
09:30 - 10:00
HOPEFPW (Paris)Remote
Higher-order fork, modally
10:00 - 10:30
HOPE
Practical Extensions for Graded Monads
11:00 - 11:30
HOPE
Towards Light-Weight Operational Reasoning for Languages with Binders, ...
11:30 - 12:00
HOPERemote
Orbifoldr: Classifying Wallpaper Groups via Functional Image Analysis i ...
12:00 - 12:30
HOPE
Modular Storage Mode Analysis
14:00 - 14:30
HOPE
Synthesizing Runners Using Copatterns
14:30 - 15:00
HOPERecorded
A Logical Perspective on Capturing Types
15:00 - 15:30
HOPE
Closing
15:30 - 15:35

Fri 28 Aug

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

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
IP137 Kelley
LOPSTR+PPDP
Opening Greetings and Announcements (Day 2)
09:00 - 09:05
LOPSTR+PPDPKeynote
What Is "Quantum" About Quantum Computing?
09:05 - 10:05
LOPSTR+PPDPRemote
Elements of Logic Programming in a Concatenative Functional Language
11:00 - 11:30
LOPSTR+PPDPRemoteRecorded
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

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
IP137 Kelley
LOPSTR+PPDP
Opening Greetings and Announcements (Day 3)
09:00 - 09:05
LOPSTR+PPDPKeynote
Proof-Carrying Code For the Age of AI: Machine-Checked Guarantees from ...
09:05 - 10:05
LOPSTR+PPDP
A Typed and Unified Reflection for Shift and Shift0
11:00 - 11:30
LOPSTR+PPDPRemote
Combining Small-Step and Big-Step Semantics to Verify Loop Optimizations
11:30 - 12:00
LOPSTR+PPDPRemote
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