计算机会议DISC,【分享】计算机类国际会议

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 Conference on the Foundations of Software Engineering (inc: ESEC-FSE when held jointly)

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

ESEC: European Software Engineering Conf

IWSSD: Intl Workshop on S/W Spec & Design

CAiSE: Intl Conf on Advanced Info System Engineering

ITC: IEEE Intl Test Conf

IWCASE: Intl Workshop on Cumpter-Aided Software Eng

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

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

CSM: Conf on Software Maintenance

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

HASKELL - Haskell Workshop

LCCS - International Workshop on Logic and Complexity in Computer Science

VLFM - Visual Languages and Formal Methods

NASA LaRC Formal Methods Workshop

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

(1) Workshop On Java For High-Performance Computing

(1) DSLSE - Domain-Specific Languages for Software Engineering

(1) 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

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

PODC: ACM Symp on Principles of Distributed Computing

ISSAC: Intl. Symp on Symbolic and Algebraic Computation

CRYPTO: Advances in Cryptology

EUROCRYPT: European Conf on Cryptography

Rank 2:

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

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

RECOMB: Annual Intl Conf on Comp Molecular Biology

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

Un-ranked:

Information Theory Workshop

AREA: Data Bases

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

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

CIKM: Intl. Conf on Information and Knowledge Management

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)

ICDM - IEEE International Conference on Data Mining

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

KDDMBD - Knowledge Discovery and Data Mining in Biological Databases Meeting

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

(1) DASWIS - Data Semantics in Web Information Systems

(1) DMDW - Design and Management of Data Warehouses

(1) DOLAP - International Workshop on Data Warehousing and OLAP

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

(1) KDEX - Knowledge and Data Engineering Exchange Workshop

(1) NRDM - Workshop on Network-Related Data Management

(1) MobiDE - Workshop on Data Engineering for Wireless and Mobile Access

(1) MDDS - Mobility in Databases and Distributed Systems

(1) MEWS - Mining for Enhanced Web Search

(1) TAKMA - Theory and Applications of Knowledge MAnagement

(1) WIDM: International Workshop on Web Information and Data Management

(1) 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

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

• OODBS - Workshop on Object-Oriented Database Systems

• PDIS: Parallel and Distributed Information Systems

AREA: Miscellaneous

Rank 1:

Rank 2:

AMIA: American Medical Informatics Annual Fall Symposium

DNA: Meeting on DNA Based Computers

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

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

Ed-Media

WCC: World Computing Congress

PATAT: Practice and Theory of Automated Timetabling