计算机科学之排序,计算机科学国际会议排序(按不同研究领域)

Un-ranked:

Australian Software Engineering Conference

IEEE Int. W'shop on Object-oriented Real-time Dependable Sys. (WORDS)

IEEE International Symposium on High Assurance Systems Engineering

The Northern Formal Methods Workshops

Formal Methods Pacific

Int. Workshop on Formal Methods for Industrial Critical Systems

JFPLC - International French Speaking Conference on Logic and Constraint Programming

L&L - Workshop on Logic and Learning

SFP - Scottish Functional Programming Workshop

LCCS - International Workshop on Logic and Complexity in Computer Science

VLFM - Visual Languages and Formal Methods

NASA LaRC Formal Methods Workshop

PASTE: Workshop on Program Analysis For Software Tools and Engineering

TLCA: Typed Lambda Calculus and Applications

FATES - A Satellite workshop on Formal Approaches to Testing of Software

Workshop On Java For High-Performance Computing

DSLSE - Domain-Specific Languages for Software Engineering

FTJP - Workshop on Formal Techniques for Java Programs

WFLP - International Workshop on Functional and (Constraint) Logic Programming

FOOL - International Workshop on Foundations of Object-Oriented Languages

SREIS - Symposium on Requirements Engineering for Information Security

HLPP - International workshop on High-level parallel programming and applications

INAP - International Conference on Applications of Prolog

MPOOL - Workshop on Multiparadigm Programming with OO Languages

PADO - Symposium on Programs as Data Objects

TOOLS: Int'l Conf Technology of Object-Oriented Languages and Systems

Australasian Conference on Parallel And Real-Time Systems

PASTE: Workshop on Program Analysis For Software Tools and Engineering

AvoCS: Workshop on Automated Verification of Critical Systems

SPIN: Workshop on Model Checking of Software

FemSys: Workshop on Formal Design of Safety Critical Embedded Systems

Ada-Europe

PPDP: Principles and Practice of Declarative Programming

APL Conference

ASM: Workshops on Abstract State Machines

COORDINATION: Coordination Models and Languages

DocEng: ACM Symposium on Document Engineering

DSV-IS: Design, Specification, and Verification of Interactive Systems

FMCAD: Formal Methods in Computer-Aided Design

FMLDO: Workshop on Foundations of Models and Languages for Data and Objects

IFL: Implementation of Functional Languages

ILP: International Workshop on Inductive Logic Programming

ISSTA: International Symposium on Software Testing and Analysis

ITC: International Test Conference

IWFM: Irish Workshop in Formal Methods

Java Grande

LP: Logic Programming: Japanese Conference

LPAR: Logic Programming and Automated Reasoning

LPE: Workshop on Logic Programming Environments

LPNMR: Logic Programming and Non-monotonic Reasoning

PJW: Workshop on Persistence and Java

RCLP: Russian Conference on Logic Programming

STEP: Software Technology and Engineering Practice

TestCom: IFIP International Conference on Testing of Communicating Systems

VL: Visual Languages

FMPPTA: Workshop on Formal Methods for Parallel Programming Theory and Applications

WRS: International Workshop on Reduction Strategies in Rewriting and Programming

FATES: A Satellite workshop on Formal Approaches to Testing of Software

FORMALWARE: Meeting on Formalware Engineering: Formal Methods for Engineering Software

DRE: conference Data Reverse Engineering

STAREAST: Software Testing Analysis & Review Conference

Conference on Applied Mathematics and Scientific Computing

International Testing Computer Software Conference

Linux Showcase & Conference

FLOPS: International Symposum on Functional and Logic Programming

GCSE: International Conference on Generative and Component-Based Software Engineering

JOSES: Java Optimization Strategies for Embedded Systems

AADEBUG: Automated and Algorithmic Debugging

AMAST: Algebraic Methodology and Software Technology

AREA: Algorithms and Theory

Rank 1:

STOC: ACM Symp on Theory of Computing

FOCS: IEEE Symp on Foundations of Computer Science

COLT: Computational Learning Theory

LICS: IEEE Symp on Logic in Computer Science

SCG: ACM Symp on Computational Geometry

SODA: ACM/SIAM Symp on Discrete Algorithms

SPAA: ACM Symp on Parallel Algorithms and Architectures

ISSAC: Intl. Symp on Symbolic and Algebraic Computation

