|
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 |