FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science