**102**ms.)

Rank | Conference | Full Name |

Conference: | ||

35 | CRYPTO | International Cryptology Conference |

49 | STOC | ACM Symposium on Theory of Computing |

52 | SODA | Symposium on Discrete Algorithms |

58 | FOCS | IEEE Symposium on Foundations of Computer Science |

69 | COLT | Conference on Learning Theory |

90 | LICS | Logic in Computer Science |

91 | ICALP | International Colloquium on Automata, Languages and Programming |

96 | EUROCRYPT | Theory and Application of Cryptographic Techniques |

97 | SPAA | ACM Symposium on Parallel Algorithms and Architectures |

110 | CADE | Conference on Automated Deduction |

113 | CONCUR | International Conference on Concurrency Theory |

174 | FSTTCS | Foundations of Software Technology and Theoretical Computer Science |

194 | CC(conference) | Compiler Construction |

213 | STACS | International Symposium on Theoretical Aspects of Computer Science |

219 | TLCA | Typed Lambda Calculus and Applications |

228 | CPM | Annual Symposium on Combinatorial Pattern Matching |

231 | MFCS | Mathematical Foundations of Computer Science |

244 | WADS | Workshop on Architecting Dependable Systems |

271 | CSL | Computer Science Logic |

293 | ALENEX | Algorithm Engineering and Experimentation |

320 | IPCO | Integer Programming and Combinatorial Optimization |

341 | IFIP TCS | IFIP International Conference on Theoretical Computer Science |

346 | ALT | Algorithmic Learning Theory |

358 | LATIN | Latin American Theoretical Informatics |

361 | ISSAC | International Symposium on Symbolic and Algebraic Computation |

373 | ISAAC | International Symposium on Algorithms and Computation |

391 | RANDOM | Randomization and Approximation Techniques in Computer Science |

408 | APPROX | Approximation Algorithms for Combinatorial Optimization |

409 | SWAT | Scandinavian Workshop on Algorithm Theory |

437 | WG | Workshop on Graph-Theoretic Concepts in Computer Science |

480 | COCOON | Computing and Combinatorics Conference |

526 | ICTCS | Italian Conference on Theoretical Computer Science |

533 | ASIAN | Asian Computing Science Conference |

569 | MCU | Machines, Computations, and Universality |

608 | DNA | DNA Computing |

636 | WADT | Workshop on Algebraic Development Techniques |

649 | CCCG | Canadian Conference on Computational Geometry |

701 | IMR | International Meshing Roundtable |

721 | IWPEC | International Workshop on Parameterized and Exact Computation |

727 | SIROCCO | Colloquium on Structural Information & Communication Complexity |

761 | SOFSEM | Conference on Current Trends in Theory and Practice of Informatics |

778 | FCT | Fundamentals of Computation Theory |

814 | DLT | Developments in Language Theory |

901 | Global Computing | Global Computing |

1059 | MKM | Mathematical Knowledge Management |

1120 | CIAC | Conference on Algorithms and Complexity |

1140 | SETA | SETA |

1147 | DRW | Discrete Random Walks |

1153 | WEA | Workshop on Experimental and Efficient Algorithms |

1219 | RelMiCS | Relational Methods in Computer Science |

1270 | WAOA | Workshop on Approximation and Online Algorithms |

1387 | BCC | British Combinatorial Conference |

1456 | APVIS | Asia Pacific Symposium on Information Visualisation |

1463 | Birthday ... | Birthday ... |

1466 | EGCDMAS | Electronic Government and Commerce: Design, Modeling, Analysis and Security |

1471 | WCC | International Workshop on Coding and Cryptography |

1507 | International Conference on Finite Fields and Applications | International Conference on Finite Fields and Applications |

1518 | CIE | Conference on Computability in Europe |

1545 | AAECC | Applied Algebra, Algebraig Algorithms and Error-Correcting Codes |

1550 | GG | Graph Grammars Workshops |

- | SCG | Annual Symposium on Computational Geometry |

- | LFCS | Logical Foundations of Computer Science |

- | EuroCOLT | European Conference on Computational Learning Theory |

- | ISTCS | Israel Symposium on Theory of Computing Systems |

- | ICCI | International Conference on Cognitive Informatics |

- | CATS | Computing: The Australasian Theory Symposium |

- | UMC | Unconventional Models of Computation |

- | GD | Symposium on Graph Drawing |

- | EWLR | European Workshop on Learning Robots |

- | FTP | First Order Theorem Proving |

- | JCDCG | Japanese Conference on Discrete and Computational Geometry |

- | TACS | Theoretical Aspects of Computer Software |

- | CoCo | Structure in Complexity Theory Conference |

- | LP | Logic Programming - Japanese Conference |

- | APN | Application and Theory of Petri Nets |

