ICFP 2026
Mon 24 - Sat 29 August 2026 Indianapolis, Indiana, United States
  • Attending
    • Venue: Indiana University Indianapolis
    • Call for Sponsorship
    • Registration
    • Hotel Blocks
    • Information for Presenters
    • Information for Attendees
  • Program
    • ICFP Program
    • Your Program
    • Mon 24 Aug
    • Tue 25 Aug
    • Wed 26 Aug
    • Thu 27 Aug
    • Fri 28 Aug
    • Sat 29 Aug
  • 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 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
      • Distinguished Papers Committee
      • 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 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) / William E. Byrd
  • conf.research.org general profile
  • APLAS 2019 profile
  • FLOPS 2022 profile
  • FLOPS 2026 profile
  • ICFP 2016 profile
  • ICFP 2017 profile
  • ICFP 2018 profile
  • ICFP 2019 profile
  • ICFP 2020 profile
  • ICFP 2021 profile
  • ICFP 2022 profile
  • ICFP 2023 profile
  • ICFP 2024 profile
  • ICFP/SPLASH 2025 profile
  • PLDI 2025 profile
  • POPL 2016 profile
  • POPL 2018 profile
  • POPL 2020 profile
  • POPL 2021 profile
  • POPL 2022 profile
  • POPL 2023 profile
  • POPL 2025 profile
  • POPL 2026 profile
  • SPLASH 2015 profile
  • SPLASH 2016 profile
  • SPLASH 2018 profile
  • SPLASH 2019 profile
  • SPLASH 2020 profile
  • SPLASH 2024 profile
  • ‹Programming› 2020 profile
  • ‹Programming› 2023 profile
William E. Byrd

Registered user since Sun 23 Aug 2015

Name:William E. Byrd
Country:United States
Affiliation:University of Alabama at Birmingham
Personal website: http://webyrd.net/
Research interests:Programming languages, relational programming, logic programming, functional programming, program synthesis, precision medicine, sythetic biology

Contributions

2026

miniKanren

  • Demos of Attendee Programs and Open Mic
  • Introduction to relational programming in miniKanren
  • Opening greetings and announcements
  • Co-chair in Program Committee within the miniKanren 2026-track
  • Programming Challenge to Attendees
  • Co-chair in Organizing Committee within the miniKanren 2026-track

LOPSTR

  • Co-chair in Program Committee within the LOPSTR+PPDP 2026-track
  • Co-chair in Organizing Committee within the LOPSTR+PPDP 2026-track

Show activities from other conferences

Share
Using general profile
xFri 7 Aug 16:47

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 2026
PLMW @ ICFP 2026
Scheme 2026

Co-hosted Symposia

Haskell 2026

Attending

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