• Committees
  • Association for Symbolic Logic, 2020 North American Annual Meeting,
    Irvine, California
    Proof Theory Special Session, Organiser
• Conference Refereeing
  • APLAS, CAV, CL&C, CMCS, CPP, FLOPS, FoSSaCS, ICALP, IJCAR, LICS, LSFA, OOPSLA, POPL, TACAS, TLCA, TFP
• Journal Refereeing
  • I&C, JAR, JLC, LMCS