ICFP 2026
Mon 24 - Sat 29 August 2026 Indianapolis, Indiana, United States
  • Attending
    • Venue: Indiana University Indianapolis
    • Call for Sponsorship
    • Registration
    • Hotel Blocks
  • 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 Workshop 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
      • 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 Workshop 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) / HOPE 2026 (series) / HOPE 2026 /

Program Committee HOPE

Yuyan Bao

Yuyan Bao

Augusta University

United States

small-avatar

Raphaëlle Crubillé

small-avatar

Francesco Dagnino

University of Genoa

Italy

small-avatar

Elena Di Lavore

Tallinn University of Technology

Estonia

small-avatar

Francesco Gavazzo

University of Pisa, Italy

Italy

small-avatar

Cristina Matache

United Kingdom

small-avatar

Ken Sakayori

University of Tokyo

Japan

Taro Sekiyama

Taro Sekiyama

National Institute of Informatics

Japan

small-avatar

Dario Stein

Netherlands

Niels Voorneveld

Niels Voorneveld

Cybernetica AS

Estonia

Zhixuan Yang

Zhixuan Yang

Imperial College London

United Kingdom

xSun 26 Jul 13:43

ICFP 2026

contact form

using conf.researchr.org (v1.75.1)
Support page

Tracks

ICFP Artifacts
ICFP Keynotes
ICFP Papers
ICFP Programming Contest
ICFP Tutorials
ICFP Volunteers
ICFP Workshops
ICFP SRC

Workshops

(Watch Party) OCaml 2026
Erlang 2026
FARM 2026
FUNARCH 2026
HOPE 2026
LOPSTR+PPDP 2026
miniKanren 2026
ML Family Workshop 2026
PLMW @ ICFP 2026
Scheme 2026

Co-hosted Symposia

Haskell 2026

Attending

Venue: Indiana University Indianapolis
Call for Sponsorship
Registration
Hotel Blocks
Sign Up