ICFP 2026
Mon 24 - Sat 29 August 2026
United States
Toggle navigation
Attending
Venue: Indiana University Indianapolis
Call for Sponsorship
Tracks
ICFP 2026
ICFP Artifacts
ICFP Papers
ICFP Tutorials
ICFP Workshops
ICFP SRC
Workshops
Erlang
Erlang Workshop
FUNARCH
Functional Software Architecture
LOPSTR+PPDP
Logic-Based Synthesis + Declarative Programming
miniKanren
miniKanren and Relational Programming
ML Family Workshop
Higher-order, Typed, Inferred, Strict
Scheme
Scheme and Functional Programming
Co-hosted Symposia
Haskell
Haskell Symposium
Organization
ICFP 2026 Committees
Organising Committee
Track Committees
ICFP Papers
ICFP Tutorials
ICFP Workshops
Contributors
People Index
Workshops
Erlang
Erlang Workshop
Organizing Committee
Program Committee
FUNARCH
Functional Software Architecture
Program Committee
LOPSTR+PPDP
Logic-Based Synthesis + Declarative Programming
Organizing Committee
miniKanren
miniKanren and Relational Programming
Organizing Committee
ML Family Workshop
Higher-order, Typed, Inferred, Strict
Organizing Committee
Program Committee
Scheme
Scheme and Functional Programming
Organizing 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
) /
ICFP Papers
/
Program Committee
ICFP Papers
Manuel Serrano
PC Chair
Inria; Université Côte d’Azur
France
Robert Bruce
Findler
Associate PC Chair
Northwestern University
United States
Steve Zdancewic
Associate PC Chair
University of Pennsylvania
United States
Alejandro Aguirre
Aarhus University
Denmark
Stephanie Balzer
Carnegie Mellon University
United States
Julia Belyakova
Purdue University
United States
Tej Chajed
UW-Madison
United States
Liang-Ting Chen
Academia Sinica
Taiwan
Michael Coblenz
University of California, San Diego
United States
David Darais
Galois
United States
Benjamin Delaware
Purdue University
United States
Christos Dimoulas
Northwestern University
United States
Derek Dreyer
MPI-SWS
Germany
Nate Foster
EPFL and Jane Street
United States
Kimball Germane
Brigham Young University
United States
Ben Greenman
University of Utah
United States
Steven Holtzen
Northeastern University
United States
Zhenjiang Hu
Peking University
China
Jacques-Henri Jourdan
LMF, CNRS, Université Paris-Saclay
France
Leonidas Lampropoulos
University of Maryland, College Park
Greece
Lukas Lazarek
Brown University
Xavier Leroy
Collège de France
France
Assia Mahboubi
INRIA
France
Cristina Matache
University of Edinburgh
Jay McCarthy
Reach
United States
Olivier Melançon
Université de Montréal
Canada
Mae Milano
Princeton University
United States
Ana Milanova
Rensselaer Polytechnic Institute
Zachary Palmer
Swarthmore College
United States
Norman Ramsey
Tufts University
United States
Xavier Rival
Inria - CNRS - Ecole Normale Superieure de Paris - PSL University
France
Alan Schmitt
Inria
France
Tom Schrijvers
KU Leuven
Belgium
Taro Sekiyama
National Institute of Informatics
Japan
Eijiro Sumii
Tohoku University
Japan
Zachary Tatlock
University of Washington
United States
Amin Timany
Aarhus University
Denmark
Ben L.
Titzer
Carnegie Mellon University
United States
Niki Vazou
IMDEA Software Institute
Dimitrios Vytiniotis
Google DeepMind
United Kingdom
Yuepeng Wang
Simon Fraser University
Canada
Sam Westrick
New York University
United States
Jeremy Yallop
University of Cambridge
United Kingdom
Zhixuan Yang
Imperial College London
United Kingdom
Yizhou Zhang
University of Waterloo
Canada
Elena Zucca
University of Genoa
Italy
Vikraman Choudhury
Alma Mater Studiorum - Università di Bologna
Italy
Davide Davoli
MPI-SP
Germany
Alastair F.
Donaldson
Imperial College London
United Kingdom
Didier Rémy
Inria
Ross Tate
United States
David Walker
Princeton University
United States
x
Wed 15 Apr 01:35