115 ranked venues

Best Theory Conferences

Theory keeps the tightest venue hierarchy in computer science. STOC and FOCS are the two general-purpose A* conferences, SODA covers algorithms, and ICALP is the principal European counterpart. Acceptance rates around 30% understate the selectivity, because submissions are heavily self-filtered.

Specialist A and B venues — CCC for complexity, LICS for logic, CRYPTO and EUROCRYPT for cryptography, SoCG for computational geometry — are where most sustained programmes actually publish.

A* tier

9 venues

Rank	Acronym	Conference	Papers	Acceptance
A*	CAV	Computer Aided Verification	2,162
A*	EC	ACM Conference on Economics and Computation	114
A*	FOCS	IEEE Symposium on Foundations of Computer Science	4,193	30.0% (2023)
A*	ICALP	International Colloquium on Automata Languages and Programming	4,916
A*	KR	International Conference on the Principles of Knowledge Representation and Reasoning	1,758
A*	LICS	IEEE Symposium on Logic in Computer Science	2,216
A*	SoCG	International Symposium on Computational Geometry
A*	SODA	ACM/SIAM Symposium on Discrete Algorithms	4,977	32.0% (2024)
A*	STOC	ACM Symposium on Theory of Computing	4,576	29.0% (2024)

A tier

9 venues

Rank	Acronym	Conference	Papers
A	ALENEX	Workshop on Algorithm Engineering and Experiments	465
A	APPROX/RANDOM	International Workshop on Approximation Algorithms for Combinatorial Optimization Problems and International Conference on Randomization and Computation
A	CCC	IEEE Conference on Computational Complexity	40
A	ESA	European Symposium on Algorithms	2,439
A	GD	Graph Drawing	1,486
A	IJCAR	International Joint Conference on Automated Reasoning	97
A	ITCS	Innovations in Theoretical Computer Science	7
A	SAT	International Conference on Theory and Applications of Satisfiability Testing	937
A	STACS	International Symposium on Theoretical Aspects of Computer Science	2,384

B tier

38 venues

Rank	Acronym	Conference	Papers
B	AiML	Advances in Modal Logic	429
B	CALCO	Conference on Algebra and Coalgebra in Computer Science	288
B	CASC	Computer Algebra in Scientific Computing	685
B	CONCUR	International Conference on Concurrency Theory	1,512
B	CPP	Certified Programs and Proofs	354
B	CSL	Annual Conference on Computer Science Logic	1,493
B	FCT	International Symposium on Fundamentals of Computation Theory	1,086
B	FM	International Symposium on Formal Methods (was Formal Methods Europe FME)	1,364
B	FOSSACS	Foundations of Software Science and Computational Structures	818
B	FSCD	International Conference on Formal Structures for Computation and Deduction	243
B	ICGT	International Conference on Graph Transformations	13
B	ICLP	International Conference on Logic Programming	2,063
B	IFM	Integrated Formal Methods	516
B	ILP	Inductive Logic Programming	684
B	IPCO	Conference on Integer Programming and Combinatorial Optimization	908
B	IPEC	International Symposium on Parameterized and Exact Computation (was IWPEC pre 2004)	454
B	ISAAC	International Symposium on Algorithms and Computation	2,287
B	ISSAC	International Symposium on Symbolic and Algebraic Computation	2,194
B	ITP	Conference on Interactive Theorem Proving (previously TPHOLs, changed in 2009)	608
B	ITW	Information Theory Workshop	2,740
B	JELIA	Logics in Artificial Intelligence, European Conference	727
B	LATIN	International Symposium on Latin American Theoretical Informatics	851
B	LPAR	Logic Programming and Automated Reasoning	987
B	LPNMR	International Conference on Logic Programming and Non-monotonic Reasoning	697
B	MFCS	International Symposium on Mathematical Foundations of Computer Science	3,347
B	MFPS	International Conference on Mathematical Foundations of Programming Semantics	161
B	MPC	Mathematics of Program Construction	277
B	RuleML+RR	International Joint Conference on Rules and Reasoning
B	SAGT	International Symposium on Algorithmic Game Theory	484
B	SEA	International Symposium on Experimental Algorithms
B	SIROCCO	International Colloquium on Structural Information and Communication Complexity	795
B	TABLEAUX	International Conference on Theorem Proving with Analytic Tableaux and Related Methods	530
B	TARK	Theoretical Aspects of Rationality and Knowledge	341
B	TCC	Theory of Cryptography Conference	1,061
B	WADS	Algorithms and Data Structures Symposium (was Workshop on Algorithms and Data Structures)	896
B	WALCOM	International Conference and Workshops on Algorithms and Computation	572
B	WAOA	Workshop on Approximation and Online Algorithms	450
B	WG	International Workshop on Graph-Theoretic Concepts in Computer Science	1,392

C tier

44 venues

