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