Boston University
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 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.

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:

June 25: