Photo "Boston at sunset" by Robmyskis (wikimedia). Public domain.
The LICS Symposium is an annual international forum on theoretical and practical topics in computer science that relate to logic, broadly construed. LICS 2023 will be hosted at Boston University, USA during 26 – 29 June 2023, with affiliated workshops 24 – 25 June.
| Titles and Short Abstracts Due | 18 January 2023 |
| Full Papers Due | 23 January 2023 |
| Author Response Period | 15–19 March 2023 |
| Author Notification | 5 April 2023 |
| Conference | 26 – 29 June 2023 |
LICS 2023 Invited Speakers
LICS 2023 Invited Tutorial Speakers
LICS 2023 Workshops
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)
LICS Sponsorship
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.
Website by Sam Staton based on a bootstrap design by Hartmut Eilers and Eric Koskinen.