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.

Notice: The Logic Mentoring Workshop is co-located with LICS on Monday 23 of June. Registration fee included in LICS registration. LMW is organising a Buddy Program to pair junior academics with another LICS participant. If this is your first conference, or you would like to support younger peers, please don’t hesitate to join (see LMW website for details).

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
Early registration 1 May 2025 23:59 (Singapore, UTC +8)
Conference 23 – 26 June 2025
Logic Mentoring Workshop 23 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.