학회 정보

LICS 2026: IEEE Symposium on Logic in Computer Science

학회 웹사이트를 보려면 로그인해 주세요
무료 가입으로 공식 사이트 조회, 마감 추적, 이메일 리마인더를 이용할 수 있습니다.
로그인 회원가입

투고 마감일:
2026-01-15
통보일:
2026-04-16
개최일:
2026-07-20
개최지:
Lisbon, Portugal
개최 횟수:
41
CCF: A   ICORE: A*   QUALIS: A2   조회: 68880   팔로우: 41   참가: 6

논문 모집

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.
최종 수정: Dou Sun ()

게재율

평균 게재율: 30.9% 9년간 (1995–2005).

연도투고 수게재 수게재율(%)
20051274434.6%
20041684023.8%
20031223427.9%
20021353626.7%
20011043634.6%
19981204235%
19971083936.1%
19961754726.9%
19951374432.1%

관련 학회

CCFICOREQUALIS약칭정식 명칭투고 마감통보일개최일
AA*A1SIGIRInternational Conference on Research and Development in Information Retrieval2026-01-152026-04-022026-07-20
AA*A1AAAIAAAI Conference on Artificial Intelligence2026-07-212026-11-302027-02-16
AA*A1CVPRIEEE Conference on Computer Vision and Pattern Recognition2025-11-062026-02-202026-06-03
AA*A1STOCACM Symposium on Theory of Computing2025-11-042026-02-012026-06-22
AA*A1OSDIUSENIX Symposium on Operating Systems Design and Implementation2025-12-042026-03-262026-07-13
AA*A1ICMLInternational Conference on Machine Learning2026-01-232026-07-06
AA*A1INFOCOMInternational Conference on Computer Communications2025-07-242025-12-082026-05-18
AA*A1ICCVInternational Conference on Computer Vision2025-03-072025-06-252025-10-19
AA*A1CHIACM Conference on Human Factors in Computing Systems2025-09-042026-01-152026-04-13
AAA2ISSTAInternational Symposium on Software Testing and Analysis2026-01-292026-06-252026-10-03

관련 저널

댓글 0

아직 댓글이 없습니다.

댓글을 작성하려면 로그인해 주세요