Proceedings - Symposium on Logic in Computer Science