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.

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:

June 25: