IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (2013 : Gauhati)