Photo "Marina Bay, Financial District and Singapore River" by Ray in Manila (wikimedia). CC BY 2.0.
The LICS Symposium is an annual international forum on theoretical and practical topics in computer science that relate to logic, broadly construed. LICS 2025 will be hosted in Singapore during 23–26 June 2025, with workshops 27 and 28 June.
Submission-time rights statement information at [Plan S] for cOAlition S participants.
| Programme Chairs | Lars Birkedal and Barbara König |
| Local Organizers | Frank Stephan and Luke Ong |
| Titles and abstracts Due | 16 January 2025 |
| Full Papers Due | 23 January 2025 |
| Conference | 23 – 26 June 2025 |
| Workshops | 27 & 28 June 2025 |
Invited speakers
- Anuj Dawar
- Hongseok Yang
- Rustan Leino (tutorial)
- Christine Tasson (tutorial)
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.