Seznam konferencí o informatice - List of computer science conferences
Toto je seznam akademické konference v počítačová věda. Zahrnuty jsou pouze konference se samostatnými články; v každém poli jsou konference seřazeny abecedně podle jejich zkrácených jmen.
Všeobecné
Algoritmy a teorie
Konference přijímající širokou škálu témat od teoretická informatika, počítaje v to algoritmy, datové struktury, vypočítatelnost, výpočetní složitost, teorie automatů a formální jazyky:
- CCC - Konference o výpočetní složitosti
- FCT - Mezinárodní symposium o základech teorie výpočtu
- FOCS - IEEE Symposium on Foundations of Computer Science
- ICALP - Mezinárodní kolokvium o automatech, jazycích a programování
- ISAAC - Mezinárodní symposium o algoritmech a výpočtech
- MFCS - Mezinárodní symposium o matematických základech informatiky
- STACS - Sympózium o teoretických aspektech informatiky
- STOC - ACM Symposium on Theory of Computing
- WoLLIC - Workshop o logice, jazyce, informacích a výpočtu
Algoritmy
Konference, jejichž tématem je algoritmy a datové struktury obecně, ale nezahrnují další oblasti teoretické informatiky, jako je teorie výpočetní složitosti:
- ESA - Evropské symposium o algoritmech
- SODA - ACM – SIAM Symposium on Discrete Algorithms
- S.W.A.T - Skandinávské sympozium a workshopy o teorii algoritmů
- WADS - Sympozium o algoritmech a datových strukturách
- WAOA - Workshop o aproximaci a online algoritmech
Geometrické algoritmy
Konference dne výpočetní geometrie, kreslení grafu a další oblasti použití geometrických výpočtů:
Logika
- LICS - ACM – IEEE Symposium on Logic in Computer Science
- RTA - Mezinárodní konference o technikách a aplikacích přepisování
Další specializovaná podtémata
- CIAA - Mezinárodní konference o implementaci a aplikaci automatů
- CCC - Konference o výpočetní složitosti
- DCFS - Mezinárodní seminář o popisné složitosti formálních systémů
- DLT - Mezinárodní konference o vývoji v teorii jazyků
- ISSAC - Mezinárodní symposium o symbolických a algebraických výpočtech
- Petriho sítě - Mezinárodní konference o aplikacích a teorii Petriho sítí a souběžnosti
Jazyky a software
Programovací jazyky
Konference dne programovací jazyky, teorie programovacího jazyka a překladače:
- CC Mezinárodní konference o konstrukci překladačů
- ECOOP - AITO Evropská konference o objektově orientovaném programování
- ESOP - ETAPS Evropské symposium o programování
- HOPL - ACM SIGPLAN Konference o historii programovacích jazyků
- ICFP - ACM SIGPLAN Mezinárodní konference o funkčním programování
- ICLP - ALP Mezinárodní konference o logickém programování
- ISMM - ACM SIGPLAN Mezinárodní symposium o správě paměti
- OOPSLA - ACM SIGPLAN Konference o objektově orientovaném programování, systémech, jazycích a aplikacích
- POPL - ACM SIGPLAN-SIGACT Sympózium o principech programovacích jazyků
- PLDI - ACM SIGPLAN Konference o návrhu a implementaci programovacího jazyka
Softwarové inženýrství
Konference dne softwarové inženýrství:
- ASE - IEEE / ACM Mezinárodní konference o automatizovaném softwarovém inženýrství
- ICSE - Mezinárodní konference o softwarovém inženýrství
- ICSR - Mezinárodní konference o opětovném použití softwaru
- TACAS - ETAPS Mezinárodní konference o nástrojích a algoritmech pro konstrukci a analýzu systémů
- FoSSaCS - ETAPS Mezinárodní konference o základech softwarové vědy a výpočetních strukturách
- FASE - ETAPS Mezinárodní konference o základních přístupech k softwarovému inženýrství
Formální metody
Konference dne formální metody v softwarovém inženýrství, včetně formální specifikace, formální ověření, a statická analýza kódu:
- CAV - Ověření pomocí počítače
- FORTE - IFIP Mezinárodní konference o formálních technikách pro síťové a distribuované systémy
Souběžné, distribuované a paralelní výpočty
Konference dne souběžně, distribuováno, a paralelní výpočty, systémy odolné vůči chybám a spolehlivé systémy:
- DEBS - Mezinárodní konference ACM dne Distribuované systémy založené na událostech
- DISK - Mezinárodní symposium o distribuovaných výpočtech
- DSN - Mezinárodní konference o spolehlivých systémech a sítích
- ICDCS - IEEE Mezinárodní konference o distribuovaných výpočetních systémech
- ICPADS - IEEE Mezinárodní konference o paralelních a distribuovaných systémech
- IPDPS - IEEE Mezinárodní paralelní a distribuované symposium zpracování
- PODC - ACM Symposium on Principles of Distributed Computing
- PPoPP - ACM SIGPLAN Sympózium o zásadách a praxi paralelního programování
- SIROCCO - Mezinárodní kolokvium o strukturálních informacích a složitosti komunikace
- SPAA - ACM Sympózium o paralelismu v algoritmech a architekturách
- SRDS - IEEE Mezinárodní sympozium o spolehlivých distribuovaných systémech
Vysoce výkonná výpočetní technika
Konference dne vysoce výkonné výpočty, clusterové výpočty, a grid computing:
- HiPC - Mezinárodní konference o vysoce výkonných počítačích
- SC - Konference o superpočítačích ACM / IEEE
Operační systémy
Konference dne operační systémy, skladovací systémy a middleware:
- ATC - Výroční technická konference USENIX
- RYCHLE - Konference USENIX o souborových a úložných technologiích
- Middleware - ACM / IFIP / USENIX Mezinárodní konference o middlewaru
- SOSP - ACM Sympózium o principech operačních systémů
- OSDI - ACM Operační systémy: Návrh a implementace
- SYSTOR - ACM Mezinárodní konference o systémech a úložištích
Počítačová architektura
Konference dne počítačová architektura:
- ASPLOS - Mezinárodní konference o architektonické podpoře programovacích jazyků a operačních systémů
- ISCA - Mezinárodní symposium o počítačové architektuře
- MICRO - IEEE / ACM Mezinárodní sympozium o mikroarchitektuře
Počítačový hardware
Konference dne počítačový hardware:
- ISCAS - IEEE Mezinárodní symposium o obvodech a systémech
Počítačem podporovaný design
Konference dne počítačem podporovaný design a automatizace elektronického designu:
- ASP-DAC - Konference o automatizaci designu v Asii a jižním Pacifiku
- DAC - Konference o automatizaci designu
- DATUM - Návrh, automatizace a testování v Evropě
- ICCAD - Mezinárodní konference o počítačově podporovaném designu
- ISPD - Mezinárodní sympozium o fyzickém designu
Počítačové sítě
Konference dne počítačové sítě:
- GlobeCom - IEEE Globální komunikační konference
- ICC - IEEE Mezinárodní konference o komunikacích
- ICSOC - Mezinárodní konference o výpočetní technice zaměřené na služby
- INFOCOM - IEEE Konference o počítačové komunikaci
- SIGCOMM - Konference ACM SIGCOMM
- SIGMETRICS - ACM SIGMETRICS
- VÍNO - Workshop o internetové a síťové ekonomice
Bezdrátové sítě a mobilní výpočetní technika
Bezdrátové sítě a mobilní výpočetní technika, počítaje v to všudypřítomný a všudypřítomná práce na počítači, bezdrátové sítě ad hoc a bezdrátové senzorové sítě:
- EWSN - Evropská konference o bezdrátových senzorových sítích
- IPSN - ACM / IEEE Mezinárodní konference o zpracování informací v senzorových sítích
- ISWC - Mezinárodní symposium o nositelných počítačích
- MobiHoc - ACM Mezinárodní symposium o mobilních sítích a počítačích ad hoc
- SenSys - ACM Konference o vestavěných síťových senzorových systémech
Zabezpečení a soukromí
Konference dne zabezpečení počítače a Soukromí:
Kryptografie
Kryptografie konference:
- ACNS - Aplikovaná kryptografie a zabezpečení sítě
- Mravenci - Sympozium o teorii čísel algoritmů
- ASIACRYPT - Mezinárodní konference o teorii a aplikaci kryptologie a informační bezpečnosti
- CHES - Workshop o kryptografickém hardwaru a vestavěných systémech
- CRYPTO - Mezinárodní konference o kryptologii
- EUROCRYPT - Mezinárodní konference o teorii a aplikacích kryptografických technik
- FSE - Workshop rychlého softwarového šifrování
- PKC - Mezinárodní seminář o praxi a teorii v kryptografii veřejných klíčů
- RSA - Konference RSA
- TCC - Konference Teorie kryptografie
Správa dat
Konference dne databáze, informační systémy, vyhledávání informací, dolování dat a Celosvětová Síť:
- CIDR - Konference o výzkumu inovativních datových systémů
- CIKM - ACM Konference o řízení informací a znalostí
- ECIR - Evropská konference o vyhledávání informací
- ECIS - Evropská konference o informačních systémech
- ER - Mezinárodní konference o koncepčním modelování
- ICDT - Mezinárodní konference o teorii databází
- ICIS - Mezinárodní konference o informačních systémech
- ISWC - Mezinárodní konference o sémantickém webu
- JCDL - ACM / IEEE Společná konference o digitálních knihovnách
- KDD - ACM SIGKDD Konference o získávání znalostí a dolování dat
- PODS - ACM Symposium on Principles of Database Systems
- SIGIR - každoroční mezinárodní Konference ACM SIGIR
- SIGMOD - Konference ACM SIGMOD
- VLDB - Mezinárodní konference o velmi velkých databázích
- WWW - World Wide Web Conference
Umělá inteligence
Konference dne umělá inteligence a strojové učení:
- AAAI - Konference AAAI o umělé inteligenci
- AAMAS - Mezinárodní konference o autonomních agentech a multiagentních systémech
- CIBB - Mezinárodní konference o metodách výpočetní inteligence pro bioinformatiku a biostatistiku
- ECAI - Evropská konference o umělé inteligenci
- ECML PKDD - Evropská konference o strojovém učení a zásadách a praxi získávání znalostí v databázích
- ICML - Mezinárodní konference o strojovém učení
- ICLR - Mezinárodní konference o vzdělávacích reprezentacích
- IJCAI - Mezinárodní společná konference o umělé inteligenci
- ISWC - Mezinárodní konference o sémantickém webu
- NeurIPS - Konference o systémech zpracování neurálních informací
- RuleML - RuleML Symposium
Evoluční výpočet
Konference dne Evoluční výpočet.
- AE - Konference o umělé evoluci
- CEC - Kongres IEEE o evolučních výpočtech
- GECCO - Konference o genetických a evolučních výpočtech
Automatické uvažování
Konference dne automatické uvažování:
- IJCAR - Mezinárodní společná konference o automatizovaném uvažování
- LPAR - Mezinárodní konference o logice pro programování, umělou inteligenci a uvažování
- RuleML - RuleML Symposium
- TABLEAUX - Mezinárodní konference o automatizovaném uvažování s analytickými tabulkami a souvisejícími metodami
- WoLLIC - Workshop o logice, jazyce, informacích a výpočtu
Počítačové vidění
Konference dne počítačové vidění (včetně také analýza obrazu ) a rozpoznávání vzorů:
- BMVC - Britská konference o strojovém vidění
- CVPR - Konference o počítačovém vidění a rozpoznávání vzorů
- ECCV - Evropská konference o počítačovém vidění
- ICCV - Mezinárodní konference o počítačovém vidění
- SCIA - Skandinávská konference o analýze obrazu
- SSIAI - IEEE Southwest Symposium on Image Analysis and Interpretation
Zpracování přirozeného jazyka
Konference dne výpočetní lingvistika a zpracování přirozeného jazyka:
- ACL - Výroční zasedání Asociace pro počítačovou lingvistiku
- EMNLP - Empirické metody ve zpracování přirozeného jazyka
- NAACL - Výroční konference severoamerické kapitoly Asociace pro počítačovou lingvistiku
- COLING - Mezinárodní výbor pro počítačovou lingvistiku
- TSD - Text, řeč a dialog
- CICLing - Mezinárodní konference o inteligentním zpracování textu a počítačové lingvistice
Počítačová grafika
Konference dne počítačová grafika, zpracování geometrie, zpracování obrazu, a multimédia:
- Eurografika - Výroční konference Evropské asociace pro počítačovou grafiku
- MM - ACM Mezinárodní konference o multimédiích
- SGP - Sympózium o zpracování geometrie
- SIGGRAPH - Mezinárodní konference o počítačové grafice a interaktivních technikách
Vizualizace
Konference dne vědecká vizualizace a informační vizualizace:
Interakce člověka s počítačem
Konference dne interakce člověka s počítačem a uživatelská rozhraní:
- AKTIVA - Mezinárodní konference ACM SIGACCESS o počítačích a přístupnosti
- CHI - ACM Konference o lidských faktorech ve výpočetních systémech
- GI - Grafické rozhraní
- MobileHCI - Konference o interakci člověka s počítačem s mobilními zařízeními a službami
- SIGDOC - ACM Mezinárodní konference o designu komunikace
- UIST - Sympozium ACM o softwaru a technologii uživatelského rozhraní
- UMAP - ACM Mezinárodní konference o modelování, přizpůsobení a přizpůsobení uživatelů
Bioinformatika a výpočetní biologie
Konference dne bioinformatika a výpočetní biologie:
- CIBB - Mezinárodní konference o metodách výpočetní inteligence pro bioinformatiku a biostatistiku
- ISMB - Inteligentní systémy pro molekulární biologii
- PSB - Pacifické symposium o biopočítačích
- RECOMB - Výzkum v oblasti výpočetní molekulární biologie
- WABI - Workshop o algoritmech v bioinformatice
Vzdělávání
Konference dne počítačové vzdělávání a elektronické učení:
- SIGCSE - ACM Technické sympozium o výuce informatiky
Viz také
- Seznam zkratek konferencí o počítačové vědě
- Seznam časopisů o informatice
- Seznam publikací v počítačové vědě
- Nástin informatiky