35th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)

Please consider submitting a paper to the ACM/IEEE Symposium on Logic in Computer Science (LICS) 2020; submission deadline January 6, 2020.