IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (2010 : Chennai)