Suguman Bansal

Co-organizer
  • Verification Mentoring Workshop (VMW) at CAV 2021

  • Program Committee
  • 2022. GandALF 2022, SYNT 2022
  • 2021. ACM SPLASH SRC 2021, CAV AEC 2021, IJCAI 2021, LAMAS&SR 2021, SAS AEC 2021, SYNT 2021

  • Thesis Committee
  • Guy Hefetz (ITC Herzila). Master’s Degree. April 2020

  • Journal Reviewer
  • 2022. Henzinger-60
  • 2021. ACM ToCL, FMSD, JACM, LMCS
  • 2020. Acta Informatica

  • Conference Reviewer
  • 2022. FoSSaCS 2022
  • 2021. FMCAD 2021, FOCS 2021
  • 2020. CONCUR 2020, ICALP 2020, IJCAI 2020
  • 2019. ISAAC 2019
  • 2018. FSTTCS 2018, LPAR 2018
  • 2017. CP 2017, TACAS 2017
  • 2016. IJCAI 2016