Title: 42nd IEEE Symposium on Foundations of Computer Science