Photo "Marina Bay, Financial District and Singapore River" by Ray in Manila (wikimedia). CC BY 2.0.
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 |
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.