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