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.
Paper submisson site: [https://www.easychair.org/conferences/?conf=lics23] (double-blind submission, see call for papers).
| 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 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 and the IEEE Technical Committee on Mathematical Foundations of Computing.
Website by Sam Staton based on a bootstrap design by Hartmut Eilers and Eric Koskinen.