Logic in Computer Science (LICS), Annual Symposium on
Off-Campus Access: Athens ID and Password Required