The LICS Symposium is an annual international forum on theoretical and practical topics in computer science that relate to logic, broadly construed. LICS 2022 will be hosted at the Technion in Haifa, Israel
as part of the Federated Logic Conference (FLOC 2022) during 2 – 5 August 2022, with affiliated workshops 31 July and 1 August.
Latest News
- LICS papers are available for free via this OpenTOC link.
- LICS 2022 Accepted papers are out now.
| Titles and Short Abstracts Due | 17 January 2022 |
| Full Papers Due | 21 January 2022 |
| Author Response Period | 10–13 March 2022 |
| Author Notification | 14 April 2022 |
| Deadline for final version of accepted papers | 15 June 2022 (firm) |
| Conference | 2–5 August 2022 |
LICS Sponsorship
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.