Share to:

List of computer science conferences

This is a list of academic conferences in computer science. Only conferences with separate articles are included; within each field, the conferences are listed alphabetically by their short names.

General

FCRC – Federated Computing Research Conference

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:

CCC - Computational Complexity Conference
FCT – International Symposium on Fundamentals of Computation Theory
FOCS – IEEE Symposium on Foundations of Computer Science
ICALP – International Colloquium on Automata, Languages and Programming
ISAAC – International Symposium on Algorithms and Computation
MFCS – International Symposium on Mathematical Foundations of Computer Science
STACS – Symposium on Theoretical Aspects of Computer Science
STOC – ACM Symposium on Theory of Computing
WoLLIC – Workshop on Logic, Language, Information and Computation

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:

ESA – European Symposium on Algorithms
SODA – ACM–SIAM Symposium on Discrete Algorithms
SWAT and WADS – SWAT and WADS conferences

Geometric algorithms

Conferences on computational geometry, graph drawing, and other application areas of geometric computing:

GD – International Symposium on Graph Drawing
SoCG – Symposium on Computational Geometry

Logic

LICS – ACM–IEEE Symposium on Logic in Computer Science
RTA – International Conference on Rewriting Techniques and Applications

Other specialized subtopics

CIAA – International Conference on Implementation and Application of Automata
CCC – Computational Complexity Conference
DCFS – International Workshop on Descriptional Complexity of Formal Systems
DLT – International Conference on Developments in Language Theory
ISSAC – International Symposium on Symbolic and Algebraic Computation
Petri Nets - International Conference on Applications and Theory of Petri Nets and Concurrency
RP – International Conference on Reachability Problems
SEA – Symposium on Experimental Algorithms

Languages and software

Programming languages

Conferences on programming languages, programming language theory and compilers:

CC International Conference on Compiler Construction
ECOOP – AITO European Conference on Object-Oriented Programming
ESOP – ETAPS European Symposium on Programming
HOPL – ACM SIGPLAN History of Programming Languages Conference
ICFP – ACM SIGPLAN International Conference on Functional Programming
ICLP – ALP International Conference on Logic Programming
ISMM – ACM SIGPLAN International Symposium on Memory Management
OOPSLA – ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications
POPL – ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
PLDI – ACM SIGPLAN Conference on Programming Language Design and Implementation

Software engineering

Conferences on software engineering:

ASE – IEEE/ACM International Conference on Automated Software Engineering
ICSE – International Conference on Software Engineering
ICSR – International Conference on Software Reuse
TACAS - ETAPS International Conference on Tools and Algorithms for the Construction and Analysis of Systems
FoSSaCS - ETAPS International Conference on Foundations of Software Science and Computation Structures
FASE - ETAPS International Conference on Fundamental Approaches to Software Engineering

Formal methods

Conferences on formal methods in software engineering, including formal specification, formal verification, and static code analysis:

CAV – Computer Aided Verification
FORTE – IFIP International Conference on Formal Techniques for Networked and Distributed Systems

Concurrent, distributed and parallel computing

Conferences on concurrent, distributed, and parallel computing, fault-tolerant systems, and dependable systems:

CONCUR - International Conference on Concurrency Theory
DEBS - ACM International Conference on Distributed Event-Based Systems
DISC - International Symposium on Distributed Computing
DSN - International Conference on Dependable Systems and Networks
ICDCS - IEEE International Conference on Distributed Computing Systems
ICPADS - IEEE International Conference on Parallel and Distributed Systems
IPDPS - IEEE International Parallel and Distributed Processing Symposium
PODC - ACM Symposium on Principles of Distributed Computing
PPoPP - ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming
SIROCCO - International Colloquium on Structural Information and Communication Complexity
SPAA - ACM Symposium on Parallelism in Algorithms and Architectures
SRDS - IEEE International Symposium on Reliable Distributed Systems

High-performance computing

Conferences on high-performance computing, cluster computing, and grid computing:

Operating systems

Conferences on operating systems, storage systems and middleware:

ATC - USENIX Annual Technical Conference
Middleware - ACM/IFIP/USENIX International Middleware Conference
SOSP - ACM Symposium on Operating Systems Principles
OSDI - USENIX Symposium on Operating Systems Design and Implementation
SYSTOR - ACM International Systems and Storage Conference

