Top conferences in algorithms & theory 1–100 of 177 results
Conferences Publications
 
1
STOC - ACM Symposium on Theory of Computing 2885 150
2
FOCS - IEEE Symposium on Foundations of Computer Science 3089 143
3
SODA - ACM-SIAM Symposium on Discrete Algorithms 2338 89
4
LICS - Logic in Computer Science 1345 79
5
ICALP - International Colloquium on Automata, Languages and Programming 2512 75
6
SOCG - Symposium on Computational Geometry 1310 72
7
CONCUR - International Conference on Concurrency Theory 900 64
8
COLT - Computational Learning Theory 937 58
9
CADE - Conference on Automated Deduction 1188 53
10
STACS - Symposium on Theoretical Aspects of Computer Science 1368 46
11
ESA - European Symposium on Algorithms 1010 45
12
APN - Application and Theory of Petri Nets 774 43
13
CoCo - Structure in Complexity Theory Conference 534 43
14
MFCS - Mathematical Foundations of Computer Science 1958 42
15
ICM - International Congress of Mathematicans 450 42
16
CPM - Combinatorial Pattern Matching 530 40
17
GD - Symposium on Graph Drawing 820 38
18
Birthday ... 1597 37
19
ISSAC - International Symposium on Symbolic and Algebraic Computation 1199 37
20
FSTTCS - Foundations of Software Technology and Theoretical Computer Science 932 37
21
DIMACS Series in Discrete Mathematics and Theoretical Computer Science 158 37
22
IPCO - Integer Programming and Combinatorial Optimization 488 36
23
CSL - Computer Science Logic 854 33
24
WG - Workshop on Graph-Theoretic Concepts in Computer Science 817 32
25
TPHOLs - Theorem Proving in Higher Order Logics 569 32
26
TACS - Theoretical Aspects of Computer Software 153 32
27
WADS - Workshop on Algorithms and Data Structures 500 30
28
ISAAC - International Symposium on Algorithms and Computation 1226 29
29
IMR - International Meshing Roundtable 343 29
30
LPAR(RCLP) - Logic Programming and Automated Reasoning/Russian Conference on Logic Programming 599 28
31
GG - Graph Grammars Workshops 371 28
32
TLCA - Typed Lambda Calculus and Applications 262 28
33
ICCS - International Conference on Computational Science 3883 27
34
FCT - Fundamentals of Computation Theory 847 27
35
SWAT - Scandinavian Workshop on Algorithm Theory 442 27
36
CHARME - Conference on Correct Hardware Design and Verification Methods 220 27
37
ISTCS - Israel Symposium on Theory of Computing Systems 151 27
38
COCOON - Computing and Combinatorics 905 26
39
LATIN - Latin American Theoretical INformatics 462 26
40
CCCG - Canadian Conference on Computational Geometry 974 25
41
AAECC - Applied Algebra, Algebraic Algorithms and Error-Correcting Codes 566 25
42
APPROX - Approximation Algorithms for Combinatorial Optimization 348 25
43
Types for Proofs and Programs 231 25
44
Logic Colloquium 124 25
45
RANDOM - Randomization and Approximation Techniques in Computer Science 158 24
46
ALT - Algorithmic Learning Theory 603 23
47
DNA - DNA Computing 295 23
48
CAAP - Colloquium on Trees in Algebra and Programming 233 23
49
ALENEX - Algorithm Engineering and Experimentation 194 23
50
Logic of Programs 130 21
51
SOFSEM - Conference on Current Trends in Theory and Practice of Informatics 780 20
52
ASIAN - Asian Computing Science Conference 414 20
53
IFIP TCS - IFIP International Conference on Theoretical Computer Science 226 20
54
Mathematical Foundations of Programming Semantics 152 20
55
Category Theory and Computer Science 127 20
56
SIROCCO - Colloquium on Structural Information & Communication Complexity 383 19
57
ASM - Workshops on Abstract State Machines 247 19
58
CIAA(WIA) - Workshop on Implementing Automata/Conference on Implementation and Application of Automata 441 18
59
ACSD - Int. Conf. on Application of Concurrency to System Design 307 18
60
WAE - Workshop on Algorithmic Engineering 90 18
61
EuroCOLT - European Conference on Computational Learning Theory 84 18
62
WINE - Workshop on Internet and Network Economics 364 17
63
WEA - Workshop on Experimental and Efficient Algorithms 302 17
64
DLT - Developments in Language Theory 532 16
65
Workshop on Membrane Computing 239 16
66
LFCS - Logical Foundations of Computer Science 201 16
67
CIAC - Italian Conference on Algorithms and Complexity 170 16
68
TCS - Theoretical Computer Science 149 16
69
WADT - Workshop on Algebraic Development Techniques 174 15
70
Imperial College Workshops 96 15
71
AWOC - Aegean Workshop on Computing 76 15
72
ISA - International Symposium on Algorithms 68 15
73
ICTAC - International Colloquium on Theoretical Aspects of Computing 229 14
74
APVIS - Asia Pacific Symposium on Information Visualisation 117 14
75
Category Theory 74 14
76
CIE - Conference on Computability in Europe 385 13
77
RelMiCS - Relational Methods in Computer Science 300 13
78
Mathematical Knowledge Management 173 13
79
ICTCS - Italian Conference on Theoretical Computer Science 122 13
80
IWPEC - International Workshop on Parameterized and Exact Computation 112 13
81
LITP Spring School on Theoretical Computer Science 85 13
82
WAW - Workshop on Algorithms and Models for the Web-Graph 81 13
83
TAGT - Theory and Application of Graph Transformations 80 13
84
WSFM - Web Services and Formal Methods 66 13
85
WMC/WMP - Workshop on Membrane Computing/Workshop on Multiset Processing 47 13
86
WAOA - Workshop on Approximation and Online Algorithms 173 12
87
UC - Unconventional Computing 167 12
88
SAGA - Stochastic Algorithms 106 12
89
UMC - Unconventional Models of Computation 60 12
90
SIGAL - International Symposium on Algorithms 47 12
91
QCQC - Quantum Computing and Quantum Communications 44 12
92
LCC - Logical and Computational Complexity 30 12
93
CSR - Computer Science Symposium in Russia 207 11
94
MCU - Machines, Computations, and Universality 102 11
95
CCA - Computability and Complexity in Analysis 102 11
96
AII - Analogical and Inductive Inference 87 11
97
KGC - Kurt Gödel Colloquium 62 11
98
Logic and Machines 39 11
99
EUSFLAT - European Society for Fuzzy Logic and Technology 1095 10
100
SYNASC - Symbolic and Numeric Algorithms for Scientific Computing 532 10