CRYPTO: Advances in Cryptology

Rank 2:

EUROCRYPT: European Conf on Cryptography

CONCUR: International Conference on Concurrency Theory

ICALP: Intl Colloquium on Automata, Languages and Prog

STACS: Symp on Theoretical Aspects of Computer Science

CC: IEEE Symp on Computational Complexity

WADS: Workshop on Algorithms and Data Structures

MFCS: Mathematical Foundations of Computer Science

SWAT: Scandinavian Workshop on Algorithm Theory

ESA: European Symp on Algorithms

IPCO: MPS Conf on integer programming & comb optimization

LFCS: Logical Foundations of Computer Science

ALT: Algorithmic Learning Theory

EUROCOLT: European Conf on Learning Theory

DSIC: Int'l Symp om Distributed Computing (formally WDAG: Workshop on Distributed Algorithms)

ISTCS: Israel Symp on Theory of Computing and Systems

ISAAC: Intl Symp on Algorithms and Computation

FST&TCS: Foundations of S/W Tech & Theoretical CS

LATIN: Intl Symp on Latin American Theoretical Informatics

CADE: Conf on Automated Deduction

IEEEIT: IEEE Symposium on Information Theory

Asiacrypt

Rank 3:

MEGA: Methods Effectives en Geometrie Algebrique

ASIAN: Asian Computing Science Conf

CCCG: Canadian Conf on Computational Geometry

FCT: Fundamentals of Computation Theory

WG: Workshop on Graph Theory

CIAC: Italian Conf on Algorithms and Complexity

ICCI: Advances in Computing and Information

AWTI: Argentine Workshop on Theoretical Informatics

CATS: The Australian Theory Symp

COCOON: Annual Intl Computing and Combinatorics Conf

UMC: Unconventional Models of Computation

MCU: Universal Machines and Computations

GD: Graph Drawing

SIROCCO: Structural Info & Communication Complexity

ALEX: Algorithms and Experiments

ALG: ENGG Workshop on Algorithm Engineering

LPMA: Intl Workshop on Logic Programming and Multi-Agents

EWLR: European Workshop on Learning Robots

CITB: Complexity & info-theoretic approaches to biology

FTP: Intl Workshop on First-Order Theorem Proving (FTP)

CSL: Annual Conf on Computer Science Logic (CSL)

AAAAECC: Conf On Applied Algebra, Algebraic Algms & ECC

DMTCS: Intl Conf on Disc Math and TCS

JCDCG: Japan Conference on Discrete and Computational Geometry

Un-ranked:

Information Theory Workshop

CL: International Conference on Computational Logic

COSIT: Spatial Information Theory

ETAPS: European joint conference on Theory And Practice of Software

ICCS: International Conference on Conceptual Structures

ICISC: Information Security and Cryptology

PPSN: Parallel Problem Solving from Nature

SOFSEM: Conference on Current Trends in Theory and Practice of Informatics

TPHOLs: Theorem Proving in Higher Order Logics

WADT: Workshop on Algebraic Development Techniques

TERM: THEMATIC TERM: Semigroups, Algorithms, Automata and Languages

IMGTA: Italian Meeting on Game Theory and Applications

DLT: Developments in Language Theory

International Workshop on Discrete Algorithms and Methods for Mobile Computing and Communications

APPROX: Internationl Workshop on Approximation Algorithms for Combinatorial Optimization Problems

WAE: Workshop on Algorithm Engineering

CMFT: Computational Methods and Function Theory

AWOCA: Australasian Workshop on Combinatorial Algorithms

Fun with Algorithms Meeting

ICTCS: Italian Conference on Theoretical Computer Science

ComMaC: International Conference On Computational Mathematics

TLCA: Typed Lambda Calculus and Applications

DCAGRS: Workshop on Descriptional Complexity of Automata, Grammars and Related Structures

AREA: Biomedical

Rank 1:

RECOMB: Annual Intl Conf on Comp Molecular Biology

Rank 2:

AMIA: American Medical Informatics Annual Fall Symposium

DNA: Meeting on DNA Based Computers

WABI: Workshop on Algorithms in Bioinformatics

Rank 3:

MEDINFO: World Congress on Medical Informatics

International Conference on Sequences and their Applications

ECAIM: European Conf on AI in Medicine

