Professional Service

  • PC Membership:
    • HSCC 2021, ICCPS 2021, AAAI 2021, CAV 2021, CAV 2020, SR 2019, EMSOFT2019, ACSD 2019, NSV 2019, HSCC 2019,APLAS 2018, FORMATS 2018, MoRE 2018, SR 2018, HSCC 2018, ACSD 2018, ICCPS 2018
    • DIAS 2017 (Development aspects of Intelligent Adaptive Systems 2017)
    • ACSD 2017 (The 17th International Conference on Application of Concurrency to System Design)
    • CONCUR 2016 (The 27th International Conference on Concurrency Theory)
    • FSTTCS 2014 (34th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science)
    • HSCC 2016 (19th International Conference on Hybrid Systems: Computation and Control)
    • HSCC 2015 (18th International Conference on Hybrid Systems: Computation and Control)
    • HSCC 2014 (17th International Conference on Hybrid Systems: Computation and Control)
    • FORMATS 2015 (13th International Conference on Formal Modeling and Analysis of Timed Systems)
    • FORMATS 2014 (12th International Conference on Formal Modeling and Analysis of Timed Systems)
    • FORMATS 2013 (11th International Conference on Formal Modeling and Analysis of Timed Systems)
  • Organizing Chair:
    • AVeRTS 2017 (The 3rd Workshop on Algorithmic Verification of Real-Time Systems)
    • V2CPS 2017 (The Second International Workshop on Verification and Validation of Cyber-Physical Systems)
    • AVeRTS 2016 (The 2nd Workshop on Algorithmic Verification of Real-Time Systems)
    • V2CPS 2016 (The First International Workshop on Verification and Validation of Cyber-Physical Systems)
    • ICLA 2015 (The 6th Indian Conference on Logic and its Applications)
    • ALC 2015 (14th Asian Logic Conference)