Logic in Computer Science (LICS), Annual Symposium on