LICS 2027: IEEE Symposium on Logic in Computer Science

About LICS

LICS 2027 is the IEEE Symposium on Logic in Computer Science, a flagship (CORE A*) theory of computing symposium published by IEEE. It takes place on 21 June 2027 in Montréal, Canada.

Important dates

1. Conference beginsNext21 Jun 2027

Before you submit

• Read the full call for papers — page limits, template (IEEE, ACM, LNCS …) and whether review is double-blind.
• Deadlines are usually 23:59 AoE — convert to Bangladesh time (UTC+6) and aim to submit a day early.
• At least one author normally has to register and present; budget for the fee and, for in-person events, a visa appointment well before the conference.
• Look for student travel grants and volunteer programmes — most large conferences run both, with deadlines soon after notification.

Other editions

• LICS 202620–23 Jul 2026 · Lisbon, Portugal
• LICS 2023June 26-29, 2023 · Boston University, USA