APAMI: Asia Pacific Assoc for Medical Informatics Conf

INBS: IEEE Intl Symp on Intell. in Neural & Bio Systems

Un-ranked:

MCBC: Wses conf on Mathematics And Computers In Biology And Chemistry

KDDMBD - Knowledge Discovery and Data Mining in Biological Databases Meeting

AREA: Miscellaneous

Rank 1:

Rank 2:

CSCW: Conference on Computer Supported Cooperative Work (*)

Rank 3:

SAC: ACM/SIGAPP Symposium on Applied Computing

ICSC: Internal Computer Science Conference

ISCIS: Intl Symp on Computer and Information Sciences

ICSC2: International Computer Symposium Conference

ICCE: Intl Conf on Comps in Edu

WCC: World Computing Congress

PATAT: Practice and Theory of Automated Timetabling

Unranked:

ICCI: International Conference on Cognitive Informatics

APISIT: Asia Pacific International Symposium on Information Technology

CW: The International Conference on Cyberworlds

Workshop on Open Hypermedia Systems

Workshop on Middleware for Mobile Computing

International Working Conference on Distributed Applications and Interoperable Systems

ADL: Advances in Digital Libraries

ADT: Specification of Abstract Data Type Workshops

AVI: Working Conference on Advanced Visual Interfaces

DL: Digital Libraries

DLog: Description Logics

ECDL: European Conference on Digital Libraries

EDCC: European Dependable Computing Conference

FroCos: Frontiers of Combining Systems

FTCS: Symposium on Fault-Tolerant Computing

IFIP World Computer Congress

INTEROP: Interoperating Geographic Information Systems

IO: Information Outlook

IQ: MIT Conference on Information Quality

IUC: International Unicode Conference

IWMM: International Workshop on Memory Management

MD: IEEE Meta-Data Conference

Middleware

MLDM: Machine Learning and Data Mining in Pattern Recognition

POS: Workshop on Persistent Object Systems

SCCC: International Conference of the Chilean Computer Science Society

SPIRE: String Processing and Information Retrieval

TABLEAUX: Analytic Tableaux and Related Methods

TIME Workshops

TREC: Text REtrieval Conference

UIDIS: User Interfaces to Data Intensive Systems

VRML Conference

AFIPS: American Federation of Information Processing Societies

ACSC: Australasian Computer Science Conference

CMCS: Coalgebraic Methods in Computer Science

BCTCS: British Colloquium for Theoretical Computer Science

IJCAR: The International Joint Conference on Automated Reasoning

STRATEGIES: International Workshop on Strategies in Automated Deduction

UNIF: International Workshop on Unification

SOCO: Meeting on Soft Computing

ConCoord: International Workshop on Concurrency and Coordination

CIAA: International Conference on Implementation and Application of Automata

Workshop on Information Stucture, Discourse Structure and Discourse Semantics

RANDOM: International Workshop on Randomization and Approximation Techniques in Computer Science

WMC: Workshop on Membrane Computing

FI-CS: Fixed Points in Computer Science

DC Computer Science Conference

Workshop on Novel Approaches to Hard Discrete Optimization

NALAC: Numerical Analysis, Linear Algebra And Computations Conference

ICLSSC: International Conference on Large-Scale Scientific Computations

ISACA : Information Systems Audit and Control Association International Conference

ICOSAHOM: International Conference On Spectral And High Order Methods

AIP: International Conference on Applied Inverse Problems: Theoretical and Computational Aspects

ECCM: European Conference On Computational Mechanics

Scicade: Scientific Computing and Differential Equation

BMVC: British Machine Vision Conference

COMEP: Euroconference On Computational Mechanics And Engineering Practis

JCIS: Joint Conference on Information Sciences

CHP: Compilers for High Performance conference

SIAM Conference on Geometric Design and Computing

Not Encouraged:

International Multiconferences in Computer Science -- 14 joint int'l confs.

SCI: World Multi confs on systemics, sybernetics and informatics

SSGRR: International conf on Advances in Infrastructure for e-B, e-Edu and e-Science and e-Medicine

SSCCII: Symposium of Santa Caterina on Challenges in Internet and

Interdisciplinary research

IASTED conferences

CCCT: International Conference on Computer, Communication and Control Technologies

VIP Workshops on Advanced Web Engineering for E-Business

IPSI conference