Foundations of Software Technology and Theoretical Computer Science: Seventh Conference, Pune, IndiaÂ