Rank	Acronym	Conference	Papers
C	AAAC	Symposium of Asian Association for Algorithms and Computation
C	AAIM	Conference on Algorithmic Aspects in Information and Management	626
C	ABZ	International Conference Abstract State Machines, Alloy, B, TLA, VDM, and Z (Previously International Conference of B and Z Users, ZB, changed in 2008)
C	AofA	International Conference on Probabilistic, Combinatorial, and Asymptotic Methods in the Analysis of Algorithms (was Conference on Analysis of Algorithms)	145
C	ARITH	IEEE Symposium on Computer Arithmetic	942
C	ATMOS	Workshop on Algorithmic Approaches for Transportation Modelling, Optimization, and Systems	327
C	CCA	International Conference on Computability and Complexity in Analysis	95
C	CIAA	International Conference on Implementation and Application of Automata
C	CIAC	International Conference on Algorithms and Complexity (was Italian Conference )	404
C	CICM	Conference on Intelligent Computer Mathematics
C	CiE	Computability in Europe: Logic and Theory of Algorithms	987
C	COMPLEXIS	International Conference on Complexity, Future Information Systems and Risk	163
C	CTW	Cologne-Twente Workshop on Graphs and Combinatorial Optimization
C	DLT	Developments in Language Theory	1,061
C	DM	SIAM Conference on Discrete Mathematics
C	ECCO	European Chapter on Combinatorial Optimization
C	EuroCG	European Workshop on Computational Geometry
C	EUroComb	EuroConference on Combinatorics, Graph Theory and Applications
C	EUSFLAT	Conference of the European Society for Fuzzy Logic and Technologies	2,104
C	FOIS	International Conference on Formal Ontology in Information Systems	385
C	GMP	Geometry Modeling and Processing	270
C	ICCAM	International Congress on Computational and Applied Mathematics
C	ICFCA	International Conference Formal Concept Analysis Conference	382
C	ICTAC	International Colloquium on Theoretical Aspects of Computing	596
C	ISCO	International Symposium on Combinatorial Optimisation	96
C	ISITA	International Symposium on Information Theory and Its Applications	1,075
C	IWOCA	International Workshop on Combinatorial Algorithm	664
C	LAGOS	Latin-American Algorithms, Graphs and Optimization Symposium	187
C	LATA	International Conference on Language and Automata Theory and Applications	645
C	LOPSTR	International Symposium on Logic-based Program Synthesis and Transformation	582
C	MCU	Machines, Computations and Universality (was Universal Machines and Computations)	143
C	MEMOCODE	International Conference on Formal Methods and Models for Co-Design	528
C	NeSy	International Conference on Neurosymbolic Learning and Reasoning	250
C	PPDP	International Conference on Principles and Practice of Declarative Programming	598
C	RAMiCS	International Conference on Relational and AlgebraicMethods in Computer Science (was International Conference on Relational Methods in Computer Science RelMiCS)
C	RC	International Conference on Reversible Computation	278
C	SETA	International Conference on Sequences and their Applications	252
C	TAMC	Conference on Theory and Applications of Models of Computation	716
C	UC	International Conference on Unconventional Computation and Natural Computation (was International Conference on Unconventional Computation)	423
C	VECoS	The International Conference on Verification and Evaluation of Computer and Communication Systems	252
C	WAIFI	Workshop on the Arithmetic of Finite Fields	203
C	WAW	Workshop on Algorithms And Models For The Web Graph	239
C	WCO	Workshop on Computational Optimization	16
C	WoLLIC	Workshop on Logic, Language, Information and Computation	442

National

National tier

13 venues

Rank	Acronym	Conference	Papers
National	ACCT	International Workshop on Algebraic and Combinatorial Coding Theory	31
National	COCOON	International Conference on Computing and Combinatorics	1,865
National	CSICC	International CSI Computer Conference	406
National	FAW	International Frontiers of Algorithmics Workshop	394
National	FLOPS	International Symposium on Functional and Logic Programming	303
National	FST&TCS	Foundations of Software Technology and Theoretical Computer Science
National	FUN	Conference on Fun with Algorithms	311
National	Informatics	IEEE International Scientific Conference on Informatics
National	LFCS	Logical Foundations of Computer Science	307
National	PSC	Prague Stringology Conference	26
National	Redundancy	International Symposium 'Problems of Redundancy in Information and Control Systems'	82
National	SETTA	International Symposium on Software Engineering: Theories, Tools, and Applications	188
National	SYNASC	International Symposium on Symbolic and Numeric Algorithms for Scientific Computing	1,404

Regional

Regional tier

1 venues

Rank	Acronym	Conference	Papers	Acceptance
Regional	FRUCT	IEEE Conference of the Open Innovations Association FRUCT	1,093

Australasian

Australasian tier

1 venues

Rank	Acronym	Conference	Papers	Acceptance
Australasian	ACCMCC	Australasian Conference on Combinatorial Mathematics and Combinatorial Computing