Singapore
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

LICS Sponsorship

The symposium is sponsored by ACM SIGLOG and the IEEE Technical Committee on Mathematical Foundations of Computing.

  • ACM
  • IEEE

Website by Sam Staton based on a bootstrap design by Hartmut Eilers and Eric Koskinen.