ACM/IEEE LICS 2021

36th Annual Symposium on Logic in Computer Science

The LICS Symposium is an annual international forum on theoretical and practical topics in computer science that relate to logic, broadly construed. The 36th iteration, LICS 2021, will be hosted in Rome, Italy, 29 June – 02 July 2021. LICS 2021 will be co-located with ITP 2021 and ICTCS 2021.

Related Conferences