Professional Activities
Program Committee Co-chair
Program Committee member
- - LICS 2023 , 38th Annual ACM/IEEE Symposium on Logic in Computer Science 26-29 June 2023, Boston, USA.
- - STACS 2023 , 40th International Symposium on Theoretical Aspects of Computer Science 7-10 March 2023, Hamburg, Germany.
- - Highlights 2023 , 11th annual conference on Highlights of Automata, Logic, and Games 17-21 July 2023, Kassel, Germany.
- - CONCUR 2022, 33rd International Conference on Concurrency Theory part of CONFEST 2022 at Warsaw, Poland, 12-16 September 2022.
- - FOSSACS 2022, 25th International Conference on Foundations of Software Science and Computation Structures part of ETAPS 2022, 2-7 April 2022, Munich, Germany.
- - FSTTCS 2021, 41st International Conference on Foundations of Software Technology and Theoretical Computer Science, to be held virtually, December 2021.
- - CONCUR 2021, 32nd International Conference on Concurrency Theory part of QONFEST 2021 at Paris, France, 23-27 August 2021.
- - ICALP 2021, 48th International Colloquium on Automata, Languages, and Programming at Glasgow, Scotland, 12-16 July 2021.
- - AAAI 2021, 35th AAAI Conference on Artificial Intelligence (AAAI-21) held virtually, February 2-9, 2021.
- - RP 2020, 14th International Conference on Reachability Problems at Paris, France 19-21 October 2020.
- - 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 (Co- chair) , 36th International Conference on Foundations of Software Technology and Theoretical Computer Science at Chennai, India, December 2016.
- - 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 member
-
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.