Computer Science Conference Rankings

lynxherringAI and Robotics

Oct 18, 2013 (3 years and 7 months ago)

127 views

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 di
sregard 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: 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



CIKM: Intl. Conf on Information and Knowledge M
anagement



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 Mana
gement 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 Programmin
g 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 D
ata 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
-

The
ory 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 Re
lated 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 A
CL (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 Soc
iety 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 o
n 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 Euro
pean 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
Conferen
ce 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 System
s

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 Dis
covery & 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 Chine
se 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 a
nd 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 & Neura
l 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: Cooperati
ve 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 Minimizati
on 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 Artificia
l 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 Artificia
l 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 Knowledg
e 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 Ar
chitecture

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



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 Conferen
ce 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:

Adva
nced 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 D
istributed 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 Conferen
ce 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 In
ternational

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 Simula
tion 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 Lib
raries




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 Inform
ation 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: IAS
TED 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

G
IS: 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

WECWI
S: 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 C
oncurrency 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 Symposiu
m 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

I
nternational 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 Fi
nancial 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 Ap
plications

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

A
rchitectures, 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 System
s
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 fo
r 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 Networ
ks

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. o
n 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 Priv
acy 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

SREI
S: 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

IOPA
DS: 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 Class
ifier 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: Sympo
sium 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: Po
st
-
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: Austral
asian 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 Commun
ication
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 Netwo
rks, 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 Transformatio
n 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 Co
nf 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 A
ided 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

a
nd
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 C
onf 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 Sy
stems

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 Con
f 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 Techniq
ues 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 Dependabl
e 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 Me
thods 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

DSLS
E
-

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

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

Prog
ramming 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 an
d 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 Programmi
ng

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 Comput
er
-
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 Analys
is

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 S
oftware 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 The
ory 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 Algo
rithms 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: Unive
rsal 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 Wor
kshop 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 Th
eory 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
: T
heorem 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

Interna
tional 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 an
d 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 Biolo
gy

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
-

Kno
wledge 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 Th
eory of Automated Timetabling

Unranked:

ICCI: Internatio
nal 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 Wor
king 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 Sy
stems

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

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 Colloquiu
m 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 Randomizat
ion 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 Alg
ebra 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 Method
s

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:
E
uroconference

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