Ieee Symposium On Logic In Computer Science