您的位置:首页 > 理论基础

计算机领域国际顶尖会议排名

2012-12-13 17:18 537 查看
转自:http://www.ntu.edu.sg/home/assourav/crank.htm

Computer Science Conference Rankings

DISCLAIMER:

The ranking of conferences are taken mostly from an informal external source. The detailed procedure behind the ranking is unknown to the author. These rankings
do not necessarily represent my personal view either.

There is a possibility that some of the rankings may not be accurate, may not reflect current status of the conferences accurately, may not be complete,
and there is no copyright. If you are looking for a scientifically accurate ranking please disregard this page. The author does not bear any responsibility if the ranking is inaccurate.

If you think this ranking offends you for some reason (e.g., you are not satisfied with the ranking of your conference), please just ignore the list. This
is not an OFFICIAL list. This is ONLY FOR REFERENCE.

Some conferences accept multiple categories of papers. The rankings below are for the most prestigious category of paper at a given conference. All other
categories should be treated as "unranked".

AREA: Databases


Rank 1:




       SIGMOD: ACM SIGMOD Conf on Management of Data

       PODS: ACM SIGMOD Conf on Principles of DB Systems

       VLDB: Very Large Data Bases

       ICDE: Intl Conf on Data Engineering


       CIKM: Intl. Conf on Information and Knowledge Management

       ICDT: Intl Conf on Database Theory



Rank 2:


SSD: Intl Symp on Large Spatial Databases

DEXA: Database and Expert System Applications

FODO: Intl Conf on Foundation on Data Organization

EDBT: Extending DB Technology

DOOD: Deductive and Object-Oriented Databases

DASFAA: Database Systems for Advanced Applications

SSDBM: Intl Conf on Scientific and Statistical DB Mgmt

CoopIS - Conference on Cooperative Information Systems

ER - Intl Conf on Conceptual Modeling (ER)


 

Rank 3:



COMAD: Intl Conf on Management of Data

BNCOD: British National Conference on Databases

ADC: Australasian Database Conference

ADBIS: Symposium on Advances in DB and Information Systems

DaWaK - Data Warehousing and Knowledge Discovery

RIDE Workshop

IFIP-DS: IFIP-DS Conference

IFIP-DBSEC - IFIP Workshop on Database Security

NGDB: Intl Symp on Next Generation DB Systems and Apps

ADTI: Intl Symp on Advanced DB Technologies and Integration

FEWFDB: Far East Workshop on Future DB Systems

MDM - Int. Conf. on Mobile Data Access/Management (MDA/MDM)

VDB - Visual Database Systems

IDEAS - International Database Engineering and Application Symposium


Others:



ARTDB - Active and Real-Time Database Systems

CODAS: Intl Symp on Cooperative DB Systems for Adv Apps

DBPL - Workshop on Database Programming Languages

EFIS/EFDBS - Engineering Federated Information (Database) Systems

KRDB - Knowledge Representation Meets Databases

NDB - National Database Conference (China) 

NLDB - Applications of Natural Language to Data Bases

FQAS - Flexible Query-Answering Systems

IDC(W) - International Database Conference (HK CS)

RTDB - Workshop on Real-Time Databases

SBBD: Brazilian Symposium on Databases

WebDB - International Workshop on the Web and Databases

WAIM: Interational Conference on Web Age Information Management

DASWIS - Data Semantics in Web Information Systems

DMDW - Design and Management of Data Warehouses

DOLAP - International Workshop on Data Warehousing and OLAP

DMKD - Workshop on Research Issues in Data Mining and Knowledge Discovery

KDEX - Knowledge and Data Engineering Exchange Workshop

NRDM - Workshop on Network-Related Data Management

MobiDE - Workshop on Data Engineering for Wireless and Mobile Access

MDDS - Mobility in Databases and Distributed Systems

MEWS - Mining for Enhanced Web Search

TAKMA - Theory and Applications of Knowledge MAnagement

WIDM: International Workshop on Web Information and Data Management

W2GIS - International Workshop on Web and Wireless Geographical Information Systems

CDB - Constraint Databases and Applications

DTVE - Workshop on Database Technology for Virtual Enterprises

IWDOM - International Workshop on Distributed Object Management 

OODBS - Workshop on Object-Oriented Database Systems

PDIS: Parallel and Distributed Information Systems 

 


AREA: Artificial Intelligence and Related Subjects



  Rank 1:

      


