Photo "Old Town of Tallinn" by Ben Bender (wikimedia). CCA-SA3.
Paper submisson site: [https://www.easychair.org/conferences/?conf=lics2024
] (double-blind submission, see call for papers).
Titles and Short Abstracts Due | 21 January 2024 |
Full Papers Due | 26 January 2024 |
Conference | 8 – 12 July 2024 |
The symposium is sponsored by ACM SIGLOG and the IEEE Technical Committee on Mathematical Foundations of Computing.
Website by Sam Staton based on a bootstrap design by Hartmut Eilers and Eric Koskinen.