SAT/International Conference on Theory and Applications of Satisfiability Testing
CCF B 类CORE ATHCPL B计算机科学理论
International Conference on Theory and Applications of Satisfiability Testing（SAT）：CCF 推荐 B 类，CORE A，所属领域「计算机科学理论」，2026 年会议于 July 20 - July 23, 2026 举行，地点 Lisbon, Portugal，全文截稿 2026-03-10 23:59:59。提供历年截稿时间线、录用率与 CCF 等级信息。
在 DBLP 查看 SAT 论文列表 →CCF 推荐等级
B 类
CORE A · THCPL B
最近截稿（2026 年）
2026-03-10
时区 AoE
历年截稿时间线
2026 年会议官网 →
会期 July 20 - July 23, 2026地点 Lisbon, Portugal时区 AoE
- 摘要截稿 2026-03-02 23:59:59全文截稿 2026-03-10 23:59:59
计算机科学理论领域其他会议
查看全部- STOC · ACM Symposium on Theory of ComputingA
- SODA · ACM-SIAM Symposium on Discrete AlgorithmsA
- CAV · International Conference on Computer Aided VerificationA
- FOCS · IEEE Annual Symposium on Foundations of Computer ScienceA
- LICS · ACM/IEEE Symposium on Logic in Computer ScienceA
- SoCG · International Symposium on Computational GeometryB
- ESA · European Symposium on AlgorithmsB
- CCC · Conference on Computational ComplexityB
- ICALP · International Colloquium on Automata, Languages and ProgrammingB
- International Conference on Automated Deduction/International Joint Conference on Automated Reasoning · International Conference on Automated Deduction/International Joint Conference on Automated ReasoningB
- CONCUR · International Conference on Concurrency TheoryB
- HSCC · International Conference on Hybrid Systems: Computation and ControlB
不再错过截稿日期
在 SCI365 会议截稿查询中跟踪 SAT 等顶会 deadline，支持时区换算与搜索。