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)
  • 22nd Conference, Aachen, Germany, 2011.
  • 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)
  • 35th International Symposium, Brno, Czech Republic, 2010.
  • 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):
  • 32nd Conference, Kanazawa, Japan (relocated to Newcastle-upon-Tyne, UK), 2011.
  • 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)
  • 9th Conference, Montevideo, Uruguay, 2011.
  • 8th Conference, Pisa, Italy, 2010.
  • 7th Conference, Hanoi, Vietnam, 2009.
  • 4th Conference, Pune, India, 2006.
• International Computer Science Symposium in Russia (CSR)
  • 5th Symposium, Kazan, Russia, 2010.
• Computing: the Australasian Theory Symposium (CATS)
  • 16th Symposium, Brisbane, Australia, 2010.
• First India Software Engineering Conference (ISEC2008), Hyderabad, India, 2008.
• First International Conference on Foundations of Informatics, Computing and Software, Shanghai, China, 2008.

Workshops

• 3rd Interaction and Concurrency Experience (ICE'10): Guaranteed Interaction, Satellite Workshop at DisCoTec 2010, Amsterdam, Netherlands, June, 2010
• 2nd Interaction and Concurrency Experience (ICE'09): Structured Interactions, Satellite Workshop at CONCUR 2009, Bologna, Italy, August, 2009
• Concurrency metHods: Issues aNd Applications (CHINA 2008), Satellite Workshop at ICATPN 2008, Xian, China, June, 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.