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