IARCS Annual Conference on
Foundations of Software Technology and Theoretical Computer Science
15 to 17 December, 2003, Mumbai, India