Recent Conference Committees
- Member, Programme Committee
26th International Symposium on Theoretical Aspects of Computer Science, Freiburg, Germany, 2009.
- co-Chair, Programme Committee,
29th International Conference on the Foundations of Software Technology and Theoretical Computer Science, IIT Kanpur, India, 2009.
- Member, Scientific Committee,
Second Workshop on Automata, Concurrency and Timed Systems, Chennai, 2010.
- Member, Programme Committee,
21st International Conference on Concurrency Theory, Paris, France, 2010.
- Member, Organising Committee,
30th International Conference on the Foundations of Software Technology and Theoretical Computer Science, IMSc Chennai, India, 2010.
- co-Chair, Scientific Committee,
3rd Workshop on Automata, Concurrency and Timed Systems, CMI Chennai, India, 2011.
- Member, Programme Committee,
31st International Conference on the Foundations of Software Technology and Theoretical Computer Science, IIT Bombay, Bombay, India, 2011.
- Member, Programme Committee,
10th International Symposium on Automated Technology for Verification and Analysis (ATVA 2012), Thiruvananthapuram, Oct 2012.
- Member, Programme Committee,
7th International Workshop on Reachability Problems 2013 (RP'13), Uppsala, Sweden, Sep 2013.
- Member, Programme Committee,
33rd International Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS'13), Guwahati, India, Dec 2013.
- Member, Programme Committee,
25th International Conference on Concurrency Theory (CONCUR'14), Rome, Italy, Sep 2014.
- Member, Programme Committee,
The Sixth International Symposium on Games, Automata, Logics and Formal Verification , Genoa, Italy, Sep 2015.
- Member, Programme Committee,
The Seventh International Symposium on Games, Automata, Logics and Formal Verification , Catania, Italy, Sep 2016.
- Member, Organizing Committee,
The Thiry Sixth International Conference on the Foundations of Software Technology and Theoretical Computer Science (FSTTCS'16), Chennai, India, Dec 2016.
- Member, Programme Committee,
12th International Computer Science Symposium in Russia (CSR'17), Kazan, Russia, June 2017.
- Member, Programme Committee,
21st International Conference on Developments in Language Theory (DLT'17), Cant, Belgium, Aug 2017.
- Member, Programme Committee,
28th International Conference on Concurrency Theory (CONCUR'17), Berlin, Germany, Sep 2017.
- co-Chair, Programme Committee,
15th International Symposium on Automated Technology for Verification and Analysis (ATVA'17), Pune, India, Oct 2017.
- Member, Programme Committee,
Highlights of Logic, Automata and Games, 2018, Berlin, Germany, Sep 2018.
- Member, Programme Committee,
16th International Symposium on Automated Technology for Verification and Analysis (ATVA'18), Univ. of Southern California, Los Angeles, USA, Oct 2018.
- Member, Programme Committee,
38th International Conference on the Foundations of Software Technology and Theoretical Computer Science (FSTTCS 18), Ahmedabad, India, Dec 2018.
- Member, Programme Committee,
20th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2019), Lisbon, Portugal, Jan 2019.
- Member, Programme Committee,
38th International Symposium on Theoretical Aspects of Computer Science (STACS'19), Berlin, Germany, Feb 2019.
- Member, Programme Committee,
22nd International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2019), Prague, Czech Republic, April 2019.
- Member, Programme Committee,
Highlights of Logic, Automata and Games, 2019, Warsaw, Poland, Sep 2019.
- Member, Programme Committee,
39th International Conference on the Foundations of Software Technology and Theoretical Computer Science (FSTTCS 19), Mumbai, India, Dec 2019.
- Member, Steering Committee,
Foundations of Software Technology and Theoretical Computer Science (FSTTCS), 2017--