查看: 5418|回复: 0

Computer Science Conference Rankings

发表于 2015-8-12 23:35:25 | 显示全部楼层 |阅读模式

Computer Science Conference Rankings
  • 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

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

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
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
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
IMSA: Intl Conf on Internet and MMedia Sys

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


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

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

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


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


使用道具 举报

您需要登录后才可以回帖 登录 | 立即注册


小黑屋|手机版|Archiver|Vision And Learning SEminar

GMT+8, 2022-12-1 04:11 , Processed in 0.018321 second(s), 20 queries .

Powered by Discuz! X3.4

Copyright © 2001-2020, Tencent Cloud.

快速回复 返回顶部 返回列表