Programme Committees that I have been a member of

Conferences

• Foundations of Software Technology and Theoretical Computer Science (FSTTCS)
  • 28th Conference, Bangalore, 2008 (co-chair of Programme Committee).
  • 26th Conference, Kolkata, 2006.
  • 21st Conference, Bangalore, 2001 (co-chair of Programme Committee).
  • 20th Conference, Delhi, 2000.
  • 18th Conference, Chennai, 1998.
  • 17th Conference, Kharagpur, 1997.
• International Colloquium on Automata, Languages and Programming (ICALP)
  • 35th Colloquium, Reykjavik, Iceland, 2008.
  • 33rd Colloquium, Venice, Italy, 2006.
• International Conference on Concurrency Theory (CONCUR)
  • 14th Conference, Marseilles, France, 2003.
  • 9th Conference, Nice, France, 1998.
• Formal Methods (FM)
  • 15th International Symposium, Abo Akademi University, Turku, Finland, 2008.
• Mathematical Foundations of Computer Science (MFCS)
  • 32nd International Symposium, Cesky Krumlov, Czech Republic, 2007.
• Symposium on Theoretical Aspects of Computer Science (STACS),
  • 23rd Symposium, Marseilles, France, 2006.
• International Conference on Applications and Theory of Petri Nets (ICATPN):
  • 31st Conference, Braga, Portugal, 2010.
  • 30th Conference, Paris, France, 2009.
  • 29th Conference, Xian, China, 2008.
  • 27th Conference, Turku, Finland, 2006.
  • 26th Conference, Miami, Florida, 2005.
  • 25th Conference, Bologna, Italy, 2004.
  • 24th Conference, Eindhoven, The Netherlands, 2003.
  • 23rd Conference, Adelaide, Australia, 2002.
• International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS)
  • 16th Conference, Paphos, Cyprus, 2010.
• International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM)
  • 36th International Conference, Spindleruv Mlyn, Czech Republic, 2010.
  • 35th International Conference, Spindleruv Mlyn, Czech Republic, 2009.
• IEEE International Conference on Software Engineering and Formal Methods (SEFM)
  • 7th Conference, Hanoi, Vietnam, 2009.
  • 4th Conference, Pune, India, 2006.
• First India Software Engineering Conference (ISEC2008), Hyderabad, India, 2008.
• First International Conference on Foundations of Informatics, Computing and Software, Shanghai, China, 2008.

Workshops

• Concurrency metHods: Issues aNd Applications (CHINA 2008), Satellite Workshop at ICATPN 2008, Xian, China, June 24, 2008.
• International Workshop on Validation and Implementation of Scenario-based Specifications (VISS), Grenoble, France, 2002.
• International Workshop on Structures in Concurrency Theory (STRICT), Berlin, Germany, 1995.