Workshop X at conference Y is denoted by X@Y.

PC

  • 2025: CC, CPP, CSF
  • 2024: ICFP, CSF, POPL
  • 2023: ESOP, CSF, ICAIL, TyDE@ICFP, OCaml@ICFP
  • 2022: CRCL, CSF
  • 2021: ICFP (external), OCaml@ICFP
  • 2020: ICFP, ML@ICFP, Prisc@POPL, CPP (sub)
  • 2019: ICFP (ERC), POPL (AEC)
  • 2018: OCaml@ICFP
  • 2017: ESOP (sub)
  • 2016: Mobile!@OOPSLA
  • 2015: ML@ICFP

Chair

  • VSTTE 2024 (co-chair)
  • ProLaLa@POPL 2023 (co-chair)
  • ProLaLa@POPL 2022 (co-chair)
  • PriSC@POPL 2022 (co-chair, with Marco Guarnieri)
  • ML@ICFP 2021 (chair)
  • PriSC@POPL 2021 (co-chair, with Deian Stefan)
  • HASE@POPL 2020 (co-organizer)