Title: Fourth Annual Symposium on Logic in Computer Science