Professional Activities
Program Committee
- - RP 2019, 13th International Conference on Reachability Problems at Brussels, Belgium, 11-13 September 2019.
- - FORMATS 2019, 17th International Conference on Formal Modelling and Analysis of Timed Systems at Amsterdam, the Netherlands, 26-31 August 2019.
- - ACSD 2019: 19th International Conference on Application of Concurrency to System Design at Aachen, Germany, 23-28 June 2019.
- - ICLA 2019: 8th Indian Conference on Logic and its Applications 2019 at Indian Institute of Technology Delhi, New Delhi, India, 3-5 March 2019.
- - RP 2018, 12th International Conference on Reachability Problems at Marseille, France, September 2018.
- - ACSD 2018, 18th International Conference on Application of Concurrency to System Design at Bratislava, Slovakia, June 2018.
- - FSCD 2018, 3rd International Conference on Formal Structures for Computation and Deduction at Oxford, UK, July 2018.
- - FSTTCS 2017, 37th International Conference on Foundations of Software Technology and Theoretical Computer Science at Kanpur, India, December 2017.
- - FSTTCS 2016, 36th International Conference on Foundations of Software Technology and Theoretical Computer Science at Chennai, India, December 2016. (Co- chair)
- - 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 - Rhone-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.
Organizing Committee
-
FSTTCS 2019: 39th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science at IIT Bombay, India, December 11-13, 2019.
- PRaFM 2017: 1st Workshop on Probabilistic Reasoning and Formal Methods -- co-located with FSTTCS 2017 at Kanpur, India, December 11, 2017.
- 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.