Thirty-Eighth Annual ACM/IEEE Workshops & Symposium on Logic in Computer Science (LICS)
- All Day on Saturday, June 24, 2023
The LICS Symposium is an annual international forum on theoretical and practical topics in computer science that relate to logic, broadly construed.
LICS 2023 Workshops (June 24-25, 2023)
LICS 2023 Conference (June 26-29, 2023)
See website for details.
The Symposium is sponsored by ACM SIGLOG, the IEEE Technical Committee on Mathematical Foundations of Computing, the Boston University Rafik B. Hariri Institute for Computing and Computational Science & Engineering, the Boston University College of Arts & Sciences, and the Boston University Department of Computer Science.
- Location:
- Boston University
- Registration:
- https://lics.siglog.org/lics23/