Title: 40th Annual Symposium on Foundations of Computer Science