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

Room information: IP139 Kelley

VenueIndiana University Indianapolis
Room nameIP139 Kelley
Floor1
Room numberIP139
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

Fri 28 Aug

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

09:00 - 10:30
Welcome and KeynoteErlang at IP139 Kelley
09:00
10m
Day opening
Welcome
Erlang
Lee Barney
09:10
80m
Keynote
Actor Capabilities for Controlled Actor Interactions (Keynote)Keynote
Erlang
Colin S. Gordon Drexel University
DOI
11:00 - 12:30
Types and SemanticsErlang at IP139 Kelley
11:00
30m
Talk
A Mechanised Semantics of Erlang’s ReferencesRemote
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
Link to publication DOI File Attached
11:30
30m
Talk
Set-Theoretic Type Checking of Beginner Erlang Code: A Retrospective StudyRemote
Erlang
Albert Schimpf University of Kaiserslautern-Landau, Stefan Wehr Offenburg University of Applied Sciences, Annette Bieniusa RPTU Kaiserslautern-Landau
DOI
12:00
30m
Talk
Towards Exact Semantic Equivalence of Erlang BEAM Constructs: Lessons from Advanced Emulation and DecompilationRemote
Erlang
Gregory Morse Eötvös Loránd University (ELTE), Melinda Tóth Eötvös Loránd University
Link to publication DOI File Attached
14:00 - 15:30
Applications and TeachingErlang at IP139 Kelley
14:00
30m
Talk
EMoL: Erlang Messaging and Monitoring over LoRaRemote
Erlang
Daniel Ferenczi Eötvös Loránd University, Gergely Ruda evosoft Hungary Kft., Melinda Tóth Eötvös Loránd University
DOI
14:30
30m
Talk
Green Benchmarking of BEAM LanguagesRemote
Erlang
Youssef Gharbi ELTE Eötvös Loránd University, István Bozó Eötvös Loránd University, Melinda Tóth Eötvös Loránd University
Link to publication DOI File Attached
15:00
30m
Talk
Modern Erlang Teaching from Code Refactoring to Actor System VerificationRemote
Erlang
Sergey Staroletov Polzunov Altai State Technical University
DOI
16:00 - 17:30
Applications and SystemsErlang at IP139 Kelley
16:00
30m
Talk
Reactor Under the Hood: Building a Graph-Based Saga Orchestrator in Elixir
Erlang
James Harton Alembic
16:30
30m
Talk
Silica: A functional systems language for modern chips, modern tools, and honest boundaries
Erlang
Lee Barney
17:00
10m
Day closing
Closing remarks
Erlang
Lee Barney

Sat 29 Aug

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

09:30 - 10:30
Morning SessionFUNARCH at IP139 Kelley
Chair(s): Jeffrey Young Canonical
09:30
60m
Keynote
Functional Mechanical Sympathy (Keynote)Remote
FUNARCH
K: Richard Feldman Zed Industries
DOI
11:00 - 12:30
Morning Session 2FUNARCH at IP139 Kelley
Chair(s): Jeffrey Young Canonical
11:00
45m
Experience report
Local-First Distributed Configuration (Experience Report)Remote
FUNARCH
Michael Sperber Active Group GmbH
DOI
14:00 - 15:30
Afternoon SessionFUNARCH at IP139 Kelley
Chair(s): Jeffrey Young Canonical
14: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
DOI
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
DOI
16:00 - 17:30
Afternoon Session 2FUNARCH at IP139 Kelley
Chair(s): Jeffrey Young Canonical
16:00
25m
Talk
Functional Architecture is Algebraic Architecture
FUNARCH
Jeffrey Young Canonical
16:30
25m
Talk
The Future of FUNARCH (2026 edition)
FUNARCH
Jeffrey Young Canonical

Fri 28 Aug

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

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

Erlang

Welcome and Keynote

Erlang

Types and Semantics

Erlang

Applications and Teaching

Erlang

Applications and Systems

Sat 29 Aug

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

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

FUNARCH

Morning Session

FUNARCH

Morning Session 2

FUNARCH

Afternoon Session

FUNARCH

Afternoon Session 2

Fri 28 Aug

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

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
IP139 Kelley
Erlang
Welcome
09:00 - 09:10
ErlangKeynote
Actor Capabilities for Controlled Actor Interactions (Keynote)
09:10 - 10:30
ErlangRemote
A Mechanised Semantics of Erlang’s References
11:00 - 11:30
ErlangRemote
Set-Theoretic Type Checking of Beginner Erlang Code: A Retrospective Study
11:30 - 12:00
ErlangRemote
Towards Exact Semantic Equivalence of Erlang BEAM Constructs: Lessons f ...
12:00 - 12:30
ErlangRemote
EMoL: Erlang Messaging and Monitoring over LoRa
14:00 - 14:30
ErlangRemote
Green Benchmarking of BEAM Languages
14:30 - 15:00
ErlangRemote
Modern Erlang Teaching from Code Refactoring to Actor System Verification
15:00 - 15:30
Erlang
Reactor Under the Hood: Building a Graph-Based Saga Orchestrator in Elixir
16:00 - 16:30
Erlang
Silica: A functional systems language for modern chips, modern tools, a ...
16:30 - 17:00
Erlang
Closing remarks
17:00 - 17:10

Sat 29 Aug

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

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:00153045
IP139 Kelley
FUNARCHRemote
Functional Mechanical Sympathy (Keynote)
09:30 - 10:30
FUNARCHRemote
Local-First Distributed Configuration (Experience Report)
11:00 - 11:45
FUNARCH
From Lambda to Ledger: An Architectural Comparison of Plinth and Plutarch
14:00 - 14:45
FUNARCH
Functional State Machines in Rust: Typestate and Newtype Patterns (Expe ...
14:45 - 15:30
FUNARCH
Functional Architecture is Algebraic Architecture
16:00 - 16:25
FUNARCH
The Future of FUNARCH (2026 edition)
16:30 - 16:55