Search a Conference through our dedicated search page

LICS — IEEE Symposium on Logic in Computer Science

8th July 2020   -   12th July 2020
Beijing, China
https://lics.siglog.org/lics20/
Save

Abstract

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.