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