Computer architecture

Conferences on computer architecture:

ASPLOS - International Conference on Architectural Support for Programming Languages and Operating Systems
ISCA - International Symposium on Computer Architecture
MICRO - IEEE/ACM International Symposium on Microarchitecture

Computer-aided design

Conferences on computer-aided design and electronic design automation:

ASP-DAC - Asia and South Pacific Design Automation Conference
DAC - Design Automation Conference
DATE - Design, Automation, and Test in Europe
ICCAD - International Conference on Computer-Aided Design
ISPD - International Symposium on Physical Design

Computer networking

Conferences on computer networking:

GlobeCom - IEEE Global Communications Conference
ICC - IEEE International Conference on Communications
ICSOC - International Conference on Service Oriented Computing
INFOCOM - IEEE Conference on Computer Communications
SIGMETRICS - ACM SIGMETRICS
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:

EWSN - European Conference on Wireless Sensor Networks
IPSN - ACM/IEEE International Conference on Information Processing in Sensor Networks
ISWC - International Symposium on Wearable Computers
SenSys - ACM Conference on Embedded Networked Sensor Systems

Security and privacy

Conferences on computer security and privacy:

DSN - International Conference on Dependable Systems and Networks

Cryptography

Cryptography conferences:

ANTS - Algorithmic Number Theory Symposium
RSA - RSA Conference

Data management

Conferences on databases, information systems, information retrieval, data mining and the World Wide Web:

BTW - GI Conference on Database Systems for Business, Technology and Web
CIDR - Conference on Innovative Data Systems Research
CIKM - ACM Conference on Information and Knowledge Management
ECIR - European Conference on Information Retrieval
ECIS - European Conference on Information Systems
ER - International Conference on Conceptual Modeling
ICDT - International Conference on Database Theory
ICIS - International Conference on Information Systems
ISWC - International Semantic Web Conference
JCDL - ACM/IEEE Joint Conference on Digital Libraries
PODS - ACM Symposium on Principles of Database Systems
SIGMOD - ACM Special Interest Group on Management of Data
VLDB - International Conference on Very Large Data Bases
WWW - World Wide Web Conference

Artificial intelligence

Conferences on artificial intelligence and machine learning:

Evolutionary computation

Conferences on Evolutionary computation.

AE - Artificial Evolution Conference
CEC - IEEE Congress on Evolutionary Computation
GECCO - Genetic and Evolutionary Computation Conference

Automated reasoning

Conferences on automated reasoning:

Computer vision

Conferences on computer vision (including also image analysis) and pattern recognition:

BMVC - British Machine Vision Conference
CVPR - IEEE Conference on Computer Vision and Pattern Recognition
ECCV - European Conference on Computer Vision
ICCV - International Conference on Computer Vision
SCIA - Scandinavian Conference on Image Analysis
SSIAI - IEEE Southwest Symposium on Image Analysis and Interpretation

Natural language processing

Conferences on computational linguistics and natural language processing:

EMNLP - Empirical Methods in Natural Language Processing
COLING - International Committee on Computational Linguistics
TSD - Text, Speech and Dialogue
CICLing - International Conference on Intelligent Text Processing and Computational Linguistics

Computer graphics

Conferences on computer graphics, geometry processing, image processing, and multimedia:

MM - ACM International Conference on Multimedia
SGP - Symposium on Geometry Processing
SIGGRAPH - International Conference on Computer Graphics and Interactive Techniques

Human–computer interaction

Conferences on human–computer interaction and user interfaces:

CHI - ACM Conference on Human Factors in Computing Systems
GI - Graphics Interface
MobileHCI - Conference on Human-Computer Interaction with Mobile Devices and Services
UIST - ACM Symposium on User Interface Software and Technology
UMAP - ACM International Conference on User Modeling, Adaptation, and Personalization

Bioinformatics and computational biology

Conferences on bioinformatics and computational biology:

See also

External links

Information related to List of computer science conferences

Nixon's Enemies List

List of listed buildings in Edinburgh

List of vegetarians

A-list (disambiguation)

DEA list of chemicals

Party-list system

List of Latin phrases

List (abstract data type)

List of Montenegrins

List edge-coloring

Commonwealth Heritage List

List of legislatures by country

List of lists of lists

List of conflicts in Asia

List of acts of the Parliament of Scotland

