17th Annual Symposium on Theoretical Aspects of Computer Science Conference