Thirty-Seventh Annual ACM/IEEE Symposium on
Logic in Computer Science (LICS)
2–5 August 2022
The LICS Symposium is an annual international forum on theoretical and practical topics in computer science that relate to logic, broadly construed. LICS 2022 will be hosted at the Technion in Haifa, Israel
as part of the Federated Logic Conference (FLOC 2022) during 2 – 5 August 2022, with affiliated workshops 31 July and 1 August (dates are currently tentative).
FLOC is planned as a physical meeting, but for people who cannot travel to Israel, the possibility of remote participation will be ensured.