OPEN
IEEE International Symposium on Information Theory
ISIT 2027Sorrento, Italy
Hạn nộp bài:Jan 11, 2027 (AoE)
65Ngày
22Giờ
40Phút
23Giây
Thông báo kết quả:Mar 27, 2027
Chuyên ngành Phân loại: CT
Hội nghị Khoa học Máy tính — CT
Các hội nghị khoa học chuyên ngành CT được bình duyệt quốc tế, phân hạng theo CORE và CCF.
Khám phá các chuyên ngành khác:Xem tất cả hạn nộp bài →
Hạn nộp bài sắp tới — Chuyên ngành CT
OPEN
International Conference on Computer-Aided Verification
CAV 2027KIT, Amsterdam, The Netherlands
Hạn nộp bài:Jan 21, 2027 (AoE)
75Ngày
22Giờ
40Phút
23Giây
Thông báo kết quả:Apr 23, 2027
OPEN
The Conference on Automated Deduction
CADE 2027Nijmegen, Netherlands
Hạn nộp bài:Feb 23, 2027 (AoE)
108Ngày
22Giờ
40Phút
23Giây
Hạn tóm tắt:Feb 16 (AoE)
Thông báo kết quả:May 17, 2027
Bảng xếp hạng Hội nghị — CT(20 / 20)
Mở trong bảng xếp hạng đầy đủ →#1STOC
TOPCORE A*CCF A
ACM Symposium on the Theory of Computing
TheoryCT
H5-Index
206
Kỳ gần nhất
2027
STOC 2027
Atlanta, Georgia, USA • Jun 6–11, 2027
Chưa mở nộp bàiChi tiết
#2SODA
TOPCORE A*CCF A
ACM-SIAM Symposium on Discrete Algorithms
TheoryCT
H5-Index
65
Kỳ gần nhất
2027
SODA 2027
Philadelphia, Pennsylvania, USA • Jan 24–27, 2027
Chưa mở nộp bàiChi tiết
#3CADE
TOPCORE ACCF B
The Conference on Automated Deduction
AICVCT
H5-Index
—
Kỳ gần nhất
2027
CADE 2027
Nijmegen, Netherlands • Aug 22–25, 2027
108 ngày
Chi tiết#4CAV
TOPCORE A*CCF A
International Conference on Computer-Aided Verification
Software EngineeringTheoryCT
H5-Index
—
Kỳ gần nhất
2027
CAV 2027
KIT, Amsterdam, The Netherlands • Jul 21–23, 2027
75 ngày
Chi tiết#5CCC
TOPCORE ACCF B
Computational Complexity Conference
TheoryCT
H5-Index
—
Kỳ gần nhất
2027
CCC 2027
Seattle, Washington, USA • Jul 19–22, 2027
Chưa mở nộp bàiChi tiết
#6COCOON
CORE NCCF B
International Computing and Combinatorics Conference
TheoryCT
H5-Index
—
Kỳ gần nhất
2026
COCOON 2026
Singapore • Jul 23–25, 2026
Chưa mở nộp bàiChi tiết
#7CONCUR
CORE BCCF B
International Conference on Concurrency Theory
TheoryDistributed SystemsOS+1
H5-Index
—
Kỳ gần nhất
2027
CONCUR 2027
Lucca, Italy • Sep 6–10, 2027
Chưa mở nộp bàiChi tiết
#8ESA
TOPCORE ACCF B
European Symposium on Algorithms
TheoryCT
H5-Index
—
Kỳ gần nhất
2026
ESA 2026
L'Aquila, Italy • Aug 31 – Sep 4, 2026
Chưa mở nộp bàiChi tiết
#9FMCAD
CORE BCCF B
Formal Methods in Computer-Aided Design
Software EngineeringTheoryCT
H5-Index
—
Kỳ gần nhất
2026
FMCAD 2026
Graz, Austria • Sep 14–14, 2018
Chưa mở nộp bàiChi tiết
#10FOCS
TOPCORE A*CCF A
IEEE Symposium on Foundations of Computer Science (FOCS)
CSTheoryCT
H5-Index
—
Kỳ gần nhất
2026
FOCS 2026
New York City, NY, USA • Nov 8–11, 2026
Chưa mở nộp bàiChi tiết
#11FSCD
CORE BCCF C
International Conference on Formal Structures for Computation and Deduction
TheoryCT
H5-Index
—
Kỳ gần nhất
2027
FSCD 2027
Nijmegen, Netherlands • Aug 23–26, 2027
Chưa mở nộp bàiChi tiết
#12HSCC
CORE NCCF B
International Conference on Hybrid Systems: Computation and Control
CT
H5-Index
—
Kỳ gần nhất
2027
HSCC 2027
Boulder, Colorado, USA • May 17–20, 2027
Chưa mở nộp bàiChi tiết
#13ICALP
TOPCORE A*CCF B
EATCS International Colloquium on Automata, Languages, and Programming
TheoryCT
H5-Index
—
Kỳ gần nhất
2027
ICALP 2027
Kraków, Poland • Jul 5–9, 2027
Chưa mở nộp bàiChi tiết
#14IJCAR
TOPCORE ACCF B
International Joint Conference on Automated Reasoning
Software EngineeringTheoryAI+2
H5-Index
—
Kỳ gần nhất
2026
IJCAR 2026
Lisbon, Portugal • Jul 26–29, 2026
Chưa mở nộp bàiChi tiết
#15ISAAC
CORE BCCF C
International Symposium on Algorithms and Computation
TheoryCT
H5-Index
—
Kỳ gần nhất
2026
ISAAC 2026
Hangzhou, China • Dec 7–9, 2026
Chưa mở nộp bàiChi tiết
#16ISIT
CORE BCCF N
IEEE International Symposium on Information Theory
TheoryCT
H5-Index
—
Kỳ gần nhất
2027
ISIT 2027
Sorrento, Italy • Jun 27 – Jul 2, 2027
65 ngày
Chi tiết#17LICS
TOPCORE A*CCF A
IEEE Symposium on Logic in Computer Science
TheoryCT
H5-Index
—
Kỳ gần nhất
2027
LICS 2027
Montréal, Canada • Jun 21–24, 2027
Chưa mở nộp bàiChi tiết
#18SAT
TOPCORE ACCF B
International Conference on Theory and Applications of Satisfiability Testing
TheoryAICT
H5-Index
—
Kỳ gần nhất
2026
SAT 2026
Lisbon, Portugal • Jul 20–23, 2026
Chưa mở nộp bàiChi tiết
#19SETTA
CORE NCCF C
Symposium on Dependable Software Engineering: Theories, Tools and Applications
Software EngineeringTheoryCT
H5-Index
—
Kỳ gần nhất
2026
SETTA 2026
Singapore • Dec 2–4, 2026
Chưa mở nộp bàiChi tiết
#20SOCG
TOPCORE ACCF B
International Symposium on Computational Geometry
TheoryCT
H5-Index
—
Kỳ gần nhất
2027
SOCG 2027
Bengaluru, India • Jun 21–25, 2027
Chưa mở nộp bàiChi tiết