LICS 2025 (original) (raw)

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.