Title: FST TCS 2002 : Foundations of Software Technology and Theoretical Computer Science