List of computer science conferences
This is a list of academic conferences in computer science. Only established, well-known conferences are included; within each field, the conferences are ranked according to quality and impact. The ranking is approximate and non-authoritative.
General
Algorithms and theory
Conferences accepting a broad range of topics from theoretical computer science, including algorithms, data structures, computability, computational complexity, automata theory and formal languages:
- STOC – ACM Symposium on Theory of Computing[2][3][4][5][6][7][8][9][10][11][12][13]
- FOCS – IEEE Symposium on Foundations of Computer Science[2][5][7][8][9][10][11][12][13][14][15]
- ICALP – International Colloquium on Automata, Languages and Programming[2][5][7][10][12][16][17]
- STACS – Symposium on Theoretical Aspects of Computer Science[10][12][18]
- ISAAC – International Symposium on Algorithms and Computation[2][7][12][19]
- MFCS – International Symposium on Mathematical Foundations of Computer Science[2][10][12][20]
- FSTTCS – IARCS Conference on Foundations of Software Technology and Theoretical Computer Science[12][21]
- FCT – International Symposium on Fundamentals of Computation Theory[22]
- COCOON – International Computing and Combinatorics Conference[2][12][23]
- WoLLIC – Workshop on Logic, Language, Information and Computation[24][25]
- Petri Nets - International Conference on Applications and Theory of Petri Nets and Concurrency[citation needed]
Algorithms
Conferences whose topic is algorithms and data structures considered broadly, but that do not include other areas of theoretical computer science such as computational complexity theory:
- SODA – ACM–SIAM Symposium on Discrete Algorithms[2][5][7][8][12][26][27][28]
- ESA – European Symposium on Algorithms[2][7][12]
- WADS – Algorithms and Data Structures Symposium[2][7][12]
- formerly: "Workshop on Algorithms and Data Structures"
- formerly: "Scandinavian Workshop on Algorithm Theory"
Geometric algorithms
Conferences on computational geometry, graph drawing, and other application areas of geometric computing:
- SoCG – ACM Symposium on Computational Geometry[2][7][28][30][31]
- ACM GIS – ACM SIGSPATIAL International Conference on Advances in Geographic Information Systems[28]
- GD – International Symposium on Graph Drawing[2][32][33]
- IMR – International Meshing Roundtable[34]
- WAFR – Workshop on Algorithmic Foundations of Robotics[35]
- CCCG – Canadian Conference on Computational Geometry[7]
- EuroCG – European Workshop on Computational Geometry[7]
- Fall Workshop on Computational Geometry[7]
- Formerly ARO-MSI Workshop on Computational Geometry
Logic
- LICS – ACM–IEEE Symposium on Logic in Computer Science[2][4][36][37]
- RTA – International Conference on Rewriting Techniques and Applications
Other specialized subtopics
- formerly: "Structure in Complexity Theory Conference"
- formerly: WIA – "Workshop on Implementation of Automata"
- merger of: DCAGRS – "Descriptional Complexity of Automata, Grammars and Related Structures", FDSR – "Formal Descriptions and Software Reliability"
- DLT – International Conference on Developments in Language Theory
- IPCO – Integer Programming and Combinatorial Optimization, organized by the Mathematical Optimization Society
- ISSAC – International Symposium on Symbolic and Algebraic Computation[2][38]
Languages and software
Programming languages
Conferences on programming languages, programming language theory and compilers:
- POPL – ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages[2][39][40][41][42]
- PLDI – ACM SIGPLAN Conference on Programming Language Design and Implementation[2][39][42][43][44]
- formerly "SIGPLAN Symposium on Compiler Optimization" and "SIGPLAN Symposium on Compiler Construction"
- ESOP – ETAPS European Symposium on Programming[2][4][45]
- OOPSLA – ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications[2][39][42][46][47]
- ECOOP – AITO European Conference on Object-Oriented Programming[2][39][48][49]
- ICFP – ACM SIGPLAN International Conference on Functional Programming[2][4][42]
- merger of: FPCA – Functional Programming and Computer Architecture and LFP – LISP and Functional Programming
- a.k.a. JICSLP – "Joint International Conference and Symposium on Logic Programming"
- ISMM – ACM SIGPLAN International Symposium on Memory Management[2]
- FoSSaCS – ETAPS Foundations of Software Science and Computation Structures[51]
- CP – International Conference on Principles and Practice of Constraint Programming[2]
- CC – ETAPS International Conference on Compiler Construction[2]
- FLOPS – International Symposium on Functional and Logic Programming[2]
- HOPL – ACM SIGPLAN History of Programming Languages Conference[42]
- CGO – ACM SIGPLAN International Symposium on Code Generation and Optimization[2]
- Modularity – International Conference on Modularity
- a.k.a. AOSD – Aspect-Oriented Software Development[2][52][53]
Software engineering
Conferences on software engineering:
- ICSE – International Conference on Software Engineering[2][54][55]
- FSE – ACM SIGSOFT Symposium on the Foundations of Software Engineering[39]
- ICSM – International Conference on Software Maintenance[2]
- ASE – IEEE/ACM International Conference on Automated Software Engineering[2]
- MODELS – IEEE/ACM International Conference on Model Driven Engineering Languages and Systems[2]
- RE – IEEE International Requirements Engineering Conference[2]
- ICSR – International Conference on Software Reuse[2]
- TASE – International Symposium on Theoretical Aspects of Software Engineering[2][55]
- ISSTA – International Symposium on Software Testing and Analysis[2]
Formal methods
Conferences on formal methods in software engineering, including formal specification, formal verification, and static code analysis:
- CAV – Computer Aided Verification[2][39][56][57]
- FM – International Symposium on Formal Methods[2][55]
- formerly: FME – "Formal Methods Europe"
- FORTE – IFIP International Conference on Formal Techniques for Networked and Distributed Systems[2][55]
- formerly: "International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols", "International Conference on Formal Description Techniques"
- ICFEM – International Conference on Formal Engineering Methods[2][55]
- SAS – Static Analysis Symposium[2]
- formerly: WSA – "Workshop on Static Analysis"
Concurrent, distributed and parallel computing
Conferences on concurrent, distributed, and parallel computing, fault-tolerant systems, and dependable systems:
- PODC - ACM Symposium on Principles of Distributed Computing[2][8][11][13][58]
- ICDCS - IEEE International Conference on Distributed Computing Systems[2][8][59][60][61]
- SPAA - ACM Symposium on Parallelism in Algorithms and Architectures[2][8][11][60][61][62][63]
- PPoPP - ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming[2][39][60][64][65][66]
- DSN - International Conference on Dependable Systems and Networks[2]
- merger of: FTCS - "International Symposium on Fault-tolerant Computing", DCCA - "International Working Conference on Dependable Computing for Critical Applications
- ICAC - International Conference on Autonomic Computing[2]
- IPDPS - IEEE International Parallel and Distributed Processing Symposium[2][65][67]
- merger of: IPPS - "International Parallel Processing Symposium", SPDP - "Symposium on Parallel and Distributed Processing"
- formerly: WDAG - "Workshop on Distributed Algorithms on Graphs"
- formerly: "Symposium on Reliability in Distributed Software and Database Systems"
- PACT - International Conference on Parallel Architectures and Compilation Techniques[2][65]
- ICPP - International Conference on Parallel Processing[2][65][67]
- Euro-Par Conference[65]
- a.k.a. "European Conference on Parallel Processing", "European Conference on Parallel Computing"
- SIROCCO - International Colloquium on Structural Information and Communication Complexity[8][60][61]
- OPODIS - International Conference on Principles of Distributed Systems[8][60][61]
- IDCS - International Conference onInternet and Distributed Computing Systems
- ICPADS - IEEE International Conference on Parallel and Distributed Systems[65]
- Coordination - International Conference on Coordination Models and Languages[2]
- ICDCN - International Conference on Distributed Computing and Networking[60]
- DEBS - ACM International Conference on Distributed Event-Based Systems[68]
High-performance computing
Conferences on high-performance computing, cluster computing, and grid computing:
- SC - ACM/IEEE International Conference for High Performance Computing, Networking, Storage, and Analysis[2][67][69]
- a.k.a. "SUPER", "ACM/IEEE Conference on Supercomputing", "SC Conference"
- ICS - International Conference on Supercomputing[2][67][70]
- HPDC - International Symposium on High Performance Distributed Computing[2][71]
- CCGrid - IEEE/ACM International Conference on Cluster, Cloud, and Grid Computing[2]
- PPSC - SIAM Conference on Parallel Processing for Scientific Computing[67][72]
- CLUSTER - IEEE International Conference on Cluster Computing[2]
- formerly: IWCC - "IEEE International Workshop on Cluster Computing"
Operating systems
Conferences on operating systems, storage systems and middleware:
- SOSP - ACM Symposium on Operating Systems Principles[2][39][73][74][75]
- OSDI - USENIX Symposium on Operating Systems Design and Implementation[2][39][73][76][77]
- EuroSys - European Conference on Computer Systems[2]
- ATC - USENIX Annual Technical Conference[2][39][78][79]
- FAST - USENIX Conference on File and Storage Technologies[2][80]
- Middleware - ACM/IFIP/USENIX International Middleware Conference[2]
- HotOS - Workshop on Hot Topics in Operating Systems[39][81]
- NOSSDAV - International Workshop on Network and Operating Systems Support for Digital Audio and Video[2][39][82][83]
Computer architecture
Conferences on computer architecture:
- ASPLOS - International Conference on Architectural Support for Programming Languages and Operating Systems[2][39][84][85]
- ISCA - International Symposium on Computer Architecture[2][39][67][86][87]
- a.k.a. "Annual Symposium on Computer Architecture"
- MICRO - IEEE/ACM International Symposium on Microarchitecture[2][39][88]
- HPCA - International Symposium on High-Performance Computer Architecture[2][4][89][90]
Computer hardware
Conferences on computer hardware:
- ISPD - International Symposium on Physical Design[91]
- CHES - Cryptographic Hardware and Embedded Systems[91]
- ICCD - International Conference on Computer Design[91]
- ISLPED - International Symposium on Low Power Electronics and Design[2][91]
- FCCM - Field-Programmable Custom Computing Machines[91][92]
- FPGA - Symposium on Field Programmable Gate Arrays[2][91]
- ISSS - International Symposium on Systems Synthesis[91]
- CODES+ISSS - International Conference on Hardware Software Codesign[2][91]
- ARVLSI - Advanced Research in VLSI[91]
- ASAP - Application-Specific Systems, Architectures, and Processors[91]
- ISCAS - IEEE International Symposium on Circuits and Systems[91]
Real-time and embedded systems
Conferences on real-time systems and embedded systems:
- RTSS - IEEE Real-Time Systems Symposium[2][4][93]
- RTAS - IEEE Real-Time and Embedded Technology and Applications Symposium[2]
- LCTES - ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems[2][94]
- CASES - International Conference on Compilers, Architecture, and Synthesis for Embedded Systems[2][95][96]
- EMSOFT - International Conference on Embedded Software[2][97]
- ECRTS - Euromicro Conference on Real-Time Systems[2][98]
- SCOPES - International Workshop on Software and Compilers for Embedded Systems[2]
Computer-aided design
Conferences on computer-aided design and electronic design automation:
- DAC - Design Automation Conference[2][99][100]
- ICCAD - International Conference on Computer-Aided Design[2][101][102]
- DATE - Design, Automation, and Test in Europe[2]
- ASP-DAC - Asia and South Pacific Design Automation Conference
- ISPD - International Symposium on Physical Design[103]
Computer networking
Conferences on computer networking:
- SIGCOMM - ACM SIGCOMM Conference[2][39][104][105][106]
- NSDI - USENIX Symposium on Networked Systems Design and Implementation[107][108]
- SIGMETRICS - ACM SIGMETRICS Conference[2][4][104][109][110]
- a.k.a. "ACM Conference on Measurement and Modeling of Computer Systems"
- CoNEXT - ACM Conference on emerging Networking EXperiments and Technologies[2]
- INFOCOM - IEEE Conference on Computer Communications[2][104][111][112][113]
- IMC - USENIX/ACM Internet Measurement Conference[2]
- ICNP - IEEE International Conference on Network Protocols[2][114][115]
- IPTPS - International Workshop on Peer-To-Peer Systems[116]
- ICSOC - International Conference on Service Oriented Computing[117]
- IWQoS - IEEE International Workshop on Quality of Service[118]
- MASCOTS - IEEE/ACM International Symposium on Modelling, Analysis and Simulation of Computer and Telecommunication Systems[2]
- PAM - Passive and Active Measurement Conference[29][119]
- IM - IFIP/IEEE International Symposium on Integrated Network Management[2]
- Networking - IFIP International Conference on Networking[2]
- LCN - IEEE Conference on Local Computer Networks[2]
- ICC - IEEE International Conference on Communications[120]
- ISCC- IEEE Symposium on Computers and Communications [29]
- GlobeCom - IEEE Global Communications Conference[29]
- a.k.a. "Global Telecommunications Conference"
- ICCCN - IEEE Conference on Computer Communications and Networks[2]
- WINE - The Workshop on Internet & Network Economics
Wireless networks and mobile computing
Wireless networks and mobile computing, including ubiquitous and pervasive computing, wireless ad hoc networks and wireless sensor networks:
- MobiCom - ACM International Conference on Mobile Systems, Application and Services[2][39][104][113][121][122]
- MobiSys - ACM International Conference on Mobile Computing and Systems[2][39][104][113][121][122]
- SenSys - ACM Conference on Embedded Networked Sensor Systems[2][123][124]
- MobiHoc - ACM International Symposium on Mobile Ad Hoc Networking and Computing[2][113][125]
- IPSN - ACM/IEEE International Conference on Information Processing in Sensor Networks[2][123]
- Ubicomp - International Conference on Ubiquitous Computing[2][126]
- PerCom - IEEE International Conference on Pervasive Computing and Communications[2]
- HotMobile - International Workshop on Mobile Computing Systems and Applications[127][128]
- formerly: WMCSA
- SECON - Annual IEEE Communications Society Conference on Sensor, Mesh and Ad Hoc Communications and Networks[129]
- EWSN - European Conference on Wireless Sensor Networks[2][123]
- formerly: "European Workshop on Wireless Sensor Networks"
- ISWC - International Symposium on Wearable Computers[2][130]
- MobiQuitous - International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services[2]
- WoWMoM - IEEE International Symposium on a World of Wireless, Mobile and Multimedia Networks[2]
- formerly: "International Workshop on Wireless Mobile Multimed
- MASS - IEEE International Conference on Mobile Ad hoc and Sensor Systems[29]
- DCOSS - IEEE International Conference on Distributed Computing in Sensor Systems[29][131]
- MSWiM - ACM International Conference on Modeling, Analysis and Simulation of Wireless and Mobile Systems[2][132]
- WiOpt - International Symposium on Modeling and Optimization in Mobile, Ad Hoc, and Wireless Networks[29][133]
- IEEE RFID - IEEE IEEE International Conference on RFID[29]
Security and privacy
Conferences on computer security and privacy:
- Oakland - IEEE Symposium on Security and Privacy[2][134][135][136]
- USENIX Security Symposium[2][137]
- CCS - ACM Conference on Computer and Communications Security[2][39][134][138][139]
- NDSS - Network and Distributed System Security Symposium[2][140][141]
- DSN - International Conference on Dependable Systems and Networks[2][142][143]
- ACSAC - Annual Computer Security Applications Conference[144][145]
- CSF - Computer Security Foundations Symposium
- ESORICS - European Symposium on Research in Computer Security[2]
- RAID - International Symposium on Recent Advances in Intrusion Detection[148]
- ASIACCS - ACM Symposium on Information, Computer and Communications Security[29]
Cryptography
Cryptography conferences:
- CRYPTO - International Cryptology Conference[2][4][149][150]
- EUROCRYPT - International Conference on the Theory and Applications of Cryptographic Techniques[2][151][152]
- ACNS - Applied Cryptography and Network Security ("http://icsd.i2r.a-star.edu.sg/staff/jianying/acns_home/")
- TCC - Theory of Cryptography Conference[2]
- PKC - International Workshop on Practice and Theory in Public Key Cryptography[153]
- ASIACRYPT - International Conference on the Theory and Application of Cryptology and Information Security[2][154]
- FSE - Fast Software Encryption Workshop[155]
- RSA - RSA Conference
- ANTS - Algorithmic Number Theory Symposium
- CHES - Workshop on Cryptographic Hardware and Embedded Systems
- SECRYPT - International Conference on Security and Cryptography[156]
- INDOCRYPT - International Conference on Cryptology in India
Data management
Conferences on databases, information systems, information retrieval, data mining and the world wide web:
- a.k.a. "ACM SIGMOD International Conference on Management of Data"
- VLDB - International Conference on Very Large Data Bases[2][28][157][158][161][162]
- PODS - ACM Symposium on Principles of Database Systems[2][28][39][157][158][163][164]
- SIGIR - Annual International ACM SIGIR Conference[2][165][166][167][168]
- WWW - World Wide Web Conference[2][166][169][170][171]
- KDD - ACM SIGKDD Conference on Knowledge Discovery and Data Mining[2][4][158][172][173][174]
- ICDE - International Conference on Data Engineering[2][28][157][158][175][176]
- ISWC - International Semantic Web Conference[177][178][179]
- CIDR - Conference on Innovative Data Systems Research[2][180][181]
- ICDM - IEEE International Conference on Data Mining[2][172][180][182][183]
- ICDT - International Conference on Database Theory[2][157][158][184][185]
- EDBT - International Conference on Extending Database Technology[2][28][157][180][186][187]
- SDM - SIAM International Conference on Data Mining[2][180][188][189]
- CIKM - ACM Conference on Information and Knowledge Management[2][180][190][191]
- JCDL - ACM/IEEE Joint Conference on Digital Libraries
- ECIR - European Conference on Information Retrieval
- ER - International Conference on Conceptual Modeling[2]
- ICIS - International Conference on Information Systems[2][169][180]
- SSTD - Symposium on Spatial and Temporal Databases[2][28][192]
- formerly: SSD - "Symposium on Large Spatial Databases"
- WebDB - International Workshop on the Web and Databases[39][193]
- SSDBM - International Conference on Scientific and Statistical Database Management[2][180]
- CAiSE - Conference on Advanced Information Systems Engineering[2][180]
- ECIS - European Conference on Information Systems[2]
- PAKDD – The annual Pacific-Asia Conference on Knowledge Discovery and Data Mining[194]
Artificial intelligence
Conferences on artificial intelligence and machine learning:
- a.k.a. "National Conference of the American Association for Artificial Intelligence"
- ICML - International Conference on Machine Learning[2][9][39][196][197][198][199]
- NIPS - Conference on Neural Information Processing Systems[2][9][196][197][200][201]
- IJCAI - International Joint Conference on Artificial Intelligence[2][39][196][202][203][197]
- ISWC - International Semantic Web Conference[177][178][179]
- KR - International Conference on the Principles of Knowledge Representation and Reasoning[2][4][204]
- UAI - Uncertainty in Artificial Intelligence[2][196][197][205][206]
- AAMAS - International Conference on Autonomous Agents and Multiagent Systems[2][196][207][208]
- merger of: "International Conference on Autonomous Agents", ATAL - "Workshop on Agent Theories, Architectures, and Languages", ICMAS - "International Conference on Multiagent Systems"
- formerly: "Conference on Computational Learning Theory"
- merger of: COLT, EuroCOLT - "European Conference on Computational Learning Theory"
- ECML PKDD - European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases[2][197][211][212][213][214]
- merger of: ECML - "European Conference on Machine Learning", PKDD - "European Conference on Principles and Practice of Knowledge Discovery in Databases"
- formerly: EWSL - "European Working Session on Learning", PKDD - "European Symposium on Principles of Data Mining and Knowledge Discovery from Databases"
- merger of: AIPS - "Artificial Intelligence Planning Systems", ECP - "European Conference on Planning"
- ICANN - International Conference on Artificial Neural Networks[197][216]
- AISB - Annual Convention of The Society for the Study of Artificial Intelligence and Simulation of Behaviour[2][39]
- ECAI - European Conference on Artificial Intelligence[2]
- IWANN - International Work-Conference on Artificial Neural Networks[197][217]
- RuleML - RuleML Symposium[4]
- FOGA - Foundations of Genetic Algorithms[2]
Evolutionary computation
Conferences on Evolutionary computation.
- CEC - IEEE Congress on Evolutionary Computation[218]
- GECCO - Genetic and Evolutionary Computation Conference[218]
Automated reasoning
Conferences on automated reasoning:
- IJCAR - International Joint Conference on Automated Reasoning[2]
- CADE - Conference on Automated Deduction[2][219][220]
- TABLEAUX - International Conference on Automated Reasoning with Analytic Tableaux and Related Methods[2]
- LPAR - International Conference on Logic for Programming, Artificial Intelligence and Reasoning[2]
- RuleML - RuleML Symposium[4]
- WoLLIC - Workshop on Logic, Language, Information and Computation
Computer vision
Conferences on computer vision (including also image analysis) and pattern recognition:
- ICCV - International Conference on Computer Vision[2][4][221][222][223]
- CVPR - Conference on Computer Vision and Pattern Recognition[2][28][221][224][225]
- ECCV - European Conference on Computer Vision[2][4][226][227]
- BMVC - British Machine Vision Conference[228]
- ACCV - Asian Conference on Computer Vision[29][229]
- ICPR - International Conference on Pattern Recognition[28][230]
- CAIP - Computer Analysis of Images and Patterns[29]
- ISBI - International Symposium on Biomedical Imaging[231]
- SCIA - Scandinavian Conference on Image Analysis[232]
- GCPR - German Conference on Pattern Recognition("https://gcpr2017.dmi.unibas.ch")
- PSIVT - Pacific Rim Symposium on Image and Video Technology[29]
- SSIAI - IEEE Southwest Symposium on Image Analysis and Interpretation[233]
- WSCG - Conferences on Computer Graphics, Visualization and Computer Vision since 1992
Natural language processing
Conferences on computational linguistics and natural language processing:
- ACL - Annual Meeting of the Association for Computational Linguistics[2][231][234][235][236][237]
- EACL - Annual Conference of the European Chapter of the Association for Computational Linguistics[2][231][238][239]
- LREC - International Language Resources and Evaluation Conference
- CICLing - International Conference on Intelligent Text Processing and Computational Linguistics[5][231][240][241]
- COLING - International Conference on Computational Linguistics[2][231][236][242][243]
- EMNLP - Conference on Empirical Methods in Natural Language Processing
- IJCNLP - International Joint Conference on Natural Language Processing
- NAACL - Annual Conference of the North American Chapter of the Association for Computational Linguistics[2][231][244][245]
- NLDB - International Conference on Applications of Natural Language to Information Systems[246]
- TSD - Text, Speech and Dialogue[231][247]
Computer graphics
Conferences on computer graphics, image processing, and multimedia:
- SIGGRAPH - International Conference on Computer Graphics and Interactive Techniques[2][28][39][221][248][249]
- I3D - ACM SIGGRAPH Symposium on Interactive 3D Graphics and Games[2][39][221][250][251]
- a.k.a. SI3D, I3DG
- a.k.a. ACMMM - "ACM Multimedia Conference"
- DCC - Data Compression Conference[2][12][255]
- ICME - IEEE International Conference on Multimedia and Expo[256]
- a.k.a. ICMCS - "International Conference on Multimedia Computing and Systems"
- Vis - IEEE Visualization Conference[2][67][257][258]
- Eurographics - Annual Conference of the European Association for Computer Graphics[2]
- ACM SIGGRAPH/Eurographics Conference on Graphics Hardware[28][259]
- InfoVis - IEEE Information Visualization Conference[2][260]
- SCA - ACM SIGGRAPH/Eurographics Symposium on Computer Animation[261]
- ICIP - IEEE International Conference on Image Processing[262]
- GI - Graphics Interface[263]
- WSCG - Conferences on Computer Graphics, Visualization and Computer Vision since 1992
Human–computer interaction
Conferences on human–computer interaction and user interfaces:
- CHI - ACM Conference on Human Factors in Computing Systems[2][4][264][265]
- CSCW - Conference on Computer Supported Cooperative Work[2][266][267]
- UIST - ACM Symposium on User Interface Software and Technology[2][4][268][269]
- IUI - International Conference on Intelligent User Interfaces[2][270][271]
- GI - Graphics Interface[263]
- DIS - Designing Interactive Systems[272]
- INTERACT - IFIP Conference on Human-Computer Interaction[2]
- MobileHCI - Conference on Human-Computer Interaction with Mobile Devices and Services
- SIGDOC - ACM International Conference on Design of Communication
- VL/HCC - IEEE Symposium on Visual Languages and Human-Centric Computing[2]
- ASSETS - International ACM SIGACCESS Conference on Computers and Accessibility
- formerly: "International ACM Conference on Assistive Technologies"
Computational biology
Conferences on bioinformatics and computational biology:
- CIBB - International Meeting on Computational Intelligence Methods for Bioinformatics and Biostatistics[273][274][275][276][277]
- ISMB - Intelligent Systems for Molecular Biology[5][12][278][279][280]
- PSB - Pacific Symposium on Biocomputing[281][282][283]
- RECOMB - Research in Computational Molecular Biology[12][278][284][285]
- WABI - Workshop on Algorithms in Bioinformatics[286][287]
Education
Conferences on computer science education and electronic learning:
- SIGCSE - ACM Technical Symposium on Computer Science Education[2][288][289]
- ITiCSE - ACM-SIGCSE Annual Conference on Innovation and Technology in Computer Science Education[2][290][291]
- a.k.a. "Integrating Technology into Computer Science Education"
- ITS - International Conference on Intelligent Tutoring Systems[292][293][294]
- ICALT - International Conference on Advanced Learning Technologies[295]
- AIED - International Conference on Artificial Intelligence in Education[292]
- CSCL - International Conference on Computer Supported Collaborative Learning[2]
- FIE - IEEE International Conference on Frontiers in Education
See also
- List of computer science conference acronyms
- List of computer science journals
- List of publications in computer science
- Outline of computer science
Notes
- ^ Fich 1996.
- ^ a b c d e f g h i j k l m n o p q r s t u v w x y z aa ab ac ad ae af ag ah ai aj ak al am an ao ap aq ar as at au av aw ax ay az ba bb bc bd be bf bg bh bi bj bk bl bm bn bo bp bq br bs bt bu bv bw bx by bz ca cb cc cd ce cf cg ch ci cj ck cl cm cn co cp cq cr cs ct cu cv cw cx cy cz da db dc dd de df dg dh di dj dk dl dm dn do dp dq dr ds dt du dv dw dx dy dz ea eb ec ed ee ef eg eh ei ej ek el em en eo ep eq er es et eu ev ew ex ey ez fa fb fc fd fe ff fg fh fi fj fk fl fm fn fo fp fq fr fs ERA: rank A.
- ^ MSAS AT: rank 1.
- ^ a b c d e f g h i j k l m n o p q r CiteSeer, conferences in top 100.
- ^ a b c d e f Zaïane 2009, top tier conferences in other fields.
- ^ Arnetminer AT: rank 2.
- ^ a b c d e f g h i j k l Chazelle et al. 1996, Section 13.2.
- ^ a b c d e f g h i Georgiou & Shvartsman 2007, Section "Bibliographic notes" in "Preface".
- ^ a b c d e Goldman 1999, Section 30, p. 24.
- ^ a b c d e f Jiang, Li & Ravikumar 1999, Section 24, p. 22.
- ^ a b c d e Lynch 1996, Section 1.4, "Bibliographic notes".
- ^ a b c d Tel 2000, Section 1.3.3, "Research field".
- ^ MSAS AT: rank 2.
- ^ Arnetminer AT: rank 4.
- ^ MSAS AT: rank 5.
- ^ Arnetminer AT: rank 7.
- ^ MSAS AT: rank 10.
- ^ MSAS AT: rank 28.
- ^ MSAS AT: rank 14.
- ^ MSAS AT: rank 20.
- ^ MSAS AT: rank 34.
- ^ MSAS AT: rank 38.
- ^ Hodges 2008.
- ^ MSAS search WOLLIC: citation ratio: 122/109.
- ^ MSAS AT: rank 3.
- ^ Arnetminer AT: rank 3.
- ^ a b c d e f g h i j k l m Samet 2010, Section 6.8, p. 33.
- ^ a b c d e f g h i j k l ERA: rank B.
- ^ MSAS AT: rank 6.
- ^ Skiena 2008, Section 17, p. 562.
- ^ Mutzel & Eades 2002.
- ^ Skiena 2008, Section 15, p. 516.
- ^ Skiena 2008, Section 17.3, p. 575.
- ^ Overmars 1998.
- ^ MSAS AT: rank 4.
- ^ Arnetminer AT: rank 6.
- ^ MSAS SC: rank 1.
- ^ a b c d e f g h i j k l m n o p q r s t u v w x y z aa ab CiteSeer, conferences in top 50.
- ^ Arnetminer PL: rank 1.
- ^ MSAS SE: rank 1.
- ^ a b c d e Friedman, Wand & Haynes 2001, Appendix B, p. 359–360.
- ^ Arnetminer OS: rank 7. Arnetminer PL: rank 3.
- ^ MSAS SE: rank 2.
- ^ Arnetminer PL: rank 9.
- ^ Arnetminer PL: rank 5.
- ^ MSAS SE: rank 6.
- ^ Arnetminer PL: rank 7.
- ^ MSAS SE: rank 3.
- ^ MSAS SE: rank 10.
- ^ Arnetminer PL: rank 17.
- ^ MSAS PL: rank 2.
- ^ Arnetminer PL: rank 2.
- ^ MSAS SE: rank 8.
- ^ a b c d e Hinchey, Bowen & Rouff 2005, Section 2.6, p. 49–50.
- ^ Arnetminer PL: rank 6.
- ^ MSAS SE: rank 4.
- ^ MSAS DC: rank 2.
- ^ MSAS DC: rank 3.
- ^ a b c d e f g PODC mailing list.
- ^ a b c d e f Wattenhofer 2007.
- ^ MSAS DC: rank 7.
- ^ Arnetminer AT: rank 9.
- ^ MSAS DC: rank 1.
- ^ a b c d e f Zaïane 2009, top tier conferences in distributed and parallel computing.
- ^ Arnetminer OS: rank 10.
- ^ a b c d e f g Fosdick et al. 1996, Chapter 1, p. 13–14.
- ^ MSAS DC: rank 74.
- ^ MSAS DC: rank 4.
- ^ MSAS DC: rank 5.
- ^ MSAS DC: rank 8.
- ^ MSAS SC: rank 3.
- ^ a b Zaïane 2009, top tier conferences in operating systems and simulations.
- ^ Arnetminer OS: rank 2.
- ^ MSAS OS: rank 1.
- ^ Arnetminer OS: rank 1.
- ^ MSAS OS: rank 2.
- ^ Arnetminer HW: rank 1. Arnetminer OS: rank 5.
- ^ MSAS OS: rank 4.
- ^ Arnetminer OS: rank 8.
- ^ MSAS OS: rank 7.
- ^ Arnetminer MIV: rank 8.
- ^ MSAS N: rank 5. MSAS OS: rank 6.
- ^ Arnetminer HW: rank 2. Arnetminer OS: rank 6.
- ^ MSAS HW: rank 1. MSAS OS: rank 3.
- ^ Arnetminer HW: rank 4.
- ^ MSAS HW: rank 2.
- ^ MSAS HW: rank 3.
- ^ Arnetminer HW: rank 3. Arnetminer OS: rank 9.
- ^ MSAS HW: rank 5.
- ^ a b c d e f g h i j k MSAS HW
- ^ Arnetminer HW: rank 10.
- ^ MSAS RT: rank 1.
- ^ MSAS RT: rank 4.
- ^ Arnetminer HW: rank 7.
- ^ MSAS RT: rank 6.
- ^ MSAS RT: rank 7.
- ^ MSAS RT: rank 5.
- ^ Arnetminer HW: rank 5.
- ^ MSAS HW: rank 4.
- ^ Arnetminer HW: rank 8.
- ^ MSAS HW: rank 6.
- ^ Arnetminer HW: rank 6.
- ^ a b c d e Zaïane 2009, top tier conferences in networks, communications and performance.
- ^ Arnetminer N: rank 1.
- ^ MSAS N: rank 5.
- ^ Arnetminer N: rank 3. Arnetminer OS: rank 4.
- ^ MSAS search NSDI: citation ratio: 3510/174.
- ^ Arnetminer N: rank 7.
- ^ MSAS OS: rank 5.
- ^ Arnetminer N: rank 6.
- ^ MSAS N: rank 1.
- ^ a b c d Mishra 2008, Section 4.4.
- ^ Arnetminer N: rank 9.
- ^ MSAS N: rank 6.
- ^ Arnetminer OS: rank 3.
- ^ MSAS DB: rank 20.
- ^ MSAS search IWQOS: citation ratio: 2975/277.
- ^ MSAS search PAM: citation ratio: 963/145.
- ^ MSAS N: rank 3.
- ^ a b Arnetminer N: rank 2.
- ^ a b MSAS N: rank 2.
- ^ a b c Ilyas & Mahgoub 2004, Section 1.2.1.
- ^ Arnetminer N: rank 5.
- ^ MSAS N: rank 8.
- ^ MSAS HCI: rank 4.
- ^ Arnetminer N: rank 8.
- ^ MSAS N: rank 7.
- ^ MSAS search SECON: citation ratio: .
- ^ MSAS HCI: rank 7.
- ^ MSAS search DCOSS: citation ratio: .
- ^ MSAS S: rank 3.
- ^ MSAS search WIOPT: citation ratio: .
- ^ a b Zaïane 2009, top tier conferences in security and privacy.
- ^ Arnetminer SP: rank 7.
- ^ MSAS SP: rank 1.
- ^ Arnetminer SP: rank 2.
- ^ Arnetminer N: rank 4. Arnetminer SP: rank 1.
- ^ MSAS N: rank 4. MSAS SP: rank 4.
- ^ Arnetminer SP: rank 3.
- ^ MSAS SP: rank 6.
- ^ Arnetminer SP: rank 16.
- ^ MSAS SP: rank 11.
- ^ Arnetminer SP: rank 17.
- ^ MSAS SP: rank 12.
- ^ Arnetminer SP: rank 4.
- ^ MSAS SP: rank 5.
- ^ Arnetminer SP: rank 8.
- ^ Arnetminer AT: rank 1. Arnetminer SP: rank 5.
- ^ MSAS SP: rank 2.
- ^ Arnetminer AT: rank 8. Arnetminer SP: rank 10.
- ^ MSAS SP: rank 3.
- ^ Arnetminer SP: rank 9.
- ^ MSAS SP: rank 7.
- ^ MSAS SP: rank 10.
- ^ "SECRYPT".
- ^ a b c d e f Zaïane 2009, top tier conferences in databases.
- ^ a b c d e f CAIS DMM: rank A+.
- ^ Arnetminer DB: rank 1.
- ^ MSAS DB: rank 1.
- ^ Arnetminer DB: rank 3.
- ^ MSAS DB: rank 2.
- ^ Arnetminer DB: rank 2.
- ^ MSAS DB: rank 3.
- ^ Zaïane 2009, top tier conferences in information retrieval.
- ^ a b CAIS WIR: rank A+.
- ^ Arnetminer IR: rank 3.
- ^ MSAS IR: rank 1.
- ^ a b Zaïane 2009, top tier conferences in web and information systems.
- ^ Arnetminer IR: rank 1.
- ^ MSAS WWW: rank 1.
- ^ a b Zaïane 2009, top tier conferences in data mining.
- ^ Arnetminer AI: rank 2. Arnetminer DM: rank 1.
- ^ MSAS DM: rank 1.
- ^ Arnetminer DB: rank 4.
- ^ MSAS DB: rank 4.
- ^ a b MSAS SW: rank 2.
- ^ a b MSAS SWDB: rank 4.
- ^ a b Arnetminer SW: rank 2.
- ^ a b c d e f g h CAIS DMM: rank A.
- ^ Arnetminer DB: rank 6.
- ^ Arnetminer DM: rank 4.
- ^ MSAS DM: rank 4.
- ^ Arnetminer DB: rank 5.
- ^ MSAS DB: rank 5.
- ^ Arnetminer DB: rank 7.
- ^ MSAS DB: rank 6.
- ^ Arnetminer DM: rank 2.
- ^ MSAS DM: rank 5.
- ^ Arnetminer DB: rank 8. Arnetminer DM: rank 3.
- ^ MSAS DB: rank 9. MSAS IR: rank 4.
- ^ MSAS DB: rank 7.
- ^ MSAS DB: rank 10. MSAS WWW: rank 5.
- ^ [1] Microsoft top conferences in Data Mining, rank 9
- ^ MSAS AI: rank 2.
- ^ a b c d e f Zaïane 2009, top tier conferences in artificial intelligence.
- ^ a b c d e f g h Alpaydin 2004, Section 1.4.
- ^ Arnetminer AI: rank 6. Arnetminer ML: rank 2.
- ^ MSAS ML: rank 1.
- ^ Arnetminer ML: rank 142.
- ^ MSAS ML: rank 5.
- ^ MSAS AI: rank 3.
- ^ Arnetminer AI: rank 3.
- ^ MSAS AI: rank 4.
- ^ MSAS AI: rank 5. MSAS ML: rank 2.
- ^ Arnetminer AI: rank 10. Arnetminer ML: rank 3.
- ^ MSAS AI: rank 7.
- ^ Arnetminer AI: rank 9.
- ^ MSAS AT: rank 8. MSAS ML: rank 3.
- ^ Arnetminer AT: rank 5. Arnetminer ML: rank 1.
- ^ Arnetminer DM: rank 5.
- ^ Arnetminer ML: rank 5.
- ^ MSAS DM: rank 3.
- ^ MSAS ML: rank 4.
- ^ MSAS AI: rank 8.
- ^ Arnetminer ML: rank 807.
- ^ MSAS ML: rank 21.
- ^ a b "Conferences related to Evolutionary Algorithm". Microsoft Academic Search. Retrieved 22 January 2014.
- ^ MSAS AT: rank 9.
- ^ Arnetminer AT: rank 10.
- ^ a b c d Zaïane 2009, top tier conferences in graphics, vision and HCI.
- ^ Arnetminer AI: rank 5. Arnetminer MIV: rank 4.
- ^ MSAS V: rank 1.
- ^ Arnetminer AI: rank 4. Arnetminer MIV: rank 3.
- ^ MSAS V: rank 2.
- ^ Arnetminer AI: rank 7. Arnetminer MIV: rank 6.
- ^ MSAS V: rank 3.
- ^ MSAS V: rank 5.
- ^ MSAS V: rank 12.
- ^ MSAS ML: rank 10.
- ^ a b c d e f g Perfil-CC ranking: rank A.
- ^ MSAS MM: rank 26.
- ^ SSIAI.org
- ^ Arnetminer AI: rank 8. Arnetminer NLP: rank 1. Arnetminer PL: rank 10.
- ^ MSAS NL: rank 1.
- ^ a b Jurafsky & Martin 2009, p. 15–16, "Bibliographical and Historical Notes".
- ^ Zaïane 2009, top tier conferences in natural language processing.
- ^ Arnetminer NLP: rank 6.
- ^ MSAS NL: rank 5.
- ^ Arnetminer NLP: rank 8.
- ^ CiteSeer, conferences in top 300.
- ^ Arnetminer NLP: rank 2.
- ^ MSAS NL: rank 3.
- ^ Arnetminer NLP: rank 3.
- ^ MSAS NL: rank 4.
- ^ Arnetminer NLP: rank 7.
- ^ CiteSeer, conferences in top 200.
- ^ Arnetminer MIV: rank 1.
- ^ MSAS G: rank 1.
- ^ Arnetminer MIV: rank 2.
- ^ MSAS G: rank 2.
- ^ Zaïane 2009, top tier conferences in multimedia.
- ^ Arnetminer MIV: rank 10.
- ^ MSAS MM: rank 2.
- ^ MSAS MM: rank 4.
- ^ MSAS MM: rank 5.
- ^ Arnetminer MIV: rank 7.
- ^ MSAS G: rank 3.
- ^ MSAS G: rank 9.
- ^ MSAS G: rank 7.
- ^ Arnetminer MIV: rank 5.
- ^ MSAS MM: rank 3.
- ^ a b MSAS G: rank 5.
- ^ Arnetminer HCI: rank 5.
- ^ MSAS HCI: rank 2.
- ^ Arnetminer HCI: rank 3.
- ^ MSAS HCI: rank 1.
- ^ Arnetminer HCI: rank 1.
- ^ MSAS HCI: rank 3.
- ^ Arnetminer HCI: rank 4.
- ^ MSAS HCI: rank 8.
- ^ MSAS HCI: rank 10.
- ^ Springer Lecture Notes in Bioinformatics published proceedings book of CIBB 2011
- ^ Springer Lecture Notes in Bioinformatics published proceedings book of CIBB 2012
- ^ Springer Lecture Notes in Bioinformatics published proceedings book of CIBB 2013
- ^ BMC Bioinformatics CIBB 2010 Supplement: new trends from the CIBB conference series
- ^ CIBB 2015 official website
- ^ a b CAIS SC: rank A+.
- ^ Arnetminer BI: rank 2.
- ^ MSAS BI: rank 1.
- ^ CAIS SC: rank A.
- ^ Arnetminer BI: rank 3.
- ^ MSAS BI: rank 3.
- ^ Arnetminer BI: rank 1.
- ^ MSAS BI: rank 2.
- ^ Arnetminer BI: rank 4.
- ^ MSAS BI: rank 5.
- ^ Arnetminer E: rank 4.
- ^ MSAS E: rank 1.
- ^ Arnetminer E: rank 1.
- ^ MSAS E: rank 3.
- ^ a b Zaïane 2009, top tier conferences in computer education.
- ^ Arnetminer E: rank 2.
- ^ MSAS E: rank 2.
- ^ MSAS E: rank 7.
References
- Rankings and statistics
- Arnetminer AI = "2008 conference/journal ranking list: AI". Arnetminer. Retrieved 2009-11-01.
- Arnetminer AT = "2008 conference/journal ranking list: Algorithm & theory". Arnetminer. Retrieved 2009-11-01.
- Arnetminer BI = "2008 conference/journal ranking list: Bioinformatics". Arnetminer. Retrieved 2009-11-01.
- Arnetminer DB = "2008 conference/journal ranking list: Databases". Arnetminer. Retrieved 2009-11-01.
- Arnetminer DM = "2008 conference/journal ranking list: DM". Arnetminer. Retrieved 2009-11-01.
- Arnetminer E = "2008 conference/journal ranking list: Education". Arnetminer. Retrieved 2009-11-01.
- Arnetminer HCI = "2008 conference/journal ranking list: HCI". Arnetminer. Retrieved 2009-11-01.
- Arnetminer HW = "2008 conference/journal ranking list: Hardware". Arnetminer. Retrieved 2009-11-01.
- Arnetminer IR = "2008 conference/journal ranking list: WWW, IR". Arnetminer. Retrieved 2009-11-01.
- Arnetminer MIV = "2008 conference/journal ranking list: Multimedia, image, video". Arnetminer. Retrieved 2009-11-01.
- Arnetminer ML = "2008 conference/journal ranking list: ML & PR". Arnetminer. Retrieved 2009-11-01.
- Arnetminer N = "2008 conference/journal ranking list: Network". Arnetminer. Retrieved 2009-11-01.
- Arnetminer NLP = "2008 conference/journal ranking list: NLP". Arnetminer. Retrieved 2009-11-01.
- Arnetminer OS = "2008 conference/journal ranking list: OS". Arnetminer. Retrieved 2009-11-01.
- Arnetminer PL = "2008 conference/journal ranking list: PL, SE". Arnetminer. Retrieved 2009-11-01.
- Arnetminer SP = "2008 conference/journal ranking list: Security, privacy". Arnetminer. Retrieved 2009-11-01.
- Arnetminer SW = "2008 conference/journal ranking list: SW,Logic". Arnetminer. Retrieved 2009-11-01.
- CAIS DMM = "Conference listing: Data management & mining". Nanyang Technological University, School of Computer Engineering, Centre for Advanced Information Systems. Retrieved 2009-10-31.
- CAIS WIR = "Conference listing: Web technology & IR". Nanyang Technological University, School of Computer Engineering, Centre for Advanced Information Systems. Retrieved 2009-10-31.
- CAIS SC = "Conference listing: Computing in sciences". Nanyang Technological University, School of Computer Engineering, Centre for Advanced Information Systems. Retrieved 2009-10-31.
- CiteSeer = "Estimated venue impact factors". CiteSeer. 2007.
- ERA = "ERA 2010 ranked conference list". Australian Research Council. 2010. Retrieved 2010-01-20.
- MSAS = "Microsoft Academic Search". Microsoft Academic Search. Retrieved 2009-10-28.
- MSAS AI = "Top-ranked conferences in "artificial intelligence"". Microsoft Academic Search. Retrieved 2009-10-28.
- MSAS AT = "Top-ranked conferences in "algorithms and theory"". Microsoft Academic Search. Retrieved 2013-07-12.
- MSAS BI = "Top-ranked conferences in "bioinformatics and computational biology"". Microsoft Academic Search. Retrieved 2009-11-01.
- MSAS DB = "Top-ranked conferences in "database"". Microsoft Academic Search. Retrieved 2009-11-01.
- MSAS DC = "Top-ranked conferences in "distributed and parallel computing"". Microsoft Academic Search. Retrieved 2009-10-27.
- MSAS DM = "Top-ranked conferences in "data mining"". Microsoft Academic Search. Retrieved 2009-11-01.
- MSAS E = "Top-ranked conferences in "computer education"". Microsoft Academic Search. Retrieved 2009-11-01.
- MSAS G = "Top-ranked conferences in "graphics"". Microsoft Academic Search. Retrieved 2009-11-01.
- MSAS HCI = "Top-ranked conferences in "human-computer interaction"". Microsoft Academic Search. Retrieved 2009-11-02.
- MSAS HW = "Top-ranked conferences in "hardware and architecture"". Microsoft Academic Search. Retrieved 2009-11-02.
- MSAS IR = "Top-ranked conferences in "information retrieval"". Microsoft Academic Search. Retrieved 2009-11-02.
- MSAS ML = "Top-ranked conferences in "machine learning & pattern recognition"". Microsoft Academic Search. Retrieved 2009-11-02.
- MSAS MM = "Top-ranked conferences in "multimedia"". Microsoft Academic Search. Retrieved 2009-11-02.
- MSAS N = "Top-ranked conferences in "networks and communications"". Microsoft Academic Search. Retrieved 2009-11-02.
- MSAS NL = "Top-ranked conferences in "natural language & speech"". Microsoft Academic Search. Retrieved 2009-11-02.
- MSAS OS = "Top-ranked conferences in "operating systems"". Microsoft Academic Search. Retrieved 2009-11-02.
- MSAS PL = "Top-ranked conferences in "programming languages" in the last 10 years". Microsoft Academic Search. Retrieved 2011-01-05.
- MSAS RT = "Top-ranked conferences in "real-time and embedded systems"". Microsoft Academic Search. Retrieved 2009-11-02.
- MSAS SC = "Top-ranked conferences in "scientific computing"". Microsoft Academic Search. Retrieved 2009-11-02.
- MSAS SE = "Top-ranked conferences in "software engineering & programming languages"". Microsoft Academic Search. Retrieved 2009-11-02.
- MSAS SP = "Top-ranked conferences in "security and privacy"". Microsoft Academic Search. Retrieved 2009-11-02.
- MSAS S = "Top-ranked conferences in "simulation"". Microsoft Academic Search. Retrieved 2009-11-02.
- MSAS V = "Top-ranked conferences in "computer vision"". Microsoft Academic Search. Retrieved 2009-11-01.
- MSAS WWW = "Top-ranked conferences in "world wide web"". Microsoft Academic Search. Retrieved 2009-11-02.
- MSAS SW = "Top-ranked conferences in "world wide web"". Microsoft Academic Search. Retrieved 2012-08-10.
- MSAS SWDB = "Top-ranked conferences in "world wide web"". Microsoft Academic Search. Retrieved 2012-08-10.
- Perfil-CC = "Assessing the quality of scientific conferences based on bibliographic citations". Waister Silva Martins, Marcos André Gonçalves, Alberto H. F. Laender and Nivio Ziviani. Retrieved 2012-06-01.
- Wattenhofer, Roger (2007). "PODC 2007 statistics" (PDF). Retrieved 2009-11-02.
{{cite web}}
: Invalid|ref=harv
(help) - Zaïane, Osmar R. (August 5, 2009). "Computer science conference rankings". Retrieved 2009-10-31.
{{cite web}}
: Invalid|ref=harv
(help)
- Textbooks that mention conferences
- Alpaydin, Ethem (2004). Introduction to Machine Learning. MIT Press. ISBN 978-0-262-01211-9.
{{cite book}}
: Invalid|ref=harv
(help). - Fosdick, Lloyd D.; Jessup, Elizabeth R.; Schauble, Carolyn J. C.; Domik, Gitta (1996). An Introduction to High-performance Scientific Computing. MIT Press. ISBN 0-262-06181-3.
{{cite book}}
: Invalid|ref=harv
(help). - Friedman, Daniel P.; Wand, Mitchell; Haynes, Christopher Thomas (2001). Essentials of Programming Languages (2nd ed.). MIT Press. ISBN 0-262-06217-8.
{{cite book}}
: Invalid|ref=harv
(help). - Georgiou, Chryssis; Shvartsman, Alexander A. (2007). Do-All Computing in Distributed Systems: Cooperation in the Presence of Adversity. Springer. ISBN 978-0-387-30918-7.
{{cite book}}
: Invalid|ref=harv
(help). - Ilyas, Mohammad; Mahgoub, Imad (2004). Handbook of Sensor Networks: Compact Wireless and Wired Sensing Systems. CRC Press. ISBN 978-0-8493-1968-6.
{{cite book}}
: Invalid|ref=harv
(help). - Jurafsky, Daniel; Martin, James H. (2009). Speech and Language Processing: An Introduction to Natural Language Processing, Computational Linguistics, and Speech Recognition (2nd ed.). Pearson Education. ISBN 978-0-13-187321-6.
{{cite book}}
: Invalid|ref=harv
(help). - Lynch, Nancy Ann (1996). Distributed Algorithms. Morgan Kaufmann. ISBN 978-1-55860-348-6.
{{cite book}}
: Invalid|ref=harv
(help). - Mishra, Amitabh (2008). Security and Quality of Service in Ad Hoc Wireless Networks. Cambridge University Press. ISBN 978-0-521-87824-1.
{{cite book}}
: Invalid|ref=harv
(help). - Navarro, Gonzalo; Raffinot, Mathieu (2002). Flexible Pattern Matching in Strings. Cambridge University Press. ISBN 978-0-521-81307-5.
{{cite book}}
: Invalid|ref=harv
(help). - Skiena, Steven S. (2008). The Algorithm Design Manual (2nd ed.). Springer. ISBN 978-1-84800-069-8.
{{cite book}}
: Invalid|ref=harv
(help). - Tel, Gerard (2000). Introduction to Distributed Algorithms (2nd ed.). Cambridge University Press. ISBN 978-0-521-79483-1.
{{cite book}}
: Invalid|ref=harv
(help).
- Other sources that mention conferences
- Chazelle, Bernard; et al. (1996). "Application Challenges to Computational Geometry: CG Impact Task Force Report". In Chazelle, Bernard; Goodman, Jacob E.; Pollack, Richard (eds.). Advances in Discrete and Computational Geometry: Proceedings of the 1996 AMS-IMS-SIAM Joint Summer Research Conference, Discrete and Computational Geometry–Ten Years Later, July 14–18, 1996, Mount Holyoke College. ISBN 978-0-8218-0674-6.. Also available as a Princeton University technical report TR-521-96.
- Fich, Faith (1996). "Infrastructure issues related to theory of computing research". ACM Computing Surveys. 28 (4es): 217. doi:10.1145/242224.242502. Article no. 217.
{{cite journal}}
: Invalid|ref=harv
(help). - Goldman, Sally A. (1999). "Computational learning theory". In Atallah, Mikhail J. (ed.). Algorithms and Theory of Computation Handbook. CRC Press. ISBN 0-8493-2649-4.
{{cite book}}
: Invalid|ref=harv
(help). - Hinchey, Michael; Bowen, Jonathan P.; Rouff, Christopher A. (2005). "Introduction to formal methods". In Rouff, Christopher A.; Hinchey, Michael; Rash, James; Truszkowski, Walter; Gordon-Spears, Diana (eds.). Agent Technology from a Formal Perspective. Springer. pp. 25–64. ISBN 978-1-85233-947-0.
{{cite book}}
: Invalid|ref=harv
(help). - Jiang, Tao; Li, Ming; Ravikumar, Bala (1999). "Basic notions in computational complexity". In Atallah, Mikhail J. (ed.). Algorithms and Theory of Computation Handbook. CRC Press. ISBN 0-8493-2649-4.
{{cite book}}
: Invalid|ref=harv
(help). - Mutzel, Petra; Eades, Peter (2002). "Graphs in software visualization". International Dagstuhl Seminar on Software Visualization, May 2001, Revised Papers. Lecture Notes in Computer Science. Vol. 2269. Springer. pp. 285–294. doi:10.1007/3-540-45875-1_22. ISBN 978-3-540-43323-1.
{{cite book}}
: Invalid|ref=harv
(help). - Overmars, Mark H. (1998). "Geometric algorithms for robotic manipulation". International Colloquium on Automata, Languages and Programming. Lecture Notes in Computer Science. Vol. 1443. Springer-Verlag. pp. 116–117. doi:10.1007/BFb0055045. ISBN 3-540-64781-3.
{{cite book}}
: Invalid|ref=harv
(help). - Samet, Hanan (2010). "Multidimensional data structures for spatial applications". In Atallah, Mikhail J.; Blanton, Marina (eds.). Algorithms and Theory of Computation Handbook (2nd ed.). CRC Press. ISBN 978-1-58488-822-2.
{{cite book}}
: Invalid|ref=harv
(help). - "PODC mailing list". PODC. Retrieved 2009-11-02.
- Hodges, Wilfrid (2008). "Workshop on Logic, Language, Information and Computation, 1-4 July" (PDF). The Reasoner. 2 (9): 10. Retrieved 2010-10-23Template:Inconsistent citations
{{cite journal}}
: Invalid|ref=harv
(help)CS1 maint: postscript (link)