Symposium On Foundations Of Computer Science