AAAI: American Association for AI National Conference

CVPR: IEEE Conf on Comp Vision and Pattern Recognition

IJCAI: Intl Joint Conf on AI

ICCV: Intl Conf on Computer Vision

ICML: Intl Conf on Machine Learning

KDD: Knowledge Discovery and Data Mining

KR: Intl Conf on Principles of KR & Reasoning

NIPS: Neural Information Processing Systems

UAI: Conference on Uncertainty in AI

AAMAS: Intl Conf on Autonomous Agents and Multi-Agent Systems (past: ICAA)

ACL: Annual Meeting of the ACL (Association of Computational Linguistics)


Rank 2:



 NAACL: North American Chapter of the ACL

AID: Intl Conf on AI in Design

AI-ED: World Conference on AI in Education

CAIP: Inttl Conf on Comp. Analysis of Images and Patterns

CSSAC: Cognitive Science Society Annual Conference

ECCV: European Conference on Computer Vision

EAI: European Conf on AI

EML: European Conf on Machine Learning

GECCO: Genetic and Evolutionary Computation Conference (used to be GP)

IAAI: Innovative Applications in AI

ICIP: Intl Conf on Image Processing

ICNN/IJCNN: Intl (Joint) Conference on Neural Networks

ICPR: Intl Conf on Pattern Recognition

ICDAR: International Conference on Document Analysis and Recognition

ICTAI: IEEE conference on Tools with AI

AMAI: Artificial Intelligence and Maths

DAS: International Workshop on Document Analysis Systems

WACV: IEEE Workshop on Apps of Computer Vision

COLING: International Conference on Computational Liguistics 

EMNLP: Empirical Methods in Natural Language Processing

EACL: Annual Meeting of European Association Computational Lingustics

CoNLL: Conference on Natural Language Learning

DocEng: ACM Symposium on Document Engineering

IEEE/WIC International Joint Conf on Web Intelligence and Intelligent Agent Technology

ICDM - IEEE International Conference on Data Mining

 




  Rank 3:




 PRICAI: Pacific Rim Intl Conf on AI

AAI: Australian National Conf on AI

ACCV: Asian Conference on Computer Vision

AI*IA: Congress of the Italian Assoc for AI

ANNIE: Artificial Neural Networks in Engineering

ANZIIS: Australian/NZ Conf on Intelligent Inf. Systems

CAIA: Conf on AI for Applications

CAAI: Canadian Artificial Intelligence Conference

ASADM: Chicago ASA Data Mining Conf: A Hard Look at DM

EPIA: Portuguese Conference on Artificial Intelligence

FCKAML: French Conf on Know. Acquisition & Machine Learning

ICANN: International Conf on Artificial Neural Networks

ICCB: International Conference on Case-Based Reasoning

ICGA: International Conference on Genetic Algorithms

ICONIP: Intl Conf on Neural Information Processing

IEA/AIE: Intl Conf on Ind. & Eng. Apps of AI & Expert Sys

ICMS: International Conference on Multiagent Systems

ICPS: International conference on Planning Systems

IWANN: Intl Work-Conf on Art & Natural Neural Networks

PACES: Pacific Asian Conference on Expert Systems

SCAI: Scandinavian Conference on Artifical Intelligence

SPICIS: Singapore Intl Conf on Intelligent System

PAKDD: Pacific-Asia Conf on Know. Discovery & Data Mining

SMC: IEEE Intl Conf on Systems, Man and Cybernetics

PAKDDM: Practical App of Knowledge Discovery & Data Mining

WCNN: The World Congress on Neural Networks

WCES: World Congress on Expert Systems

ASC: Intl Conf on AI and Soft Computing

PACLIC: Pacific Asia Conference on Language, Information and Computation

ICCC: International Conference on Chinese Computing

ICADL: International Conference on Asian Digital Libraries

RANLP: Recent Advances in Natural Language Processing

NLPRS: Natural Language Pacific Rim Symposium

Meta-Heuristics International Conference



Rank 3:


ICRA: IEEE Intl Conf on Robotics and Automation

NNSP: Neural Networks for Signal Processing

ICASSP: IEEE Intl Conf on Acoustics, Speech and SP

GCCCE: Global Chinese Conference on Computers in Education 

ICAI: Intl Conf on Artificial Intelligence

AEN: IASTED Intl Conf on AI, Exp Sys & Neural Networks

WMSCI: World Multiconfs on Sys, Cybernetics & Informatics

LREC: Language Resources and Evaluation Conference

AIMSA: Artificial Intelligence: Methodology, Systems, Applications

AISC: Artificial Intelligence and Symbolic Computation

CIA: Cooperative Information Agents

International Conference on Computational Intelligence for Modelling, Control and Automation

Pattern Matching

ECAL: European Conference on Artificial Life

EKAW: Knowledge Acquisition, Modeling and Management

EMMCVPR: Energy Minimization Methods in Computer Vision and Pattern Recognition

EuroGP: European Conference on Genetic Programming

FoIKS: Foundations of Information and Knowledge Systems

IAWTIC: International Conference on Intelligent Agents, Web Technologies and Internet Commerce

ICAIL: International Conference on Artificial Intelligence and Law

SMIS: International Syposium on Methodologies for Intelligent Systems

IS&N: Intelligence and Services in Networks

JELIA: Logics in Artificial Intelligence

KI: German Conference on Artificial Intelligence

KRDB: Knowledge Representation Meets Databases

MAAMAW: Modelling Autonomous Agents in a Multi-Agent World

NC: ICSC Symposium on Neural Computation

PKDD: Principles of Data Mining and Knowledge Discovery

SBIA: Brazilian Symposium on Artificial Intelligence

Scale-Space: Scale-Space Theories in Computer Vision

XPS: Knowledge-Based Systems

I2CS: Innovative Internet Computing Systems

TARK: Theoretical Aspects of Rationality and Knowledge Meeting

MKM: International Workshop on Mathematical Knowledge Management

ACIVS: International Conference on Advanced Concepts For Intelligent Vision Systems

ATAL: Agent Theories, Architectures, and Languages

LACL: International Conference on Logical Aspects of Computational Linguistics

      


AREA: Hardware and Architecture

Rank 1:



       ASPLOS: Architectural Support for Prog Lang and OS

       ISCA: ACM/IEEE Symp on Computer Architecture

       ICCAD: Intl Conf on Computer-Aided Design

       DAC: Design Automation Conf

       MICRO: Intl Symp on Microarchitecture

       HPCA: IEEE Symp on High-Perf Comp Architecture



Rank 2:


FCCM: IEEE Symposium on Field Programmable Custom Computing Machines

SUPER: ACM/IEEE Supercomputing Conference

ICS: Intl Conf on Supercomputing

ISSCC: IEEE Intl Solid-State Circuits Conf

HCS: Hot Chips Symp

VLSI: IEEE Symp VLSI Circuits

CODES+ISSS: Intl Conf on Hardware/Software Codesign & System Synthesis 

DATE: IEEE/ACM Design, Automation & Test in Europe Conference

FPL: Field-Programmable Logic and Applications

CASES: International Conference on Compilers, Architecture, and Synthesis for Embedded Systems



Rank 3:




ICA3PP: Algs and Archs for Parall Proc

EuroMICRO: New Frontiers of Information Technology

ACS: Australian Supercomputing Conf

ISC: Information Security Conference




  Unranked:


Advanced Research in VLSI

International Symposium on System Synthesis

International Symposium on Computer Design

International Symposium on Circuits and Systems

Asia Pacific Design Automation Conference

International Symposium on Physical Design

International Conference on VLSI Design

CANPC: Communication, Architecture, and Applications for Network-Based Parallel Computing

CHARME: Conference on Correct Hardware Design and Verification Methods

CHES: Cryptographic Hardware and Embedded Systems

NDSS: Network and Distributed System Security Symposium

NOSA: Nordic Symposium on Software Architecture

ACAC: Australasian Computer Architecture Conference

CSCC: WSES/IEEE world multiconference on Circuits, Systems, Communications & Computers

ICN: IEEE International Conference on Networking Topology in Computer Science Conference


 

AREA: Applications and Media


Rank 1:




I3DG: ACM-SIGRAPH Interactive 3D Graphics

SIGGRAPH: ACM SIGGRAPH Conference

ACM-MM: ACM Multimedia Conference

DCC: Data Compression Conf

SIGMETRICS: ACM Conf on Meas. & Modelling of Comp Sys

SIGIR: ACM SIGIR Conf on Information Retrieval

PECCS: IFIP Intl Conf on Perf Eval of Comp \& Comm Sys

