Welcome to the 38th Annual ACM/IEEE Virtual Symposium on Logic in Computer Science (LICS) hosted at Boston University from June 26 - 29, 2023. The LICS is an annual international forum on theoretical and practical topics in computer science that relate to logic, broadly construed. This virtual conference option allows attendees to watch sessions via Zoom, participate in conversation, and ask questions through the chat channel. Virtual conference attendance is available for attendees that are not presenting a paper. Paper presenters are expected to attend the conference in person.
Affiliated workshops will be held on June 24th and June 25th prior to the conference.
LICS 2023 Workshops (Add Ons)
June 24 – 25:
- Combinatorial games in finite model theory
- The decision problem in first order logic (DPFO 2023)
June 25:
- International Workshop on Quantitative Logical Methods (Qualog)
- Structure meets power
- Logic mentoring workshop (LMW)
ACM/IEEE Symposium on Logic and Computer Science (LICS)
Registration dates (discounts apply to registrations prior to the conference):
Early registration: until May 12th
Regular registration: May 13th - June 9th
Late Registration: June 10th-25th
Refund policy:
Cancellations and refunds available until June 9, 2023. A cancellation fee will apply.