Conference Information

LICS 2026: IEEE Symposium on Logic in Computer Science

Please Login to view website of conference
Free account: view official websites, track deadlines, and get email reminders.
Submission Date:
2026-01-15
Notification Date:
2026-04-16
Conference Date:
2026-07-20
Location:
Lisbon, Portugal
Years:
41
CCF: A   ICORE: A*   QUALIS: A2   Viewed: 72508   Tracked: 41   Attend: 6
Embed deadline badge
LICS
Get this via API
Search and ranking lists need no credentials at all; full detail for this page needs a free API key. See the developer guide.

Conference Partner Index (CP-I)

85.5 / 100
Ranked #125 of 5,694 conferences · Top 3%

#8 of 142 in Theory & Algorithms

Academic recognition (35%)
100
Submission selectivity (20%)
79
Editions held (20%)
100
Community attention (10%)
49
Public record completeness (15%)
65

Inputs used: Listed as CCF A, QUALIS A2 · Acceptance rate: 29.5% (mean of 5 editions on file) · Editions on record: 41 · Researchers following it here: 41 · Researchers who opened this page in the past 24 months: 5

Missing from the public record: Past editions (+3.0) · Best-paper records (+2.3)
Organizers can add these from this page after claiming the conference; scores are recomputed nightly. How to raise this score

Confidence 100% - the share of the score backed by observed data rather than the neutral baseline. How this score is calculated · Browse the ranking · Algorithm version 1.1 · Computed 2026-10-07

Call For Papers

LICS 2026 (IEEE Symposium on Logic in Computer Science) is a CCF A / ICORE A* / QUALIS A2 conference held in Lisbon, Portugal on 2026-07-20. The paper submission deadline is 2026-01-15. Acceptance notifications are sent on 2026-04-16.

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.
Last updated by Dou Sun on

Acceptance Ratio

Average acceptance rate: 30.9% over 9 years (1995–2005).

YearSubmittedAcceptedAccepted(%)
20051274434.6%
20041684023.8%
20031223427.9%
20021353626.7%
20011043634.6%
19981204235%
19971083936.1%
19961754726.9%
19951374432.1%

Related Conferences

CCFICORECP-IShortFull NameSubmissionConference
AA*92.6SIGIRInternational Conference on Research and Development in Information Retrieval2026-01-152026-07-20
AA*97.8AAAIAAAI Conference on Artificial Intelligence2026-07-212027-02-16
AA*94.4CVPRIEEE Conference on Computer Vision and Pattern Recognition2026-11-102027-06-20
AA*92.6STOCACM Symposium on Theory of Computing2026-11-022027-06-06
AA*95.3OSDIUSENIX Symposium on Operating Systems Design and Implementation2026-12-012027-07-07
AA*95.1ICMLInternational Conference on Machine Learning2026-01-232026-07-06
AA*97.3INFOCOMInternational Conference on Computer Communications2026-07-242027-05-24
AA*89.4ICCVInternational Conference on Computer Vision2025-03-072025-10-19
AA*94.2CHIACM Conference on Human Factors in Computing Systems2026-09-102027-05-10
AA92.7ISSTAInternational Symposium on Software Testing and Analysis2027-01-082027-09-07

Comments 0

No comments yet.

Please Login to post a comment