Title: FSTTCS 2005 : Foundations of Software Technology and Theoretical Computer Science