Conference Information

LICS 2026: IEEE Symposium on Logic in Computer Science

Please Login to view website of conference

Submission Date:
2026-01-15
Notification Date:
2026-04-16
Conference Date:
2026-07-20
Location:
Lisbon, Portugal
Years:
41
CCF: a   CORE: a*   QUALIS: a2   Viewed: 64458   Tracked: 41   Attend: 6

Call For Papers

LICS 2026 (IEEE Symposium on Logic in Computer Science) is a CCF A / CORE 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 in

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

CCFCOREQUALISShortFull NameSubmissionNotificationConference
aa2ICCSInternational Conference on Computational Science2026-01-232026-03-232026-06-29
aa*a2LICSIEEE Symposium on Logic in Computer Science2026-01-152026-04-162026-07-20
aa*a1ISCAInternational Symposium on Computer Architecture2025-11-102026-03-272026-06-27
caa2STACSInternational Symposium on Theoretical Aspects of Computer Science2025-09-252025-12-122026-03-10
ccb1CSLConference on Computer Science Logic2025-07-152025-10-142026-02-23
aa*a1FOCSIEEE Symposium on Foundations of Computer Science2025-04-032025-07-082025-12-14
b4ICCSEInternational Conference on Computer Science & Education2022-05-202022-06-012022-08-18
aa2SIGCSEACM Technical Symposium on Computer Science Education2019-08-232020-03-11
cCSRInternational Computer Science Symposium in Russia2019-01-032019-02-252019-07-01
b3SCCCInternational Conference of the Chilean Computer Science Society2016-07-312016-08-262016-10-10

Related Journals

CCFFull NameImpact FactorPublisherISSN
Computer Science Review12.7Elsevier1574-0137
bFrontiers of Computer Science4.6Springer2095-2228
Computers & Geosciences4.4Elsevier0098-3004
PeerJ Computer Science2.5PeerJ Inc.2376-5992
bJournal of Computer Science and Technology1.3Springer1000-9000
International Journal of Applied Mathematics and Computer Science1.2Walter de Gruyter1641-876X
bTheoretical Computer Science1.0Elsevier0304-3975
bJournal of Computer and System Sciences0.9Elsevier0022-0000
cJournal of Logic and Computation0.7Oxford University Press0955-792X
Automatic Control and Computer Sciences0.600Springer0146-4116

Advertisment