FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science