Thirty-Fifth Annual ACM/IEEE Symposium on
Logic in Computer Science (LICS)
8–12 July 2020 • Beijing
The LICS Symposium is an annual international forum on theoretical and practical topics in computer science that relate to logic, broadly construed. LICS 2020 will be hosted in Beijing, China
during 8–12 July 2020, in co-location with ICALP 2020.
LICS 2020 Call for Papers is out now. LICS 2020 will use double-blind reviewing for the first time.