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 DatabasesDEXA: Database and Expert System ApplicationsFODO: Intl Conf on Foundation on Data OrganizationEDBT: Extending DB TechnologyDOOD: Deductive and Object-Oriented DatabasesDASFAA: Database Systems for Advanced ApplicationsSSDBM: Intl Conf on Scientific and Statistical DB MgmtCoopIS - Conference on Cooperative Information SystemsER - Intl Conf on Conceptual Modeling (ER)
Rank 3:
COMAD: Intl Conf on Management of DataBNCOD: British National Conference on DatabasesADC: Australasian Database ConferenceADBIS: Symposium on Advances in DB and Information SystemsDaWaK - Data Warehousing and Knowledge DiscoveryRIDE WorkshopIFIP-DS: IFIP-DS ConferenceIFIP-DBSEC - IFIP Workshop on Database SecurityNGDB: Intl Symp on Next Generation DB Systems and AppsADTI: Intl Symp on Advanced DB Technologies and IntegrationFEWFDB: Far East Workshop on Future DB SystemsMDM - Int. Conf. on Mobile Data Access/Management (MDA/MDM)VDB - Visual Database SystemsIDEAS - International Database Engineering and Application Symposium
Others:
ARTDB - Active and Real-Time Database SystemsCODAS: Intl Symp on Cooperative DB Systems for Adv AppsDBPL - Workshop on Database Programming LanguagesEFIS/EFDBS - Engineering Federated Information (Database) SystemsKRDB - Knowledge Representation Meets DatabasesNDB - National Database Conference (China) NLDB - Applications of Natural Language to Data BasesFQAS - Flexible Query-Answering SystemsIDC(W) - International Database Conference (HK CS)RTDB - Workshop on Real-Time DatabasesSBBD: Brazilian Symposium on DatabasesWebDB - International Workshop on the Web and DatabasesWAIM: Interational Conference on Web Age Information ManagementDASWIS - Data Semantics in Web Information SystemsDMDW - Design and Management of Data WarehousesDOLAP - International Workshop on Data Warehousing and OLAPDMKD - Workshop on Research Issues in Data Mining and Knowledge DiscoveryKDEX - Knowledge and Data Engineering Exchange WorkshopNRDM - Workshop on Network-Related Data ManagementMobiDE - Workshop on Data Engineering for Wireless and Mobile AccessMDDS - Mobility in Databases and Distributed SystemsMEWS - Mining for Enhanced Web SearchTAKMA - Theory and Applications of Knowledge MAnagementWIDM: International Workshop on Web Information and Data ManagementW2GIS - International Workshop on Web and Wireless Geographical Information SystemsCDB - Constraint Databases and ApplicationsDTVE - Workshop on Database Technology for Virtual EnterprisesIWDOM - International Workshop on Distributed Object Management OODBS - Workshop on Object-Oriented Database SystemsPDIS: Parallel and Distributed Information Systems
AREA: Artificial Intelligence and Related Subjects
Rank 1:
AAAI: American Association for AI National ConferenceCVPR: IEEE Conf on Comp Vision and Pattern RecognitionIJCAI: Intl Joint Conf on AIICCV: Intl Conf on Computer VisionICML: Intl Conf on Machine LearningKDD: Knowledge Discovery and Data MiningKR: Intl Conf on Principles of KR & ReasoningNIPS: Neural Information Processing SystemsUAI: Conference on Uncertainty in AIAAMAS: 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 ACLAID: Intl Conf on AI in DesignAI-ED: World Conference on AI in EducationCAIP: Inttl Conf on Comp. Analysis of Images and PatternsCSSAC: Cognitive Science Society Annual ConferenceECCV: European Conference on Computer VisionEAI: European Conf on AIEML: European Conf on Machine LearningGECCO: Genetic and Evolutionary Computation Conference (used to be GP)IAAI: Innovative Applications in AIICIP: Intl Conf on Image ProcessingICNN/IJCNN: Intl (Joint) Conference on Neural NetworksICPR: Intl Conf on Pattern RecognitionICDAR: International Conference on Document Analysis and RecognitionICTAI: IEEE conference on Tools with AIAMAI: Artificial Intelligence and MathsDAS: International Workshop on Document Analysis SystemsWACV: IEEE Workshop on Apps of Computer VisionCOLING: International Conference on Computational Liguistics EMNLP: Empirical Methods in Natural Language ProcessingEACL: Annual Meeting of European Association Computational LingusticsCoNLL: Conference on Natural Language LearningDocEng: ACM Symposium on Document EngineeringIEEE/WIC International Joint Conf on Web Intelligence and Intelligent Agent TechnologyICDM - IEEE International Conference on Data Mining
Rank 3:
PRICAI: Pacific Rim Intl Conf on AIAAI: Australian National Conf on AIACCV: Asian Conference on Computer VisionAI*IA: Congress of the Italian Assoc for AIANNIE: Artificial Neural Networks in EngineeringANZIIS: Australian/NZ Conf on Intelligent Inf. SystemsCAIA: Conf on AI for ApplicationsCAAI: Canadian Artificial Intelligence ConferenceASADM: Chicago ASA Data Mining Conf: A Hard Look at DMEPIA: Portuguese Conference on Artificial IntelligenceFCKAML: French Conf on Know. Acquisition & Machine LearningICANN: International Conf on Artificial Neural NetworksICCB: International Conference on Case-Based ReasoningICGA: International Conference on Genetic AlgorithmsICONIP: Intl Conf on Neural Information ProcessingIEA/AIE: Intl Conf on Ind. & Eng. Apps of AI & Expert SysICMS: International Conference on Multiagent SystemsICPS: International conference on Planning SystemsIWANN: Intl Work-Conf on Art & Natural Neural NetworksPACES: Pacific Asian Conference on Expert SystemsSCAI: Scandinavian Conference on Artifical IntelligenceSPICIS: Singapore Intl Conf on Intelligent SystemPAKDD: Pacific-Asia Conf on Know. Discovery & Data MiningSMC: IEEE Intl Conf on Systems, Man and CyberneticsPAKDDM: Practical App of Knowledge Discovery & Data MiningWCNN: The World Congress on Neural NetworksWCES: World Congress on Expert SystemsASC: Intl Conf on AI and Soft ComputingPACLIC: Pacific Asia Conference on Language, Information and ComputationICCC: International Conference on Chinese ComputingICADL: International Conference on Asian Digital LibrariesRANLP: Recent Advances in Natural Language ProcessingNLPRS: Natural Language Pacific Rim SymposiumMeta-Heuristics International Conference
Rank 3:
ICRA: IEEE Intl Conf on Robotics and AutomationNNSP: Neural Networks for Signal ProcessingICASSP: IEEE Intl Conf on Acoustics, Speech and SPGCCCE: Global Chinese Conference on Computers in Education ICAI: Intl Conf on Artificial IntelligenceAEN: IASTED Intl Conf on AI, Exp Sys & Neural NetworksWMSCI: World Multiconfs on Sys, Cybernetics & InformaticsLREC: Language Resources and Evaluation ConferenceAIMSA: Artificial Intelligence: Methodology, Systems, ApplicationsAISC: Artificial Intelligence and Symbolic ComputationCIA: Cooperative Information AgentsInternational Conference on Computational Intelligence for Modelling, Control and AutomationPattern MatchingECAL: European Conference on Artificial LifeEKAW: Knowledge Acquisition, Modeling and ManagementEMMCVPR: Energy Minimization Methods in Computer Vision and Pattern RecognitionEuroGP: European Conference on Genetic ProgrammingFoIKS: Foundations of Information and Knowledge SystemsIAWTIC: International Conference on Intelligent Agents, Web Technologies and Internet CommerceICAIL: International Conference on Artificial Intelligence and LawSMIS: International Syposium on Methodologies for Intelligent SystemsIS&N: Intelligence and Services in NetworksJELIA: Logics in Artificial IntelligenceKI: German Conference on Artificial IntelligenceKRDB: Knowledge Representation Meets DatabasesMAAMAW: Modelling Autonomous Agents in a Multi-Agent WorldNC: ICSC Symposium on Neural ComputationPKDD: Principles of Data Mining and Knowledge DiscoverySBIA: Brazilian Symposium on Artificial IntelligenceScale-Space: Scale-Space Theories in Computer VisionXPS: Knowledge-Based SystemsI2CS: Innovative Internet Computing SystemsTARK: Theoretical Aspects of Rationality and Knowledge MeetingMKM: International Workshop on Mathematical Knowledge ManagementACIVS: International Conference on Advanced Concepts For Intelligent Vision SystemsATAL: Agent Theories, Architectures, and LanguagesLACL: 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 MachinesSUPER: ACM/IEEE Supercomputing ConferenceICS: Intl Conf on SupercomputingISSCC: IEEE Intl Solid-State Circuits ConfHCS: Hot Chips SympVLSI: IEEE Symp VLSI CircuitsCODES+ISSS: Intl Conf on Hardware/Software Codesign & System Synthesis DATE: IEEE/ACM Design, Automation & Test in Europe ConferenceFPL: Field-Programmable Logic and ApplicationsCASES: International Conference on Compilers, Architecture, and Synthesis for Embedded Systems
Rank 3:
ICA3PP: Algs and Archs for Parall ProcEuroMICRO: New Frontiers of Information TechnologyACS: Australian Supercomputing ConfISC: Information Security Conference
Unranked:
Advanced Research in VLSIInternational Symposium on System SynthesisInternational Symposium on Computer DesignInternational Symposium on Circuits and SystemsAsia Pacific Design Automation ConferenceInternational Symposium on Physical DesignInternational Conference on VLSI DesignCANPC: Communication, Architecture, and Applications for Network-Based Parallel ComputingCHARME: Conference on Correct Hardware Design and Verification MethodsCHES: Cryptographic Hardware and Embedded SystemsNDSS: Network and Distributed System Security SymposiumNOSA: Nordic Symposium on Software ArchitectureACAC: Australasian Computer Architecture ConferenceCSCC: WSES/IEEE world multiconference on Circuits, Systems, Communications & ComputersICN: IEEE International Conference on Networking Topology in Computer Science Conference
AREA: Applications and Media
Rank 1:
I3DG: ACM-SIGRAPH Interactive 3D GraphicsSIGGRAPH: ACM SIGGRAPH ConferenceACM-MM: ACM Multimedia ConferenceDCC: Data Compression ConfSIGMETRICS: ACM Conf on Meas. & Modelling of Comp SysSIGIR: ACM SIGIR Conf on Information RetrievalPECCS: IFIP Intl Conf on Perf Eval of Comp /& Comm SysWWW: World-Wide Web Conference
Rank 2:
IEEE VisualizationEUROGRAPH: European Graphics ConferenceCGI: Computer Graphics InternationalCANIM: Computer AnimationPG: Pacific GraphicsICME: Intl Conf on MMedia & ExpoNOSSDAV: Network and OS Support for Digital A/VPADS: ACM/IEEE/SCS Workshop on Parallel /& Dist SimulationWSC: Winter Simulation ConferenceASS: IEEE Annual Simulation SymposiumMASCOTS: Symp Model Analysis /& Sim of Comp /& Telecom SysPT: Perf Tools - Intl Conf on Model Tech /& Tools for CPENetStore: Network Storage SymposiumMMCN: ACM/SPIE Multimedia Computing and NetworkingJCDL: Joint Conference on Digital Libraries
Rank 3:
ACM-HPC: ACM Hypertext ConfMMM: Multimedia ModellingDSS: Distributed Simulation SymposiumSCSC: Summer Computer Simulation ConferenceWCSS: World Congress on Systems SimulationESS: European Simulation SymposiumESM: European Simulation MulticonferenceHPCN: High-Performance Computing and NetworkingGeometry Modeling and ProcessingWISEDS-RT: Distributed Simulation and Real-time ApplicationsIEEE Intl Wshop on Dist Int Simul and Real-Time ApplicationsECIR: European Colloquium on Information RetrievalEd-MediaIMSA: Intl Conf on Internet and MMedia Sys
Un-ranked:
DVAT: IS/&T/SPIE Conf on Dig Video Compression Alg /& TechMME: IEEE Intl Conf. on Multimedia in EducationICMSO: Intl Conf on Modelling, Simulation and OptimisationICMS: IASTED Intl Conf on Modelling and SimulationCOTIM: Conference on Telecommunications and Information MarketsDOA: International Symposium on Distributed Objects and ApplicationsECMAST: European Conference on Multimedia Applications, Services and TechniquesGIS: Workshop on Advances in Geographic Information SystemsIDA: Intelligent Data AnalysisIDMS: Interactive Distributed Multimedia Systems and Telecommunication ServicesIUI: Intelligent User InterfacesMIS: Workshop on Multimedia Information SystemsWECWIS: Workshop on Advanced Issues of E-Commerce and Web/based Information SystemsWIDM: Web Information and Data ManagementWOWMOM: Workshop on Wireless Mobile MultimediaWSCG: International Conference in Central Europe on Computer Graphics and VisualizationLDTA: Workshop on Language Descriptions, Tools and ApplicationsIPDPSWPIM: International Workshop on Parallel and Distributed Computing Issues in Wireless Networks and Mobile ComputingIWST: International Workshop on Scheduling and TelecommunicationsAPDCM: Workshop on Advances in Parallel and Distributed Computational ModelsCIMA: International ICSC Congress on Computational Intelligence: Methods and ApplicationsFLA: Fuzzy Logic and Applications MeetingICACSD: International Conference on Application of Concurrency to System DesignICATPN: International conference on application and theory of Petri netsAICCSA: ACS International Conference on Computer Systems and ApplicationsCAGD: International Symposium of Computer Aided Geometric DesignSpanish Symposium on Pattern Recognition and Image AnalysisInternational Workshop on Cluster Infrastructure for Web Server and E-Commerce ApplicationsWSES ISA: Information Science And Applications ConferenceCHT: International Symposium on Advances in Computational Heat TransferIMACS: International Conference on Applications of Computer AlgebraVIPromCom: International Symposium on Video Processing and Multimedia CommunicationsPDMPR: International Workshop on Parallel and Distributed Multimedia Processing & RetrievalInternational Symposium On Computational And Applied PdesPDCAT: International Conference on Parallel and Distributed Computing, Applications, and TechniquesBiennial Computational Techniques and Applications ConferenceSymposium on Advanced Computing in Financial MarketsWCCE: World Conference on Computers in EducationITCOM: SPIE's International Symposium on The Convergence of Information Technologies and CommunicationsConference on Commercial Applications for High-Performance ComputingMSA: Metacomputing Systems and Applications WorkshopWPMC : International Symposium on Wireless Personal Multimedia CommunicationsWSC: Online World Conference on Soft Computing in Industrial ApplicationsHERCMA: Hellenic European Research on Computer Mathematics and its ApplicationsPARA: Workshop on Applied Parallel ComputingInternational Computer Science Conference: Active Media TechnologyIW-MMDBMS - Int. Workshop on Multi-Media Data Base Management Systems
AREA: System Technology
Rank 1:
SIGCOMM: ACM Conf on Comm Architectures, Protocols & AppsINFOCOM: Annual Joint Conf IEEE Comp & Comm SocSPAA: Symp on Parallel Algms and ArchitecturePODC: ACM Symp on Principles of Distributed ComputingPPoPP: Principles and Practice of Parallel ProgrammingRTSS: Real Time Systems SympSOSP: ACM SIGOPS Symp on OS PrinciplesSOSDI: Usenix Symp on OS Design and Implementation CCS: ACM Conf on Comp and Communications SecurityIEEE Symposium on Security and PrivacyMOBICOM: ACM Intl Conf on Mobile Computing and NetworkingUSENIX Conf on Internet Tech and SysICNP: Intl Conf on Network ProtocolsPACT: Intl Conf on Parallel Arch and Compil TechRTAS: IEEE Real-Time and Embedded Technology and Applications SymposiumICDCS: IEEE Intl Conf on Distributed Comp Systems
Rank 2:
CC: Compiler ConstructionIPDPS: Intl Parallel and Dist Processing SympIC3N: Intl Conf on Comp Comm and NetworksICPP: Intl Conf on Parallel ProcessingSRDS: Symp on Reliable Distributed SystemsMPPOI: Massively Par Proc Using Opt InterconnsASAP: Intl Conf on Apps for Specific Array ProcessorsEuro-Par: European Conf. on Parallel ComputingFast Software EncryptionUsenix Security SymposiumEuropean Symposium on Research in Computer SecurityWCW: Web Caching WorkshopLCN: IEEE Annual Conference on Local Computer NetworksIPCCC: IEEE Intl Phoenix Conf on Comp & CommunicationsCCC: Cluster Computing ConferenceICC: Intl Conf on CommWCNC: IEEE Wireless Communications and Networking ConferenceCSFW: IEEE Computer Security Foundations Workshop
Rank 3:
MPCS: Intl. Conf. on Massively Parallel Computing SystemsGLOBECOM: Global CommICCC: Intl Conf on Comp CommunicationNOMS: IEEE Network Operations and Management SympCONPAR: Intl Conf on Vector and Parallel ProcessingVAPP: Vector and Parallel ProcessingICPADS: Intl Conf. on Parallel and Distributed SystemsPublic Key CryptosystemsAnnual Workshop on Selected Areas in CryptographyAustralasia Conference on Information Security and PrivacyInt. Conf on Inofrm and Comm. SecurityFinancial CryptographyWorkshop on Information HidingSmart Card Research and Advanced Application ConferenceICON: Intl Conf on NetworksNCC: Nat Conf CommIN: IEEE Intell Network WorkshopSoftcomm: Conf on Software in Tcomms and Comp NetworksINET: Internet Society ConfWorkshop on Security and Privacy in E-commerce
Un-ranked:
PARCO: Parallel ComputingSE: Intl Conf on Systems Engineering (**)PDSECA: workshop on Parallel and Distributed Scientific and Engineering Computing with ApplicationsCACS: Computer Audit, Control and Security ConferenceSREIS: Symposium on Requirements Engineering for Information SecuritySAFECOMP: International Conference on Computer Safety, Reliability and SecurityIREJVM: Workshop on Intermediate Representation Engineering for the Java Virtual MachineEC: ACM Conference on Electronic CommerceEWSPT: European Workshop on Software Process TechnologyHotOS: Workshop on Hot Topics in Operating SystemsHPTS: High Performance Transaction SystemsHybrid SystemsICEIS: International Conference on Enterprise Information SystemsIOPADS: I/O in Parallel and Distributed SystemsIRREGULAR: Workshop on Parallel Algorithms for Irregularly Structured ProblemsKiVS: Kommunikation in Verteilten SystemenLCR: Languages, Compilers, and Run-Time Systems for Scalable ComputersMCS: Multiple Classifier SystemsMSS: Symposium on Mass Storage SystemsNGITS: Next Generation Information Technologies and SystemsOOIS: Object Oriented Information SystemsSCM: System Configuration ManagementSecurity Protocols WorkshopSIGOPS European WorkshopSPDP: Symposium on Parallel and Distributed ProcessingTreDS: Trends in Distributed SystemsUSENIX Technical ConferenceVISUAL: Visual Information and Information SystemsFoDS: Foundations of Distributed Systems: Design and Verification of Protocols conferenceRV: Post-CAV Workshop on Runtime VerificationICAIS: International ICSC-NAISO Congress on Autonomous Intelligent SystemsITiCSE: Conference on Integrating Technology into Computer Science EducationCSCS: CyberSystems and Computer Science ConferenceAUIC: Australasian User Interface ConferenceITI: Meeting of Researchers in Computer Science, Information Systems Research & StatisticsEuropean Conference on Parallel ProcessingRODLICS: Wses International Conference on Robotics, Distance Learning & Intelligent Communication SystemsInternational Conference On Multimedia, Internet & Video TechnologiesPaCT: Parallel Computing Technologies workshopPPAM: International Conference on Parallel Processing and Applied MathematicsInternational Conference On Information Networks, Systems And TechnologiesAmiRE: Conference on Autonomous Minirobots for Research and EdutainmentDSN: The International Conference on Dependable Systems and NetworksIHW: Information Hiding WorkshopGTVMT: 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 LangsPLDI: ACM-SIGPLAN Symp on Prog Lang Design & ImplOOPSLA: OO Prog Systems, Langs and ApplicationsICFP: Intl Conf on Function ProgrammingJICSLP/ICLP/ILPS: (Joint) Intl Conf/Symp on Logic ProgICSE: Intl Conf on Software EngineeringFSE: ACM Conf on the Foundations of Software Engineering (inc: ESEC-FSE)FM/FME: Formal Methods, World Congress/EuropeCAV: Computer Aided Verification
Rank 2:
CP: Intl Conf on Principles & Practice of Constraint ProgTACAS: Tools and Algos for the Const and An of SystemsESOP: European Conf on ProgrammingICCL: IEEE Intl Conf on Computer LanguagesPEPM: Symp on Partial Evalutation and Prog ManipulationSAS: Static Analysis SymposiumRTA: Rewriting Techniques and ApplicationsIWSSD: Intl Workshop on S/W Spec & DesignCAiSE: Intl Conf on Advanced Info System EngineeringSSR: ACM SIGSOFT Working Conf on Software ReusabilitySEKE: Intl Conf on S/E and Knowledge EngineeringICSR: IEEE Intl Conf on Software ReuseASE: Automated Software Engineering ConferencePADL: Practical Aspects of Declarative LanguagesISRE: Requirements EngineeringICECCS: IEEE Intl Conf on Eng. of Complex Computer SystemsIEEE Intl Conf on Formal Engineering MethodsIntl Conf on Integrated Formal MethodsFOSSACS: Foundations of Software Science and Comp StructAPLAS: Asian Symposium on Programming Languages and SystemsMPC: Mathematics of Program Construction ECOOP: European Conference on Object-Oriented Programming ICSM: Intl. Conf on Software MaintenanceHASKELL - Haskell Workshop
Rank 3:
FASE: Fund Appr to Soft EngAPSEC: Asia-Pacific S/E ConfPAP/PACT: Practical Aspects of PROLOG/Constraint TechALP: Intl Conf on Algebraic and Logic ProgrammingPLILP: Prog, Lang Implentation & Logic ProgrammingLOPSTR: Intl Workshop on Logic Prog Synthesis & TransfICCC: Intl Conf on Compiler ConstructionCOMPSAC: Intl. Computer S/W and Applications ConfTAPSOFT: Intl Joint Conf on Theory & Pract of S/W DevWCRE: SIGSOFT Working Conf on Reverse EngineeringAQSDT: Symp on Assessment of Quality S/W Dev ToolsIFIP Intl Conf on Open Distributed ProcessingIntl Conf of Z UsersIFIP Joint Int'l Conference on Formal Description Techniques and Protocol Specification, Testing, And VerificationPSI (Ershov conference)UML: International Conference on the Unified Modeling Language
Un-ranked:
Australian Software Engineering ConferenceIEEE Int. W'shop on Object-oriented Real-time Dependable Sys. (WORDS)IEEE International Symposium on High Assurance Systems EngineeringThe Northern Formal Methods WorkshopsFormal Methods PacificInt. Workshop on Formal Methods for Industrial Critical SystemsJFPLC - International French Speaking Conference on Logic and Constraint ProgrammingL&L - Workshop on Logic and LearningSFP - Scottish Functional Programming WorkshopLCCS - International Workshop on Logic and Complexity in Computer ScienceVLFM - Visual Languages and Formal MethodsNASA LaRC Formal Methods WorkshopPASTE: Workshop on Program Analysis For Software Tools and EngineeringTLCA: Typed Lambda Calculus and ApplicationsFATES - A Satellite workshop on Formal Approaches to Testing of SoftwareWorkshop On Java For High-Performance ComputingDSLSE - Domain-Specific Languages for Software EngineeringFTJP - Workshop on Formal Techniques for Java ProgramsWFLP - International Workshop on Functional and (Constraint) Logic ProgrammingFOOL - International Workshop on Foundations of Object-Oriented LanguagesSREIS - Symposium on Requirements Engineering for Information SecurityHLPP - International workshop on High-level parallel programming and applicationsINAP - International Conference on Applications of PrologMPOOL - Workshop on Multiparadigm Programming with OO LanguagesPADO - Symposium on Programs as Data ObjectsTOOLS: Int'l Conf Technology of Object-Oriented Languages and SystemsAustralasian Conference on Parallel And Real-Time SystemsPASTE: Workshop on Program Analysis For Software Tools and EngineeringAvoCS: Workshop on Automated Verification of Critical SystemsSPIN: Workshop on Model Checking of SoftwareFemSys: Workshop on Formal Design of Safety Critical Embedded SystemsAda-EuropePPDP: Principles and Practice of Declarative ProgrammingAPL ConferenceASM: Workshops on Abstract State MachinesCOORDINATION: Coordination Models and LanguagesDocEng: ACM Symposium on Document EngineeringDSV-IS: Design, Specification, and Verification of Interactive SystemsFMCAD: Formal Methods in Computer-Aided DesignFMLDO: Workshop on Foundations of Models and Languages for Data and ObjectsIFL: Implementation of Functional LanguagesILP: International Workshop on Inductive Logic ProgrammingISSTA: International Symposium on Software Testing and AnalysisITC: International Test ConferenceIWFM: Irish Workshop in Formal MethodsJava GrandeLP: Logic Programming: Japanese ConferenceLPAR: Logic Programming and Automated ReasoningLPE: Workshop on Logic Programming EnvironmentsLPNMR: Logic Programming and Non-monotonic ReasoningPJW: Workshop on Persistence and JavaRCLP: Russian Conference on Logic ProgrammingSTEP: Software Technology and Engineering PracticeTestCom: IFIP International Conference on Testing of Communicating SystemsVL: Visual LanguagesFMPPTA: Workshop on Formal Methods for Parallel Programming Theory and ApplicationsWRS: International Workshop on Reduction Strategies in Rewriting and ProgrammingFATES: A Satellite workshop on Formal Approaches to Testing of SoftwareFORMALWARE: Meeting on Formalware Engineering: Formal Methods for Engineering SoftwareDRE: conference Data Reverse EngineeringSTAREAST: Software Testing Analysis & Review ConferenceConference on Applied Mathematics and Scientific ComputingInternational Testing Computer Software ConferenceLinux Showcase & ConferenceFLOPS: International Symposum on Functional and Logic ProgrammingGCSE: International Conference on Generative and Component-Based Software EngineeringJOSES: Java Optimization Strategies for Embedded SystemsAADEBUG: Automated and Algorithmic DebuggingAMAST: Algebraic Methodology and Software Technology
AREA: Algorithms and Theory
Rank 1:
STOC: ACM Symp on Theory of ComputingFOCS: IEEE Symp on Foundations of Computer ScienceCOLT: Computational Learning Theory LICS: IEEE Symp on Logic in Computer ScienceSCG: ACM Symp on Computational GeometrySODA: ACM/SIAM Symp on Discrete AlgorithmsSPAA: ACM Symp on Parallel Algorithms and ArchitecturesISSAC: Intl. Symp on Symbolic and Algebraic ComputationCRYPTO: Advances in Cryptology
Rank 2:
EUROCRYPT: European Conf on CryptographyCONCUR: International Conference on Concurrency TheoryICALP: Intl Colloquium on Automata, Languages and ProgSTACS: Symp on Theoretical Aspects of Computer ScienceCC: IEEE Symp on Computational Complexity WADS: Workshop on Algorithms and Data StructuresMFCS: Mathematical Foundations of Computer ScienceSWAT: Scandinavian Workshop on Algorithm Theory ESA: European Symp on AlgorithmsIPCO: MPS Conf on integer programming & comb optimizationLFCS: Logical Foundations of Computer ScienceALT: 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 SystemsISAAC: Intl Symp on Algorithms and ComputationFST&TCS: Foundations of S/W Tech & Theoretical CSLATIN: Intl Symp on Latin American Theoretical InformaticsCADE: Conf on Automated DeductionIEEEIT: IEEE Symposium on Information TheoryAsiacrypt
Rank 3:
MEGA: Methods Effectives en Geometrie AlgebriqueASIAN: Asian Computing Science ConfCCCG: Canadian Conf on Computational Geometry FCT: Fundamentals of Computation TheoryWG: Workshop on Graph Theory CIAC: Italian Conf on Algorithms and ComplexityICCI: Advances in Computing and InformationAWTI: Argentine Workshop on Theoretical InformaticsCATS: The Australian Theory SympCOCOON: Annual Intl Computing and Combinatorics ConfUMC: Unconventional Models of ComputationMCU: Universal Machines and Computations GD: Graph DrawingSIROCCO: Structural Info & Communication ComplexityALEX: Algorithms and Experiments ALG: ENGG Workshop on Algorithm EngineeringLPMA: Intl Workshop on Logic Programming and Multi-AgentsEWLR: 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 & ECCDMTCS: Intl Conf on Disc Math and TCSJCDCG: Japan Conference on Discrete and Computational Geometry
Un-ranked:
Information Theory WorkshopCL: International Conference on Computational LogicCOSIT: Spatial Information TheoryETAPS: European joint conference on Theory And Practice of SoftwareICCS: International Conference on Conceptual StructuresICISC: Information Security and CryptologyPPSN: Parallel Problem Solving from NatureSOFSEM: Conference on Current Trends in Theory and Practice of InformaticsTPHOLs: Theorem Proving in Higher Order LogicsWADT: Workshop on Algebraic Development TechniquesTERM: THEMATIC TERM: Semigroups, Algorithms, Automata and LanguagesIMGTA: Italian Meeting on Game Theory and ApplicationsDLT: Developments in Language TheoryInternational Workshop on Discrete Algorithms and Methods for Mobile Computing and CommunicationsAPPROX: International Workshop on Approximation Algorithms for Combinatorial Optimization ProblemsWAE: Workshop on Algorithm EngineeringCMFT: Computational Methods and Function TheoryAWOCA: Australasian Workshop on Combinatorial AlgorithmsFun with Algorithms MeetingICTCS: Italian Conference on Theoretical Computer ScienceComMaC: International Conference On Computational MathematicsTLCA: Typed Lambda Calculus and ApplicationsDCAGRS: 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 SymposiumDNA: Meeting on DNA Based ComputersWABI: Workshop on Algorithms in Bioinformatics
Rank 3:
MEDINFO: World Congress on Medical InformaticsInternational Conference on Sequences and their ApplicationsECAIM: European Conf on AI in MedicineAPAMI: Asia Pacific Assoc for Medical Informatics ConfINBS: IEEE Intl Symp on Intell. in Neural & Bio Systems
Un-ranked:
MCBC: Wses conf on Mathematics And Computers In Biology And ChemistryKDDMBD - 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 ComputingICSC: Internal Computer Science ConferenceISCIS: Intl Symp on Computer and Information SciencesICSC2: International Computer Symposium ConferenceICCE: Intl Conf on Comps in EduWCC: World Computing CongressPATAT: Practice and Theory of Automated Timetabling
Unranked:
ICCI: International Conference on Cognitive InformaticsAPISIT: Asia Pacific International Symposium on Information TechnologyCW: The International Conference on CyberworldsWorkshop on Open Hypermedia SystemsWorkshop on Middleware for Mobile ComputingInternational Working Conference on Distributed Applications and Interoperable SystemsADL: Advances in Digital LibrariesADT: Specification of Abstract Data Type WorkshopsAVI: Working Conference on Advanced Visual InterfacesDL: Digital LibrariesDLog: Description LogicsECDL: European Conference on Digital LibrariesEDCC: European Dependable Computing ConferenceFroCos: Frontiers of Combining SystemsFTCS: Symposium on Fault-Tolerant ComputingIFIP World Computer CongressINTEROP: Interoperating Geographic Information SystemsIO: Information OutlookIQ: MIT Conference on Information QualityIUC: International Unicode ConferenceIWMM: International Workshop on Memory ManagementMD: IEEE Meta-Data ConferenceMiddlewareMLDM: Machine Learning and Data Mining in Pattern RecognitionPOS: Workshop on Persistent Object SystemsSCCC: International Conference of the Chilean Computer Science SocietySPIRE: String Processing and Information RetrievalTABLEAUX: Analytic Tableaux and Related MethodsTIME WorkshopsTREC: Text REtrieval ConferenceUIDIS: User Interfaces to Data Intensive SystemsVRML ConferenceAFIPS: American Federation of Information Processing SocietiesACSC: Australasian Computer Science ConferenceCMCS: Coalgebraic Methods in Computer ScienceBCTCS: British Colloquium for Theoretical Computer ScienceIJCAR: The International Joint Conference on Automated ReasoningSTRATEGIES: International Workshop on Strategies in Automated DeductionUNIF: International Workshop on UnificationSOCO: Meeting on Soft ComputingConCoord: International Workshop on Concurrency and CoordinationCIAA: International Conference on Implementation and Application of AutomataWorkshop on Information Stucture, Discourse Structure and Discourse SemanticsRANDOM: International Workshop on Randomization and Approximation Techniques in Computer ScienceWMC: Workshop on Membrane ComputingFI-CS: Fixed Points in Computer ScienceDC Computer Science ConferenceWorkshop on Novel Approaches to Hard Discrete OptimizationNALAC: Numerical Analysis, Linear Algebra And Computations ConferenceICLSSC: International Conference on Large-Scale Scientific ComputationsISACA : Information Systems Audit and Control Association International ConferenceICOSAHOM: International Conference On Spectral And High Order MethodsAIP: International Conference on Applied Inverse Problems: Theoretical and Computational AspectsECCM: European Conference On Computational MechanicsScicade: Scientific Computing and Differential EquationBMVC: British Machine Vision ConferenceCOMEP: Euroconference On Computational Mechanics And Engineering PractisJCIS: Joint Conference on Information SciencesCHP: Compilers for High Performance conferenceSIAM Conference on Geometric Design and Computing