List of theorems

List of tambon in Thailand

List of acts of the Parliament of England

Sunday Times Rich List

NME's Cool List

List of Hampshire County Cricket Club List A cricket records

Listed buildings in Scotland

List of fictional ungulates

List of assassinations

List of dicotyledons of Montana

Lists of IUCN Red List endangered species

List of mosques in Europe

List of bridges

List of List A cricket records

Concurrent List

List of Pakistanis

List of Slovenian musicians

List of television evangelists

List of acts of the Parliament of Ireland

List of NGC objects

List of Australian films of the 1980s

National Heritage List (Australia)

List of Sephardic Jews

List of listed buildings in Inverness

List of horror films of the 2010s

Dolch word list

List of Australian films of the 1990s

Nurse with Wound list

List of colors (alphabetical)

List of Hampshire Cricket Board List A players

List of mathematical knots and links

List of rivers of the United States

List of cities in Algeria

List of aquaria by country

List of state leaders in the 10th century

List of fictional birds

List of acts of the Parliament of Great Britain

List of rivers of Ontario

List of state leaders in the 11th century

List of rail accidents (2010–2019)

List of cities in Peru

List of doping cases in sport

List of Turkish films (alphabetical)

List of fictional primates

List of state leaders in the 9th century

List of synthesizers

Most wanted list

List of Herefordshire County Cricket Club List A players

List of converts to Islam

List of Vietnamese people

Lists of IUCN Red List critically endangered species

List of places in Georgia

List of state leaders in the 12th century

List of state leaders in the 13th century

List of ethnic Assyrians

List of municipalities of Spain

List of nationalist organizations

List of missiles by country

List of Berkshire County Cricket Club List A players

WHO Model List of Essential Medicines

List of bridges in the United States

List of Japanese people

List of Mac software

List of state leaders in the 14th century

List of Mongol consorts

List of estrogens

List of Russian-language writers

List of filename extensions

Party-list proportional representation

List of Denmark List A cricketers

List of Hampshire County Cricket Club List A players

List of Somerset County Cricket Club List A players

List of Buddhists

List of listed buildings in Uplawmoor

List of national capitals

List of Wales Minor Counties Cricket Club List A players

Conservative A-List

List of genocides

List of fast food restaurant chains

List of Malay people

List of Indonesians

List of rivers of Oregon

List of virus genera

List of suicides attributed to bullying

List of mountains in Korea

Nominees in the 2016 Philippine House of Representatives party-list election

List of Wiltshire County Cricket Club List A players

List of traffic collisions (2000–present)

List of flags by color

List of compounds

List of newspapers in Canada

List of Georgians

List of collectables

List of castles in England

List of villages in Bulgaria

List of swimmers

Doubly linked list

List of superlatives

List of museums by country

The New York Times Best Seller list

List of numbers

List of wildfires

List of films based on actual events

List of listed buildings in Inverness and Bona

List of rivers of Colorado

List of symbols

List of lists of hotels

List of schools in India

List of sporting scandals

List of co-operative federations

List of East European Jews

List of Peruvians

List of marine molluscs of Chile

List of roads in Georgia

List of compilers

List of Irish Americans

List of state leaders in the 15th century

List of state leaders in the 16th century

List of state leaders in the 17th century

List of Chrysler factories

List of machinima works

List of historians by area of study

List of courthouses in the United States

List of chief executive officers

List of women writers

List of Jamaicans

List of mosques in Africa

List of esports players

List of death metal bands, !–K

Gardiner's sign list

List of typefaces

List of cities in Odisha by population

List of zoos by country

List of Huntingdonshire County Cricket Club List A players

List of populated places in Colorado: A–F

List of medical organizations

List of Soviet films of 1980–1991

List of fictional dogs

List of shipwrecks in the 1710s

List of mausolea

List of listed buildings in Cathcart

List of schools in Nepal

List of playwrights by nationality and year of birth

List of Mauritians

List of terrorist incidents

List of Hungarians

List of aircraft (B–Be)

List of listed buildings in Uig, Lewis

List of currencies

List of festivals in Asia

List of LGBTQ rights organizations

List of judgements of the House of Lords

List of mountain ranges

Lists of listed buildings in Scotland

List of pterosaur genera

List of Afro–Puerto Ricans

List of islands of Canada

