IARCS Annual Conference on
Foundations of Software Technology and Theoretical Computer Science
13 to 15 December, 2001, Bangalore, India