▲
Professional Service
- Program Chair:
- V2CPS 2017 (colocated with iFM 2017)
- V2CPS 2016 (colocated with iFM 2016)
- PC Membership:
- 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)