Title: Foundations of Computer Science, 31st Symposium