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 Sponsorship

The symposium is sponsored by ACM SIGLOG and the IEEE Technical Committee on Mathematical Foundations of Computing.

  • ACM
  • IEEE

Website by Sam Staton based on a bootstrap design by Hartmut Eilers and Eric Koskinen.