ICFP 2026
Basics
| Field | Value |
|---|---|
| Dates | – |
| Venue | Indiana University Indianapolis, Indianapolis, USA |
| Host | ACM SIGPLAN |
| URL | icfp26.sigplan.org |
| Format | Multi-track with co-located workshops |
| Framing | Functional programming research; miniKanren relational programming |
miniKanren Workshop 2026
| Field | Value |
|---|---|
| Date | |
| Deadline | 2026-05-17 AoE (UTC-12) |
| Notify | 2026-06-16 |
| Camera | 2026-06-28 |
| Portal | minikanren26.hotcrp.com |
| Proceedings | arxiv.org |
Co-chairs
- Chris Martens (Northeastern University)
- William E. Byrd (University of Alabama at Birmingham)
Program committee
Joseph P. Near, Evan Donahue, Kristopher Micinski, Max Willsey, Ekaterina Verbitskaia, Gregory Rosenblatt, Weixi Ma, Evgenii Moiseenko, Michael Arntzenius, Adam Foltzer, Emma Tosch.
Scope
Relational programming with emphasis on the miniKanren family. Logic programming, constraint programming, program synthesis, "running programs backwards."
2026 special theme
Relating relational languages — cross-pollinating ideas between miniKanren and proof assistants, solver-aided programming tools, datalog-style languages, equality saturation languages.
Submission tracks
- Short papers (2–7 pages, ACM acmsmall format)
- Long papers (8–25 pages, ACM acmsmall format)
- Double-blind review
- Authors encouraged to release code under open-source licenses
Why
ICFP is the annual anchor for typed functional programming research. Two reasons this year matters:
- miniKanren workshop. Byrd's relational programming tradition is the logic-programming substrate beneath program synthesis. The 2026 theme on cross-pollination with equality saturation connects directly to the PLDI EGRAPHS workshop — same formal territory, different community.
- Equality saturation bridge. Max Willsey (egg/egglog author) on the miniKanren PC creates a direct channel between e-graph rewriting and relational programming. This is the spec-normalization problem from the elenctic-spec side.
Related
- PLDI 2026 — PAgE and EGRAPHS workshops; same equality-saturation thread
- ELS 2026 — Lisp-side complement; Eclector reader-as-protocol
- Scheme research — miniKanren's native habitat
- Agentic Systems 2026 — Seven Concerns framework