Photo "Old Town of Tallinn" by Ben Bender (wikimedia). CCA-SA3.
The LICS Symposium is an annual international forum on theoretical and practical topics in computer science that relate to logic, broadly construed. LICS 2024 will be hosted in Tallinn, Estonia during 8–11 July 2024. It will be colocated with ICALP 2024 and FSCD 2024.
Registration Information
Registration site: [https://compose.ioc.ee/icalp2024/#registration] . Early registration by 17 May.
Submission Information
Paper submisson site: [https://www.easychair.org/conferences/?conf=lics2024] (double-blind submission, see call for papers).
Submission-time rights statement information at [Plan S] for cOAlition S participants.
| Titles and Short Abstracts Due | 21 January 2024 |
| Full Papers Due | 26 January 2024 |
| Early registration | 17 May 2024 |
| Conference | 8 – 11 July 2024 |
Keynote and tutorial speakers
Invited talks: Invited tutorials:LICS Sponsorship
The symposium is sponsored by ACM SIGLOG and the IEEE Technical Committee on Mathematical Foundations of Computing.
.jpg){kind=link}
Website by Sam Staton based on a bootstrap design by Hartmut Eilers and Eric Koskinen.