Professional Activities
Co-chair, Program Committee
Member, Program Committee
- - FORMATS 2016, 14th International Conference on Formal Modelling and Analysis of Timed Systems at Quebec City (Canada), 24-26 August 2016.
- - FSTTCS 2015, 35th International Conference on Foundations of Software Technology and Theoretical Computer Science at Bangalore, India, December 2015.
- - FORTE 2015, 35th IFIP International Conference on Formal Techniques for Distributed Objects, Components and Systems, at Inria Grenoble – Rhône-Alpes, France, June 2-4, 2015.
- - VMCAI 2015, 16th International Conference on Verification, Model Checking, and Abstract Interpretation, at TIFR, Mumbai, India, January 12-14, 2015.
Member, Organizing Committee
- TCQV 2016: Trends and Challenges in Quantitative Verification -- a Mysore Park Workshop at Mysuru, India, February 1-4, 2016.
- POPL 2015, 42nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages at TIFR, Mumbai, India, January 12-18, 2015.
- VMCAI 2015, 16th International Conference on Verification, Model Checking, and Abstract Interpretation, at TIFR, Mumbai, India, January 12-14, 2015.