Title: Symposium on Logic in Computer Science