List of sensors

List of microbursts

List of AS Roma players

List of Russian-language novelists

List of listed buildings in Auchindoir and Kearn

List of PC games (A)

List of satirists and satires

List of Norwegian artists

List of airports in Canada

List of Gibraltarians

List of Xbox One games

List of fictional schools

List of aircraft (An–Az)

List of lake monsters

List of exchange-traded funds

List of Mexicans

List of Canadian films

List of fictional big cats

List of horror films of the 1970s

List of female violinists

List of places in Guatemala

List of water parks in Europe

List of corticosteroids

List of wars: 2003–present

List of Wii games

List of trade unions

List of Eritreans

List of presidents of Turkey

List of municipalities and communities in Greece (1997–2010)

List of airlines of China

List of Aten asteroids

List of symphony orchestras

Love It or List It Vancouver

List of listed buildings in Bervie

List of acts and measures of Senedd Cymru

List of largest nebulae

List of Austrians

List of suicides

List of automobile manufacturers of Europe

List of hospitals in India

List of festivals in Europe

List of sonatas by Wolfgang Amadeus Mozart

List of automobile manufacturers

List of Kazakhs

List of Egyptians

List of horror films of the 2000s

List of oil refineries

List of fictional bears

List of mountains in Australia

List of defunct airlines of Oceania

List of state leaders in the 18th century

List of data structures

Guantanamo List

List of children's films

List of art schools in Europe

List of listed buildings in Pettinain

List of former atheists and agnostics

List of ultras of Antarctica

List of Burmese actors

List of Kent County Cricket Club List A cricket records

List of butterflies of Kiribati

List of hospitals in Australia

List of airlines of the Americas

List of Norwegian Americans

List of stadiums in Europe

List of superstores

List of museums in the United Kingdom

List of leaf vegetables

List of banks in the Americas

List of sportspeople with nicknames

Master minimum equipment list

Unfriendly countries list

List of listed buildings in Chapel of Garioch

List of Tamil people

List of horror films of the 1960s

List of roads and highways

List of motorcycle manufacturers

List of rail accidents (2020–present)

List of Caribbean films

List of listed buildings in Clatt

List of cities in Sweden

List of constructed languages

List of listed buildings in Auchterless

List of mosques in Oceania

List of listed buildings in Colvend and Southwick

Master list of Nixon's political opponents

List of Castilian monarchs

List of streets in Karachi

List of horror films of the 1980s

List of television manufacturers

List of islands of the United States

Karnak King List

List of listed buildings in Crathie and Braemar

List of horror films of the 1990s

List of listed buildings in Bourtie

List of rivers of the United Kingdom

List of aerial lift manufacturers

List of famines

List of listed buildings in Strathlachlan

List of characters and names mentioned in the Quran

List of crime bosses

List of schools in Maharashtra

List of Korean dishes

List of electronics brands

List of Sicilian Americans

List of Mongol rulers

List of Baniyas

List of Staffordshire County Cricket Club List A players

List of listed buildings in Crimond

List of Australian criminals

List of listed buildings in Fintray

List of windmills in the United Kingdom

List of listed buildings in Dunblane

List of gondola lifts

List of rail accidents (1970–1979)

List of atheist authors

List of parliaments of the United Kingdom

List of fictional crocodilians

List of ayatollahs

The List (magazine)

List of terrorist incidents in 2015

List of listed buildings in Drumblade

List of listed buildings in Tibbermore

List of political parties in North America by country

List of tone rows and series

List of listed buildings in Dingwall

List of toll roads in the United States

List of conjectures

List of music podcasts

List of Bulgarians

List of people from Greece

List of infectious diseases

List of tallest structures by country

List of video game magazines

List of Zambians

List of English writers

List of listed buildings in Cairnie

List of people from Serbia

List of shopping centres in the United Kingdom

List of lakes of Norway

List of listed buildings in Barrhead

Leipzig–Jakarta list

List of photographers

List of Slovenes

List of gangsters by city

List of listed buildings in Rosskeen

List of populated places in Colorado: G–O

List of kingdoms and royal dynasties

List of mountain railways in Switzerland

List of listed buildings in Culsalmond

List of Suffolk County Cricket Club List A players

List of Nigerians

List of AS Roma managers

List of listed buildings in Dyce

List of mountains of the United States

