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