会议信息
LICS 2025: IEEE Symposium on Logic in Computer Science
https://lics.siglog.org/lics25/
截稿日期:
2025-01-16
通知日期:
2025-04-08
会议日期:
2025-06-23
会议地点:
Singapore
届数:
40
CCF: a   CORE: a*   QUALIS: a2   浏览: 34391   关注: 41   参加: 6

征稿
The 40th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2025) will be held in Singapore, from 23 – 26 June, with workshops 27 and 28 June.

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 在 2024-11-29
录取率
时间提交数录取数录取率(%)
20051274434.6%
20041684023.8%
20031223427.9%
20021353626.7%
20011043634.6%
19981204235%
19971083936.1%
19961754726.9%
19951374432.1%
相关会议
CCFCOREQUALIS简称全称截稿日期通知日期会议日期
ICCSMInternational Conference on Computer, Software and Modeling2022-02-252022-03-252022-07-21
ICMUInternational Conference on Mobile Computing and Ubiquitous Networking2018-05-252018-07-062018-10-05
cb1GLSVLSIGreat Lakes Symposium on VLSI2024-02-092024-03-222024-06-05
EDUTECInternational Conference on Education and Technology2022-12-312022-01-122023-01-21
ba1MobisysInternational Conference on Mobile Systems, Applications and Services2024-12-092025-03-072025-06-03
AmIEuropean Conference on Ambient Intelligence2019-07-192019-08-122019-11-13
APBJCAsia & Pacific Bioinformatics Joint Confarence2024-07-072024-07-282024-10-22
b4ISTInternational Conference on Imaging Systems and Techniques2018-07-312018-08-152018-10-16
aa*a1SODAACM-SIAM Symposium on Discrete Algorithms2024-07-05 2025-01-12
CMSPInternational Conference on Multimedia and Signal Processing2013-05-152013-05-202013-09-20
推荐