Conference on Foundations of Software Technology and Theoretical Computer Science (26th 2006 Kolkata, India)