List of beaches in Hawaii

List of football clubs in Botswana

List of watchmakers

General Service List

List of Liberty ships (A–F)

List of listed buildings in Arbuthnott

List of Solar System probes

List of Ethiopians

List of Syrians

List of movie theater chains

List of butterflies of Jamaica

Ralf Brown's Interrupt List

List of investigational hallucinogens and entactogens

List of listed buildings in Bressay

List of Greek films

List of progestogens

List of listed buildings in Ardchattan and Muckairn

List of baronetcies

List of Luxembourgers

Do not call list

List of mammals of Estonia

List of Portuguese people

List of aircraft (C–Cc)

List of football clubs in Nigeria

List of defunct airlines of Asia

List of Malayalam films of the 2000s

List of listed buildings in Dunnottar

List of capital ships of Sweden

List of Aromanians

List of produced films included in The Black List (2006–2009)

List of Haitians

List of software related to augmented reality

List of Beatmania video games

List of IIM Ahmedabad people

List of listed buildings in Durris

List of parliaments of Ireland

List of occult symbols

List of ships of the Imperial Japanese Navy

List of populated places in Colorado: P–Z

List of listed buildings in Lochgilphead

List of listed buildings in Birse

List of military operations

List of gliders

List of butterflies of South Asia

List of airlines of Europe

List of Ahmadis

List of listed buildings in Drumoak

List of minor planets: 109001–110000

List of listed buildings in Sandsting

List of wars: 1990–2002

List of atheists (miscellaneous)

List of largest cats

List of listed buildings in Belhelvie

List of Isma'ili missionaries

List of food podcasts

The Loser List (series)

List of massacres in the United States

List of Liberty ships (Je–L)

List of listed buildings in Unst

List of Brazilians

List of listed buildings in Ardnamurchan

List of municipalities in Cádiz

List of listed buildings in Towie

List of lists of Swedes

List of listed buildings in Kilmodan

List of terrorist incidents in 2017

List of Tasmania List A cricket records

List of listed buildings in Banchory

List of craters on the Moon

List of listed buildings in Boyndie

List of lesbian fiction

List of French sportspeople

List of fictional canines

List of listed buildings in Kinloss

List of Capsicum cultivars

List of heritage-listed buildings in Rockhampton

List of supermarket chains in Asia

List of listed buildings in Fordoun

List of Germans

List of Bengali-language authors (alphabetical)

List of listed buildings in Luss

List of Slovak films

List of journalism schools in Europe

List of Cachaça brands

List of listed buildings in Aberchirder

List of derecho events

List of mountains by elevation

Index: pl ar de en es fr it arz nl ja pt ceb sv uk vi war zh ru af ast az bg zh-min-nan bn be ca cs cy da et el eo eu fa gl ko hi hr id he ka la lv lt hu mk ms min no nn ce uz kk ro simple sk sl sr sh fi ta tt th tg azb tr ur zh-yue hy my ace als am an hyw ban bjn map-bms ba be-tarask bcl bpy bar bs br cv nv eml hif fo fy ga gd gu hak ha hsb io ig ilo ia ie os is jv kn ht ku ckb ky mrj lb lij li lmo mai mg ml zh-classical mr xmf mzn cdo mn nap new ne frr oc mhr or as pa pnb ps pms nds crh qu sa sah sco sq scn si sd szl su sw tl shn te bug vec vo wa wuu yi yo diq bat-smg zu lad kbd ang smn ab roa-rup frp arc gn av ay bh bi bo bxr cbk-zam co za dag ary se pdc dv dsb myv ext fur gv gag inh ki glk gan guw xal haw rw kbp pam csb kw km kv koi kg gom ks gcr lo lbe ltg lez nia ln jbo lg mt mi tw mwl mdf mnw nqo fj nah na nds-nl nrm nov om pi pag pap pfl pcd krc kaa ksh rm rue sm sat sc trv stq nso sn cu so srn kab roa-tara tet tpi to chr tum tk tyv udm ug vep fiu-vro vls wo xh zea ty ak bm ch ny ee ff got iu ik kl mad cr pih ami pwn pnt dz rmy rn sg st tn ss ti din chy ts kcg ve

Prefix: 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 0 1 2 3 4 5 6 7 8 9

Portal di Ensiklopedia Dunia

Kembali kehalaman sebelumnya