IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (35. : 2015 : Bangalore)