ImpaQ Ecosystem•Clarivate, Scopus & CORE Data
Clarivate WoS 2024 / 2025 Data
IMPAQ
Taxonomy Domain: CT

CT Computer Science Conferences

Peer-reviewed scientific conferences in the CT computer science subfield ranked by CORE and CCF.

Total Conferences
20
CORE A* Venues
6
Live AoE Deadlines
Real-time AoE countdowns
Explore other CS subfields:View all deadlines →
AI & MLComputer VisionNLP & SpeechSecurity & CryptoSoftware Eng.Databases & MiningSystems & Arch.NetworksHCITheory & AlgoRobotics

Upcoming Deadlines in CT

HSCCCORE NCCF B
CLOSING SOON

International Conference on Hybrid Systems: Computation and Control

HSCC 2027Boulder, Colorado, USA
Submission Deadline:Nov 6, 2026 (AoE)
00Days
03Hours
14Mins
38Secs
Abstract Deadline:Nov 6 (AoE)
Notification:Jan 28, 2027
Note:Regular papers; papers submitted by the deadline may be updated until November 6, 2026 23:59:59 AoE
View ConferenceWebsite

CT Conference Rankings(20 / 20)

Open full table view →
#1STOC
TOPCORE A*CCF A

ACM Symposium on the Theory of Computing

TheoryCT
H5-Index
206
Edition
2027
STOC 2027
Atlanta, Georgia, USA • Jun 6–11, 2027
No upcoming deadlineDetails
#2SODA
TOPCORE A*CCF A

ACM-SIAM Symposium on Discrete Algorithms

TheoryCT
H5-Index
65
Edition
2027
SODA 2027
Philadelphia, Pennsylvania, USA • Jan 24–27, 2027
No upcoming deadlineDetails
#3CADE
TOPCORE ACCF B

The Conference on Automated Deduction

AICVCT
H5-Index
—
Edition
2027
CADE 2027
Nijmegen, Netherlands • Aug 22–25, 2027
109 days left
Details
#4CAV
TOPCORE A*CCF A

International Conference on Computer-Aided Verification

TheorySoftware EngineeringCT
H5-Index
—
Edition
2027
CAV 2027
KIT, Amsterdam, The Netherlands • Jul 21–23, 2027
76 days left
Details
#5CCC
TOPCORE ACCF B

Computational Complexity Conference

TheoryCT
H5-Index
—
Edition
2027
CCC 2027
Seattle, Washington, USA • Jul 19–22, 2027
No upcoming deadlineDetails
#6COCOON
CORE NCCF B

International Computing and Combinatorics Conference

TheoryCT
H5-Index
—
Edition
2026
COCOON 2026
Singapore • Jul 23–25, 2026
No upcoming deadlineDetails
#7CONCUR
CORE BCCF B

International Conference on Concurrency Theory

TheoryDistributed SystemsOS+1
H5-Index
—
Edition
2027
CONCUR 2027
Lucca, Italy • Sep 6–10, 2027
No upcoming deadlineDetails
#8ESA
TOPCORE ACCF B

European Symposium on Algorithms

TheoryCT
H5-Index
—
Edition
2026
ESA 2026
L'Aquila, Italy • Aug 31 – Sep 4, 2026
No upcoming deadlineDetails
#9FMCAD
CORE BCCF B

Formal Methods in Computer-Aided Design

TheorySoftware EngineeringCT
H5-Index
—
Edition
2026
FMCAD 2026
Graz, Austria • Sep 14–14, 2018
No upcoming deadlineDetails
#10FOCS
TOPCORE A*CCF A

IEEE Symposium on Foundations of Computer Science (FOCS)

CSTheoryCT
H5-Index
—
Edition
2026
FOCS 2026
New York City, NY, USA • Nov 8–11, 2026
No upcoming deadlineDetails
#11FSCD
CORE BCCF C

International Conference on Formal Structures for Computation and Deduction

TheoryCT
H5-Index
—
Edition
2027
FSCD 2027
Nijmegen, Netherlands • Aug 23–26, 2027
No upcoming deadlineDetails
#12HSCC
CORE NCCF B

International Conference on Hybrid Systems: Computation and Control

CT
H5-Index
—
Edition
2027
HSCC 2027
Boulder, Colorado, USA • May 17–20, 2027
3h 14m
Details
#13ICALP
TOPCORE A*CCF B

EATCS International Colloquium on Automata, Languages, and Programming

TheoryCT
H5-Index
—
Edition
2027
ICALP 2027
Kraków, Poland • Jul 5–9, 2027
No upcoming deadlineDetails
#14IJCAR
TOPCORE ACCF B

International Joint Conference on Automated Reasoning

TheorySoftware EngineeringAI+2
H5-Index
—
Edition
2026
IJCAR 2026
Lisbon, Portugal • Jul 26–29, 2026
No upcoming deadlineDetails
#15ISAAC
CORE BCCF C

International Symposium on Algorithms and Computation

TheoryCT
H5-Index
—
Edition
2026
ISAAC 2026
Hangzhou, China • Dec 7–9, 2026
No upcoming deadlineDetails
#16ISIT
CORE BCCF N

IEEE International Symposium on Information Theory

TheoryCT
H5-Index
—
Edition
2027
ISIT 2027
Sorrento, Italy • Jun 27 – Jul 2, 2027
66 days left
Details
#17LICS
TOPCORE A*CCF A

IEEE Symposium on Logic in Computer Science

TheoryCT
H5-Index
—
Edition
2027
LICS 2027
Montréal, Canada • Jun 21–24, 2027
No upcoming deadlineDetails
#18SAT
TOPCORE ACCF B

International Conference on Theory and Applications of Satisfiability Testing

TheoryAICT
H5-Index
—
Edition
2026
SAT 2026
Lisbon, Portugal • Jul 20–23, 2026
No upcoming deadlineDetails
#19SETTA
CORE NCCF C

Symposium on Dependable Software Engineering: Theories, Tools and Applications

TheorySoftware EngineeringCT
H5-Index
—
Edition
2026
SETTA 2026
Singapore • Dec 2–4, 2026
No upcoming deadlineDetails
#20SOCG
TOPCORE ACCF B

International Symposium on Computational Geometry

TheoryCT
H5-Index
—
Edition
2027
SOCG 2027
Bengaluru, India • Jun 21–25, 2027
No upcoming deadlineDetails