会议信息
CSL 2025: Conference on Computer Science Logic
https://csl2025.github.io/截稿日期: |
2024-07-18 |
通知日期: |
2024-10-27 |
会议日期: |
2025-02-10 |
会议地点: |
Amsterdam, The Netherlands |
届数: |
33 |
CCF: c CORE: c QUALIS: b1 浏览: 15501 关注: 4 参加: 1
征稿
Topics automated deduction and interactive theorem proving concurrency and distributed computation constructive mathematics and type theory equational logic and term rewriting automata and games, game semantics formal methods model checking decision procedures modal and temporal logic description logics logical aspects of computational complexity logical aspects of AI finite model theory computability computational proof theory logic programming and constraints lambda calculus and combinatory logic domain theory categorical logic and topological semantics database theory specification, extraction and transformation of programs logical aspects of quantum computing logical foundations of programming paradigms verification and program analysis linear logic higher-order logic knowledge representation and reasoning nonmonotonic reasoning
最后更新 Dou Sun 在 2024-06-19
相关会议
CCF | CORE | QUALIS | 简称 | 全称 | 截稿日期 | 通知日期 | 会议日期 |
---|---|---|---|---|---|---|---|
EDUTEC | International Conference on Education and Technology | 2022-12-31 | 2022-01-12 | 2023-01-21 | |||
CMSP | International Conference on Multimedia and Signal Processing | 2013-05-15 | 2013-05-20 | 2013-09-20 | |||
AmI | European Conference on Ambient Intelligence | 2019-07-19 | 2019-08-12 | 2019-11-13 | |||
SaCoNeT | International Conference on Smart Communications in Network Technologies | 2018-07-31 | 2018-09-05 | 2018-10-27 | |||
AAME' | International Conference on Aerospace, Aerodynamics and Mechatronics Engineering | 2022-06-02 | 2022-07-22 | ||||
ICETCA | International Conference on Electronics Technology and Computer Applications | 2020-07-15 | 2020-07-20 | 2020-07-28 | |||
CBDA | International Conference on Big Data | 2023-05-06 | 2023-05-17 | 2023-05-20 | |||
ICoSMS | International Conference on Smart Materials and Surfaces | 2022-12-31 | 2023-01-15 | 2023-03-24 | |||
b4 | ICCSE | International Conference on Computer Science & Education | 2022-05-20 | 2022-06-01 | 2022-08-18 | ||
a | b1 | FLOPS | International Symposium on Functional and Logic Programming | 2011-12-16 | 2012-02-03 | 2012-05-23 |
简称 | 全称 | 截稿日期 | 会议日期 |
---|---|---|---|
EDUTEC | International Conference on Education and Technology | 2022-12-31 | 2023-01-21 |
CMSP | International Conference on Multimedia and Signal Processing | 2013-05-15 | 2013-09-20 |
AmI | European Conference on Ambient Intelligence | 2019-07-19 | 2019-11-13 |
SaCoNeT | International Conference on Smart Communications in Network Technologies | 2018-07-31 | 2018-10-27 |
AAME' | International Conference on Aerospace, Aerodynamics and Mechatronics Engineering | 2022-06-02 | 2022-07-22 |
ICETCA | International Conference on Electronics Technology and Computer Applications | 2020-07-15 | 2020-07-28 |
CBDA | International Conference on Big Data | 2023-05-06 | 2023-05-20 |
ICoSMS | International Conference on Smart Materials and Surfaces | 2022-12-31 | 2023-03-24 |
ICCSE | International Conference on Computer Science & Education | 2022-05-20 | 2022-08-18 |
FLOPS | International Symposium on Functional and Logic Programming | 2011-12-16 | 2012-05-23 |
相关期刊
CCF | 全称 | 影响因子 | 出版商 | ISSN |
---|---|---|---|---|
b | Journal of Computer Science and Technology | 0.475 | SCIENCE PRESS | 1000-9000 |
Journal of Computer Science Engineering | 2.562 | IJRDO | 2456-1843 | |
PeerJ Computer Science | PeerJ Inc. | 2376-5992 | ||
Nonlinear Engineering | Walter de Gruyter | 2192-8010 | ||
Computers & Geosciences | 3.372 | Elsevier | 0098-3004 | |
b | Journal of Computer and System Sciences | 1.023 | Elsevier | 0022-0000 |
Smart Learning Environments | Springer | 2196-7091 | ||
b | ACM Transactions on Computational Logic | ACM | 1529-3785 | |
Presence: Teleoperators and Virtual Environments | 0.789 | MIT Press | 1054-7460 | |
Computer Methods and Programs in Biomedicine | 5.428 | Elsevier | 0169-2607 |
全称 | 影响因子 | 出版商 |
---|---|---|
Journal of Computer Science and Technology | 0.475 | SCIENCE PRESS |
Journal of Computer Science Engineering | 2.562 | IJRDO |
PeerJ Computer Science | PeerJ Inc. | |
Nonlinear Engineering | Walter de Gruyter | |
Computers & Geosciences | 3.372 | Elsevier |
Journal of Computer and System Sciences | 1.023 | Elsevier |
Smart Learning Environments | Springer | |
ACM Transactions on Computational Logic | ACM | |
Presence: Teleoperators and Virtual Environments | 0.789 | MIT Press |
Computer Methods and Programs in Biomedicine | 5.428 | Elsevier |
推荐