LICS
Theoryλ§κ°ACM/IEEE Symposium on Logic in Computer Science
Rankings?
CORE
A*
CCF
A
CSRankings
β
Deadlines
2026 (main)
π Lisbon, Portugal
π Deadline: 2026-01-22
π
Conference: 2026-07-20
Deadlines may change. Always verify on the official website before submitting.
Acceptance Rate?
| Year | Submitted | Accepted | Rate | |
|---|---|---|---|---|
| 2020 | 174 | 69 | 39.7% |
Best Papers
π 2025Best Student Paper Award
The Steenrod squares via unordered joins
Axel Ljungstrom, David Warn
Topology
π 2024Best Student Paper Award
Relevant S is Undecidable
Soren Brinck Knudstorp
Logic
π 2023Best Student Paper Award
The Identity Problem in the special affine group of Z^2
Ruiwen Dong
Algebra
π 2022Best Student Paper Award
Monoidal Streams for Dataflow Programming
Elena Di Lavore
Dataflow
π 2021Best Student Paper Award
Separating Rank Logic from Polynomial Time
Moritz Lichter
Logic
π 2020Best Student Paper Award
Successor-Invariant First-Order Logic on Classes of Bounded Degree
Julien Grange
Logic