Suguman Bansal

Co-organizer
  • On the Effectiveness of Temporal Logics on Finite Traces in AI at AAAI Spring Symposium 2023
  • Verification Mentoring Workshop (VMW) at CAV 2021

  • NSF Panel 2023

    Program Committee
  • 2024. AAAI 2024, CAV 2024, POPL 2024, TACAS 2024
  • 2023. AAAI 2023, CAV 2023, CONCUR 2023, ESOP 2023 , Highlights of Automata, Logic, and Games 2023, Nasa FM 2023, NeurIPS 2023
  • 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
  • Ritam Raha (University of Antwerp, University of Bordeaux). PhD. September 2023
  • Guy Hefetz (ITC Herzila). Masters. April 2020

  • Journal Reviewer
  • 2022. Foundations and Trends in TCS, 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