Foundations of Computation Symposium