WWW: World-Wide Web Conference



Rank 2:




IEEE Visualization

EUROGRAPH: European Graphics Conference

CGI: Computer Graphics International

CANIM: Computer Animation

PG: Pacific Graphics

ICME: Intl Conf on MMedia & Expo

NOSSDAV: Network and OS Support for Digital A/V

PADS: ACM/IEEE/SCS Workshop on Parallel \& Dist Simulation

WSC: Winter Simulation Conference

ASS: IEEE Annual Simulation Symposium

MASCOTS: Symp Model Analysis \& Sim of Comp \& Telecom Sys

PT: Perf Tools - Intl Conf on Model Tech \& Tools for CPE

NetStore: Network Storage Symposium

MMCN: ACM/SPIE Multimedia Computing and Networking

JCDL: Joint Conference on Digital Libraries




  Rank 3:




ACM-HPC: ACM Hypertext Conf

MMM: Multimedia Modelling

DSS: Distributed Simulation Symposium

SCSC: Summer Computer Simulation Conference

WCSS: World Congress on Systems Simulation

ESS: European Simulation Symposium

ESM: European Simulation Multiconference

HPCN: High-Performance Computing and Networking

Geometry Modeling and Processing

WISE

DS-RT: Distributed Simulation and Real-time Applications

IEEE Intl Wshop on Dist Int Simul and Real-Time Applications

ECIR: European Colloquium on Information Retrieval

Ed-Media

IMSA: Intl Conf on Internet and MMedia Sys


 Un-ranked:



 DVAT: IS\&T/SPIE Conf on Dig Video Compression Alg \& Tech

MME: IEEE Intl Conf. on Multimedia in Education

ICMSO: Intl Conf on Modelling, Simulation and Optimisation

ICMS: IASTED Intl Conf on Modelling and Simulation

COTIM: Conference on Telecommunications and Information Markets

DOA: International Symposium on Distributed Objects and Applications

ECMAST: European Conference on Multimedia Applications, Services and Techniques

GIS: Workshop on Advances in Geographic Information Systems

IDA: Intelligent Data Analysis

IDMS: Interactive Distributed Multimedia Systems and Telecommunication Services

IUI: Intelligent User Interfaces

MIS: Workshop on Multimedia Information Systems

WECWIS: Workshop on Advanced Issues of E-Commerce and Web/based Information Systems

WIDM: Web Information and Data Management

WOWMOM: Workshop on Wireless Mobile Multimedia

WSCG: International Conference in Central Europe on Computer Graphics and Visualization

LDTA: Workshop on Language Descriptions, Tools and Applications

IPDPSWPIM: International Workshop on Parallel and Distributed Computing Issues in Wireless Networks and Mobile Computing

IWST: International Workshop on Scheduling and Telecommunications

APDCM: Workshop on Advances in Parallel and Distributed Computational Models

CIMA: International ICSC Congress on Computational Intelligence: Methods and Applications

FLA: Fuzzy Logic and Applications Meeting

ICACSD: International Conference on Application of Concurrency to System Design

ICATPN: International conference on application and theory of Petri nets

AICCSA: ACS International Conference on Computer Systems and Applications

CAGD: International Symposium of Computer Aided Geometric Design

Spanish Symposium on Pattern Recognition and Image Analysis

International Workshop on Cluster Infrastructure for Web Server and E-Commerce Applications

WSES ISA: Information Science And Applications Conference

CHT: International Symposium on Advances in Computational Heat Transfer

IMACS: International Conference on Applications of Computer Algebra

VIPromCom: International Symposium on Video Processing and Multimedia Communications

PDMPR: International Workshop on Parallel and Distributed Multimedia Processing & Retrieval

International Symposium On Computational And Applied Pdes

PDCAT: International Conference on Parallel and Distributed Computing, Applications, and Techniques

Biennial Computational Techniques and Applications Conference

Symposium on Advanced Computing in Financial Markets

WCCE: World Conference on Computers in Education

ITCOM: SPIE's International Symposium on The Convergence of Information Technologies and Communications

Conference on Commercial Applications for High-Performance Computing

MSA: Metacomputing Systems and Applications Workshop

WPMC : International Symposium on Wireless Personal Multimedia Communications

WSC: Online World Conference on Soft Computing in Industrial Applications

HERCMA: Hellenic European Research on Computer Mathematics and its Applications

PARA: Workshop on Applied Parallel Computing

