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.
Conference Proceedings
- Conference proceedings are published at IEEE Xplore.
- Preprints and slides are linked from the conference programme.
Conference Location
The workshops and conference will be on the east side of Boston University campus.
Workshops will be held in the College of Arts & Sciences (CAS), at 685 Commonwealth Ave, Boston.
Breakfast, coffee breaks and lunches for workshops will be in the same location.
The main conference will be held in the Stone Science Building (STO), at 675 Commonwealth Ave, Boston.
Breakfast, coffee breaks and lunches for the main conference will take place at The Castle, 225 Bay State Rd, Boston.
Workshops will be held in the College of Arts & Sciences (CAS), at 685 Commonwealth Ave, Boston.
Breakfast, coffee breaks and lunches for workshops will be in the same location.
The main conference will be held in the Stone Science Building (STO), at 675 Commonwealth Ave, Boston.
Breakfast, coffee breaks and lunches for the main conference will take place at The Castle, 225 Bay State Rd, Boston.
Combined Program
The combined program of workshops and conference is available here
Submission Information
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, 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.