Title: Symposium on Logic in Computer Science
Subjects: logic, computer science, IEEE, LICS