# LICS — IEEE Symposium on Logic in Computer Science

- **Submission deadline**: 2026-01-15
- **Notification date**: 2026-04-16
- **Conference date**: 2026-07-20
- **Location**: Lisbon, Portugal
- **Rankings**: CCF A · CORE A* · QUALIS A2
- **Conference Partner Index**: 85.5/100 (ranked #125, confidence 1.00, algorithm 1.1) — how this is computed: https://www.myhuiban.com/ranking
- **Trackers**: 41
- **Attendees**: 6
- **Canonical page**: https://www.myhuiban.com/conference/167

## Acceptance history

| Year | Submitted | Accepted | Rate |
|---|---|---|---|
| 2005 | 127 | 44 | 34.6% |
| 2004 | 168 | 40 | 23.8% |
| 2003 | 122 | 34 | 27.9% |
| 2002 | 135 | 36 | 26.7% |
| 2001 | 104 | 36 | 34.6% |
| 1998 | 120 | 42 | 35% |
| 1997 | 108 | 39 | 36.1% |
| 1996 | 175 | 47 | 26.9% |
| 1995 | 137 | 44 | 32.1% |

## Call for papers

The 41st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2026) will be held in Lisbon, from 20 – 23 July 2026, as part of the Federated Logic Conference FLOC'26. The LICS Symposium is an annual international forum on theoretical and practical topics in computer science that relate to logic, broadly construed. We invite submissions on topics that fit under that rubric. Suggested, but not exclusive, topics of interest include: automata theory, automated deduction, categorical models and logics, concurrency and distributed computation, constraint programming, constructive mathematics, database theory, decision procedures, description logics, domain theory, finite model theory, formal aspects of program analysis, formal methods, foundations of computability, foundations of probabilistic, real-time and hybrid systems, games and logic, higher-order logic, knowledge representation and reasoning, lambda and combinatory calculi, linear logic, logic programming, logical aspects of AI, logical aspects of bioinformatics, logical aspects of computational complexity, logical aspects of quantum computation, logical frameworks, logics of programs, modal and temporal logics, model checking, process calculi, programming language semantics, proof theory, reasoning about security and privacy, rewriting, type systems, type theory, and verification.

## Related conferences

- SIGIR — International Conference on Research and Development in Information Retrieval — https://www.myhuiban.com/conference/141
- AAAI — AAAI Conference on Artificial Intelligence — https://www.myhuiban.com/conference/408
- CVPR — IEEE Conference on Computer Vision and Pattern Recognition — https://www.myhuiban.com/conference/407
- STOC — ACM Symposium on Theory of Computing — https://www.myhuiban.com/conference/359
- OSDI — USENIX Symposium on Operating Systems Design and Implementation — https://www.myhuiban.com/conference/358

## Related journals

- Computing in Science & Engineering — https://www.myhuiban.com/journal/614
- Journal of Logic, Language and Information — https://www.myhuiban.com/journal/507
- IEEE Computer — https://www.myhuiban.com/journal/321
- IEEE Transactions on Multimedia — https://www.myhuiban.com/journal/152
- IEEE Transactions on Computers — https://www.myhuiban.com/journal/3

---
Source: Conference Partner — https://www.myhuiban.com/conference/167 (rankings reproduced from CCF / ICORE / QUALIS; data cached up to 1 hour)