International Computer Science Conference: Active Media Technology

IW-MMDBMS - Int. Workshop on Multi-Media Data Base Management Systems


AREA: System Technology



  Rank 1:




SIGCOMM: ACM Conf on Comm Architectures, Protocols & Apps

INFOCOM: Annual Joint Conf IEEE Comp & Comm Soc

SPAA: Symp on Parallel Algms and Architecture

PODC: ACM Symp on Principles of Distributed Computing

PPoPP: Principles and Practice of Parallel Programming

RTSS: Real Time Systems Symp

SOSP: ACM SIGOPS Symp on OS Principles

SOSDI: Usenix Symp on OS Design and Implementation 

CCS: ACM Conf on Comp and Communications Security

IEEE Symposium on Security and Privacy

MOBICOM: ACM Intl Conf on Mobile Computing and Networking

USENIX Conf on Internet Tech and Sys

ICNP: Intl Conf on Network Protocols

PACT: Intl Conf on Parallel Arch and Compil Tech

RTAS: IEEE Real-Time and Embedded Technology and Applications Symposium

ICDCS: IEEE Intl Conf on Distributed Comp Systems

 


 Rank 2:



CC: Compiler Construction

IPDPS: Intl Parallel and Dist Processing Symp

IC3N: Intl Conf on Comp Comm and Networks

ICPP: Intl Conf on Parallel Processing

SRDS: Symp on Reliable Distributed Systems

MPPOI: Massively Par Proc Using Opt Interconns

ASAP: Intl Conf on Apps for Specific Array Processors

Euro-Par: European Conf. on Parallel Computing

Fast Software Encryption

Usenix Security Symposium

European Symposium on Research in Computer Security

WCW: Web Caching Workshop

LCN: IEEE Annual Conference on Local Computer Networks

IPCCC: IEEE Intl Phoenix Conf on Comp & Communications

CCC: Cluster Computing Conference

ICC: Intl Conf on Comm

WCNC: IEEE Wireless Communications and Networking Conference

CSFW: IEEE Computer Security Foundations Workshop




  Rank 3:




MPCS: Intl. Conf. on Massively Parallel Computing Systems

GLOBECOM: Global Comm

ICCC: Intl Conf on Comp Communication

NOMS: IEEE Network Operations and Management Symp

CONPAR: Intl Conf on Vector and Parallel Processing

VAPP: Vector and Parallel Processing

ICPADS: Intl Conf. on Parallel and Distributed Systems

Public Key Cryptosystems

Annual Workshop on Selected Areas in Cryptography

Australasia Conference on Information Security and Privacy

Int. Conf on Inofrm and Comm. Security

Financial Cryptography

Workshop on Information Hiding

Smart Card Research and Advanced Application Conference

ICON: Intl Conf on Networks

NCC: Nat Conf Comm

IN: IEEE Intell Network Workshop

Softcomm: Conf on Software in Tcomms and Comp Networks

INET: Internet Society Conf

Workshop on Security and Privacy in E-commerce



Un-ranked:




PARCO: Parallel Computing

SE: Intl Conf on Systems Engineering (**)

PDSECA: workshop on Parallel and Distributed Scientific and Engineering Computing with Applications

CACS: Computer Audit, Control and Security Conference

SREIS: Symposium on Requirements Engineering for Information Security

SAFECOMP: International Conference on Computer Safety, Reliability and Security

IREJVM: Workshop on Intermediate Representation Engineering for the Java Virtual Machine

EC: ACM Conference on Electronic Commerce

EWSPT: European Workshop on Software Process Technology

HotOS: Workshop on Hot Topics in Operating Systems

HPTS: High Performance Transaction Systems

Hybrid Systems

ICEIS: International Conference on Enterprise Information Systems

IOPADS: I/O in Parallel and Distributed Systems

IRREGULAR: Workshop on Parallel Algorithms for Irregularly Structured Problems

KiVS: Kommunikation in Verteilten Systemen

LCR: Languages, Compilers, and Run-Time Systems for Scalable Computers

MCS: Multiple Classifier Systems

MSS: Symposium on Mass Storage Systems

NGITS: Next Generation Information Technologies and Systems

OOIS: Object Oriented Information Systems

SCM: System Configuration Management

Security Protocols Workshop

SIGOPS European Workshop

SPDP: Symposium on Parallel and Distributed Processing

