IARCS Annual Conference on
Foundations of Software Technology and Theoretical Computer Science
15 to 18 December, 2005, Hyderabad, India