IARCS Annual Conference on
Foundations of Software Technology and Theoretical Computer Science
12 to 14 December, 2004, Kanpur, India