TreDS: Trends in Distributed Systems

USENIX Technical Conference

VISUAL: Visual Information and Information Systems

FoDS: Foundations of Distributed Systems: Design and Verification of Protocols conference

RV: Post-CAV Workshop on Runtime Verification

ICAIS: International ICSC-NAISO Congress on Autonomous Intelligent Systems

ITiCSE: Conference on Integrating Technology into Computer Science Education

CSCS: CyberSystems and Computer Science Conference

AUIC: Australasian User Interface Conference

ITI: Meeting of Researchers in Computer Science, Information Systems Research & Statistics

European Conference on Parallel Processing

RODLICS: Wses International Conference on Robotics, Distance Learning & Intelligent Communication Systems

International Conference On Multimedia, Internet & Video Technologies

PaCT: Parallel Computing Technologies workshop

PPAM: International Conference on Parallel Processing and Applied Mathematics

International Conference On Information Networks, Systems And Technologies

AmiRE: Conference on Autonomous Minirobots for Research and Edutainment

DSN: The International Conference on Dependable Systems and Networks

IHW: Information Hiding Workshop

GTVMT: International Workshop on Graph Transformation and Visual Modeling Techniques


AREA: Programming Languages and Software Engineering


Rank 1:




POPL: ACM-SIGACT Symp on Principles of Prog Langs

PLDI: ACM-SIGPLAN Symp on Prog Lang Design & Impl

OOPSLA: OO Prog Systems, Langs and Applications

ICFP: Intl Conf on Function Programming

JICSLP/ICLP/ILPS: (Joint) Intl Conf/Symp on Logic Prog

ICSE: Intl Conf on Software Engineering

FSE: ACM Conf on the Foundations of Software Engineering (inc: ESEC-FSE)

FM/FME: Formal Methods, World Congress/Europe

CAV: Computer Aided Verification 

  


Rank 2:



CP: Intl Conf on Principles & Practice of Constraint Prog

TACAS: Tools and Algos for the Const and An of Systems

ESOP: European Conf on Programming

ICCL: IEEE Intl Conf on Computer Languages

PEPM: Symp on Partial Evalutation and Prog Manipulation

SAS: Static Analysis Symposium

RTA: Rewriting Techniques and Applications

IWSSD: Intl Workshop on S/W Spec & Design

CAiSE: Intl Conf on Advanced Info System Engineering

SSR: ACM SIGSOFT Working Conf on Software Reusability

SEKE: Intl Conf on S/E and Knowledge Engineering

ICSR: IEEE Intl Conf on Software Reuse

ASE: Automated Software Engineering Conference

PADL: Practical Aspects of Declarative Languages

ISRE: Requirements Engineering

ICECCS: IEEE Intl Conf on Eng. of Complex Computer Systems

IEEE Intl Conf on Formal Engineering Methods

Intl Conf on Integrated Formal Methods

FOSSACS: Foundations of Software Science and Comp Struct

APLAS: Asian Symposium on Programming Languages and Systems

MPC: Mathematics of Program Construction 

ECOOP: European Conference on Object-Oriented Programming 

ICSM: Intl. Conf on Software Maintenance

HASKELL - Haskell Workshop



Rank 3:




  FASE: Fund Appr to Soft Eng

APSEC: Asia-Pacific S/E Conf

PAP/PACT: Practical Aspects of PROLOG/Constraint Tech

ALP: Intl Conf on Algebraic and Logic Programming

PLILP: Prog, Lang Implentation & Logic Programming

LOPSTR: Intl Workshop on Logic Prog Synthesis & Transf

ICCC: Intl Conf on Compiler Construction

COMPSAC: Intl. Computer S/W and Applications Conf

TAPSOFT: Intl Joint Conf on Theory & Pract of S/W Dev

WCRE: SIGSOFT Working Conf on Reverse Engineering

AQSDT: Symp on Assessment of Quality S/W Dev Tools

IFIP Intl Conf on Open Distributed Processing

Intl Conf of Z Users

IFIP Joint Int'l Conference on Formal Description Techniques and Protocol Specification, Testing, And Verification

PSI (Ershov conference)

UML: International Conference on the Unified Modeling Language


 

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

ISMB: International Conference on Intelligent Systems for 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
内容来自用户分享和网络整理,不保证内容的准确性,如有侵权内容,可联系管理员处理 点击这里给我发消息
标签:  processing