Proceedings of the 7th Annual Symposium on Theoretical Aspects of Computer Science