- | LPAR(RCLP) | Logic Programming and Automated Reasoning/Russian Conference on Logic Programming |

- | CTCS | Category Theory and Computer Science |

- | CAAP | Colloquium on Trees in Algebra and Programming |

- | AWOC | Aegean Workshop on Computing |

- | WAE | Workshop on Algorithmic Engineering |

- | WINE | Workshop on Internet and Network Economics |

- | CASC | Computer Algebra in Scientific Computing |

- | SYNASC | International Symposium on Symbolic and Numeric Algorithms for Scientific Computing |

- | TAMC | Theory and Applications of Models of Computation |

- | AAIM | Algorithmic Aspects in Information and Management |

- | GTITC | General Theory of Information Transfer and Combinatorics |

- | CSR | Computer Science Symposium in Russia |

- | MFPS | Mathematical Foundations of Programming Semantics |

- | WACG | Workshop on Applied Computational Geometry |

- | TPP | Types for Proofs and Programs |

- | _WMC | Workshop on Membrane Computing |

- | TAGT | Theory and Application of Graph Transformations |

- | LITP Spring School on Theoretical Computer Science | LITP Spring School on Theoretical Computer Science |

- | ICMS | International Congress on Mathematical Software |

- | ISA | International Symposium on Algorithms |

- | UC | Unconventional Computing |

- | AII | Analogical and Inductive Inference |

- | ISVD | International Symposium on Voronoi Diagrams in Science and Engineering |

- | EWCG | European Workshop on Computational Geometry |

- | SIGAL | SIGAL International Symposium on Algorithms |

- | KGC | Kurt G枚del Colloquium |

- | WCG | Workshop on Conceptual Graphs |

- | ACID | Algorithms and Complexity in Durham |

- | CALCO | Conference on Algebra and Coalgebra in Computer Science |

- | WoLLIC | Workshop on Logic, Language, Information and Computation |

- | CAAN | Combinatorial and Algorithmic Aspects of Networking |

- | ICW | Imperial College Workshops |

- | FUN | Fun with Algorithms |

- | QCQC | Quantum Computing and Quantum Communications |

- | WSFM | Web Services and Formal Methods |

- | GALOP | Games for Logic and Programming Languages |

- | WAW | Workshop on Algorithms and Models for the Web-Graph |

- | WMC/WMP | Workshop on Membrane Computing/Workshop on Multiset Processing |

- | WALCOM | Workshop on Algorithms and Computation |

- | VOSS | Validation of Stochastic Systems |

- | ATFL/AuFS | Automata Theory and Formal Languages / Automatentheorie und Formale Sprachen |

- | ADG | Automated Deduction in Geometry |

- | CCA | Computability and Complexity in Analysis |

- | GOSLER Project | GOSLER Project |

- | DMCS | Discrete Models for Complex Systems |

- | Optimal Algorithms | Optimal Algorithms |

- | FICS | Fixed Points in Computer Science |

- | EPK | Gesch盲ftsprozessmanagement mit Ereignisgesteuerten Prozessketten |

- | ICM | International Congress of Mathematicans |

- | Computational Combinatorial Optimization | Computational Combinatorial Optimization |

- | LCC | Logical and Computational Complexity |

- | IMYCS | International Meeting of Young Computer Scientists |

- | Orders, Algorithms, and Applications | Orders, Algorithms, and Applications |

- | ESSLLI | European Summer School in Logic, Language and Information |

- | Graph Structure Theory | Graph Structure Theory |

- | CCS | Combinatorics and Computer Science |

- | DIMACS Series in Discrete Mathematics and Theoretical Computer Science | DIMACS Series in Discrete Mathematics and Theoretical Computer Science |

- | Coding Theory and Applications | Coding Theory and Applications |

- | Category Theory | Category Theory |

- | Algebraic Coding | Algebraic Coding |

- | Constructivity in Computer Science | Constructivity in Computer Science |

- | Banff Higher Order Workshop | Banff Higher Order Workshop |

- | L Systems | L Systems |

- | COLOG | Conference on Computer Logic |

- | WERT | Word Equations and Related Topics |

- | EUROCODE | EUROCODE |

- | Logic and Machines | Logic and Machines |

- | Graph Theory and Algorithms | Graph Theory and Algorithms |

- | Siemens Research | Siemens Research |

- | Logic Colloquium | Logic Colloquium |

- | NLIP | Workshop on Nonclassical Logics and Information Processing |

- | Error Control, Cryptology, and Speech Compression | Error Control, Cryptology, and Speech Compression |

- | Easter Conference on Model Theory | Easter Conference on Model Theory |

Journal: | ||

210 | TCS | Theoretical Computer Science |

281 | ESA | European Symposium on Algorithms |

800 | DMTCS | Discrete Mathematics and Theoretical Computer Science |