Author: Symposium on Logic in Computer Science