Photo "Boston at sunset" by Robmyskis (wikimedia). Public domain.
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 |
June 24 – 25:
June 25:
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.