Lista konferencji informatycznych - List of computer science conferences
Oto lista konferencji naukowych z dziedziny informatyki . Uwzględniane są tylko konferencje z osobnymi artykułami; w każdym polu konferencje są wymienione alfabetycznie według ich krótkich nazw.
Ogólny
Algorytmy i teoria
Konferencje przyjmujące szeroki zakres tematów z informatyki teoretycznej , w tym algorytmów , struktur danych , obliczalności , złożoności obliczeniowej , teorii automatów i języków formalnych :
- CCC - Konferencja na temat złożoności obliczeniowej
- FCT – Międzynarodowe Sympozjum Podstaw Teorii Obliczeń
- FOCS – IEEE Sympozjum Podstaw Informatyki
- ICALP – Międzynarodowe Kolokwium Automatów, Języków i Programowania
- ISAAC – Międzynarodowe Sympozjum Algorytmów i Obliczeń
- MFCS – Międzynarodowe Sympozjum Matematycznych Podstaw Informatyki
- STACS – Sympozjum Teoretycznych Aspektów Informatyki
- STOC – Sympozjum ACM z teorii informatyki
- WoLLIC – Warsztaty z logiki, języka, informacji i obliczeń
Algorytmy
Konferencje, których tematem są szeroko rozumiane algorytmy i struktury danych , ale nie obejmują innych dziedzin informatyki teoretycznej, takich jak teoria złożoności obliczeniowej:
- ESA – Europejskie Sympozjum Algorytmów
- SODA – ACM–SIAM Sympozjum Algorytmów Dyskretnych
- SWAT – Skandynawskie Sympozjum i Warsztaty Teorii Algorytmów
- WADS – Sympozjum Algorytmów i Struktur Danych
- WAOA – Warsztaty na temat aproksymacji i algorytmów online
Algorytmy geometryczne
Konferencje na temat geometrii obliczeniowej , rysowania wykresów i innych obszarów zastosowań obliczeń geometrycznych:
- GD – Międzynarodowe Sympozjum Rysowania Wykresów
- SoCG – Sympozjum ACM na temat geometrii obliczeniowej
Logika
- LICS – Sympozjum ACM–IEEE na temat logiki w informatyce
- RTA – Międzynarodowa Konferencja Technik Przepisywania i Aplikacji
Inne specjalistyczne podtematy
- CIAA – Międzynarodowa Konferencja Wdrażania i Stosowania Automatów
- CCC – Konferencja na temat złożoności obliczeniowej
- DCFS – Międzynarodowe warsztaty nt. złożoności opisowej systemów formalnych
- DLT – Międzynarodowa Konferencja nt. Rozwoju Teorii Języka
- ISSAC – Międzynarodowe Sympozjum Obliczeń Symbolicznych i Algebraicznych
- Sieci Petriego - Międzynarodowa konferencja nt. zastosowań i teorii sieci Petriego i współbieżności
- SEA – Sympozjum Algorytmów Eksperymentalnych
Języki i oprogramowanie
Języki programowania
Konferencje na temat języków programowania , programowanie teorii języka i kompilatory :
- Międzynarodowa konferencja CC na temat budowy kompilatorów
- ECOOP – Europejska Konferencja AITO nt. Programowania Obiektowego
- ESOP – Europejskie Sympozjum Programowania ETAPS
- HOPL – ACM SIGPLAN Historia Konferencji Języków Programowania
- ICFP – Międzynarodowa Konferencja ACM SIGPLAN nt. programowania funkcjonalnego
- ICLP – Międzynarodowa Konferencja ALP na temat programowania logicznego
- ISMM – Międzynarodowe Sympozjum Zarządzania Pamięcią ACM SIGPLAN
- OOPSLA – Konferencja ACM SIGPLAN na temat programowania obiektowego, systemów, języków i aplikacji
- POPL – Sympozjum ACM SIGPLAN-SIGACT nt. zasad języków programowania
- PLDI – Konferencja ACM SIGPLAN na temat projektowania i wdrażania języka programowania
Inżynieria oprogramowania
Konferencje dotyczące inżynierii oprogramowania :
- ASE – Międzynarodowa Konferencja IEEE/ACM nt. zautomatyzowanej inżynierii oprogramowania
- ICSE – Międzynarodowa Konferencja Inżynierii Oprogramowania
- ICSR – Międzynarodowa Konferencja Ponownego Wykorzystania Oprogramowania
- TACAS - Międzynarodowa Konferencja ETAPS nt. narzędzi i algorytmów do budowy i analizy systemów
- FoSSaCS - Międzynarodowa konferencja ETAPS nt. podstaw informatyki i struktur obliczeniowych
- FASE - Międzynarodowa konferencja ETAPS na temat podstawowych podejść do inżynierii oprogramowania
Metody formalne
Konferencje na temat formalnych metod inżynierii oprogramowania, w tym formalnej specyfikacji , weryfikacji formalnej i statycznej analizy kodu :
- CAV – Weryfikacja wspomagana komputerowo
- FORTE – Międzynarodowa Konferencja IFIP na temat technik formalnych dla systemów sieciowych i rozproszonych
Obliczenia współbieżne, rozproszone i równoległe
Konferencje na temat przetwarzania współbieżnego , rozproszonego i równoległego , systemów odpornych na błędy i systemów niezawodnych:
- DEBS - Międzynarodowa Konferencja ACM na temat rozproszonych systemów opartych na zdarzeniach
- DISC - Międzynarodowe Sympozjum Informatyki Rozproszonej
- DSN - Międzynarodowa konferencja nt. niezawodnych systemów i sieci
- ICDCS - Międzynarodowa konferencja IEEE nt. rozproszonych systemów obliczeniowych
- ICPADS - Międzynarodowa konferencja IEEE nt. systemów równoległych i rozproszonych
- IPDPS - Międzynarodowe Sympozjum Przetwarzania Równoległego i Rozproszonego IEEE
- PODC - Sympozjum ACM na temat zasad przetwarzania rozproszonego
- PPoPP - Sympozjum ACM SIGPLAN dotyczące zasad i praktyki programowania równoległego
- SIROCCO - Międzynarodowe kolokwium na temat złożoności informacji i komunikacji strukturalnej
- SPAA - Sympozjum ACM na temat równoległości w algorytmach i architekturach
- SRDS - Międzynarodowe Sympozjum IEEE nt. Niezawodnych Systemów Rozproszonych
Obliczenia o wysokiej wydajności
Konferencje na wysokiej wydajności obliczeniowej , klastrów obliczeniowych i Grid Computing :
- HiPC - Międzynarodowa konferencja nt. obliczeń o wysokiej wydajności
- SC - Konferencja superkomputerowa ACM/IEEE
- CCGRID - Cluster, Cloud and Grid Computing
System operacyjny
Konferencje na temat systemów operacyjnych , systemów magazynowania oraz middleware :
- ATC - Doroczna Konferencja Techniczna USENIX
- FAST - Konferencja USENIX na temat technologii plików i pamięci masowej
- Oprogramowanie pośredniczące — Międzynarodowa konferencja dotycząca oprogramowania pośredniczącego ACM/IFIP/USENIX
- SOSP - Sympozjum ACM na temat zasad systemów operacyjnych
- SYSTOR - Międzynarodowa Konferencja Systemów i Magazynowania ACM
Architektura komputerowa
Konferencje dotyczące architektury komputerowej :
- ASPLOS - Międzynarodowa Konferencja Architektonicznego Wsparcia Języków Programowania i Systemów Operacyjnych
- ISCA - Międzynarodowe Sympozjum Architektury Komputerowej
- MICRO - Międzynarodowe Sympozjum Mikroarchitektury IEEE/ACM
Sprzęt komputerowy
Konferencje na sprzęcie komputerowym :
- ISCAS - Międzynarodowe sympozjum IEEE na temat obwodów i systemów
Projektowanie wspomagane komputerowo
Konferencje dotyczące komputerowego wspomagania projektowania i automatyzacji projektowania elektronicznego :
- ASP-DAC - Konferencja Automatyki Projektowania Azji i Południowego Pacyfiku
- DAC - Konferencja Automatyki Projektowania
- DATA - Projektowanie, automatyzacja i testowanie w Europie
- ICCAD - Międzynarodowa Konferencja Projektowania Wspomaganego Komputerowo
- ISPD - Międzynarodowe Sympozjum Projektowania Fizycznego
Sieć komputerowa
Konferencje dotyczące sieci komputerowych :
- GlobeCom - IEEE Global Communications Conference
- ICC – Międzynarodowa Konferencja nt. Komunikacji IEEE
- ICSOC - Międzynarodowa Konferencja Informatyki Zorientowanej na Usługi
- INFOCOM - Konferencja IEEE na temat komunikacji komputerowej
- SIGCOMM - Konferencja ACM SIGCOMM
- SYMETRIA - ACM SYMETRIA
- WINE - Warsztaty z ekonomii Internetu i sieci
Sieci bezprzewodowe i przetwarzanie mobilne
Sieci bezprzewodowe i przetwarzanie mobilne , w tym przetwarzanie wszechobecne i wszechobecne , bezprzewodowe sieci ad hoc i bezprzewodowe sieci czujników :
- EWSN - Europejska konferencja na temat bezprzewodowych sieci czujnikowych
- IPSN - Międzynarodowa konferencja ACM/IEEE nt. przetwarzania informacji w sieciach sensorowych
- ISWC - Międzynarodowe Sympozjum Komputerów Ubieralnych
- MobiHoc - Międzynarodowe sympozjum ACM na temat mobilnych sieci ad hoc i komputerów
- SenSys - Konferencja ACM na temat wbudowanych systemów czujników sieciowych
Bezpieczeństwo i prywatność
Konferencje dotyczące bezpieczeństwa komputerowego i prywatności :
Kryptografia
Konferencje kryptograficzne :
- ACNS — Kryptografia stosowana i bezpieczeństwo sieci
- ANTS - Sympozjum Algorytmicznej Teorii Liczb
- ASIACRYPT - Międzynarodowa Konferencja Teorii i Zastosowania Kryptologii i Bezpieczeństwa Informacji
- CHES - Warsztaty na temat sprzętu kryptograficznego i systemów wbudowanych
- CRYPTO - Międzynarodowa Konferencja Kryptologiczna
- EUROCRYPT - Międzynarodowa Konferencja Teorii i Zastosowań Technik Kryptograficznych
- FSE — warsztaty szybkiego szyfrowania oprogramowania
- PKC - Międzynarodowe Warsztaty Praktyki i Teorii Kryptografii Klucza Publicznego
- RSA - Konferencja RSA
- TCC - Konferencja Teorii Kryptografii
Zarządzanie danymi
Konferencje na temat baz danych , systemów informatycznych , pozyskiwania informacji , eksploracji danych i sieci World Wide Web :
- CIDR - Konferencja nt. Badań nad Innowacyjnymi Systemami Danych
- CIKM - Konferencja ACM na temat zarządzania informacją i wiedzą
- ECIR – Europejska Konferencja Pozyskiwania Informacji
- ECIS - Europejska Konferencja Systemów Informacyjnych
- ER - Międzynarodowa Konferencja Modelowania Koncepcyjnego
- ICDT - Międzynarodowa Konferencja Teorii Baz Danych
- ICIS - Międzynarodowa Konferencja Systemów Informacyjnych
- ISWC - Międzynarodowa Konferencja Sieci Semantycznej
- JCDL – Wspólna konferencja ACM/IEEE na temat bibliotek cyfrowych
- KDD - Konferencja ACM SIGKDD na temat odkrywania wiedzy i eksploracji danych
- PODS - Sympozjum ACM na temat zasad systemów baz danych
- SIGIR - Doroczna Międzynarodowa Konferencja ACM SIGIR
- SIGMOD - Konferencja ACM SIGMOD
- VLDB - Międzynarodowa Konferencja Bardzo Duże Bazy Danych
- WWW - Konferencja WWW
Sztuczna inteligencja
Konferencje dotyczące sztucznej inteligencji i uczenia maszynowego :
- AAAI - Konferencja AAAI na temat sztucznej inteligencji
- AAMAS - Międzynarodowa Konferencja Agentów Autonomicznych i Systemów Wieloagentowych
- CIBB - Międzynarodowa Konferencja Metod Inteligencji Obliczeniowej dla Bioinformatyki i Biostatystyki
- ECAI - Europejska Konferencja na temat Sztucznej Inteligencji
- ECML PKDD - Europejska konferencja nt. uczenia maszynowego oraz zasad i praktyki odkrywania wiedzy w bazach danych
- ICML - Międzynarodowa Konferencja na temat Uczenia Maszynowego
- ICLR - Międzynarodowa Konferencja na temat reprezentacji uczenia się
- IJCAI - Międzynarodowa Wspólna Konferencja na temat Sztucznej Inteligencji
- ISWC - Międzynarodowa Konferencja Sieci Semantycznej
- NeurIPS - Konferencja nt. Neuronowych Systemów Przetwarzania Informacji
- RuleML - Sympozjum RuleML
Obliczenia ewolucyjne
Konferencje dotyczące obliczeń ewolucyjnych .
- AE - Konferencja Sztucznej Ewolucji
- CEC - IEEE Congress on Evolutionary Computation
- GECCO - Konferencja na temat obliczeń genetycznych i ewolucyjnych
Zautomatyzowane rozumowanie
Konferencje na temat automatycznego wnioskowania :
- IJCAR - Międzynarodowa Wspólna Konferencja nt. Zautomatyzowanego Wnioskowania
- LPAR - Międzynarodowa Konferencja Logiki Programowania, Sztucznej Inteligencji i Rozumowania
- RuleML - Sympozjum RuleML
- TABLEAUX - Międzynarodowa Konferencja nt. Zautomatyzowanego Wnioskowania z użyciem Tablic Analitycznych i Metod Pokrewnych
- WoLLIC - Warsztaty z logiki, języka, informacji i obliczeń
Wizja komputerowa
Konferencje dotyczące wizji komputerowej (w tym również analizy obrazu ) i rozpoznawania wzorców :
- BMVC - Brytyjska Konferencja Machine Vision
- CVPR - Konferencja na temat wizji komputerowej i rozpoznawania wzorców
- ECCV - Europejska Konferencja Wizji Komputerowej
- ICCV - Międzynarodowa Konferencja Wizji Komputerowej
- SCIA - Skandynawska Konferencja Analizy Obrazu
- SSIAI - IEEE Southwest Symposium on Image Analysis and Interpretation
Przetwarzanie języka naturalnego
Konferencje z zakresu lingwistyki komputerowej i przetwarzania języka naturalnego :
- ACL - Coroczne spotkanie Stowarzyszenia Lingwistyki Komputerowej
- EMNLP - Metody empiryczne w przetwarzaniu języka naturalnego
- NAACL - Doroczna konferencja północnoamerykańskiego oddziału Association for Computational Linguistics
- COLING - Międzynarodowy Komitet Lingwistyki Komputerowej
- TSD - Tekst, mowa i dialog
- CICLing - Międzynarodowa Konferencja nt. Inteligentnego Przetwarzania Tekstu i Lingwistyki Komputerowej
Grafika komputerowa
Konferencje na temat grafiki komputerowej , przetwarzania geometrii , przetwarzania obrazu i multimediów :
- Eurographics - Doroczna Konferencja Europejskiego Stowarzyszenia Grafiki Komputerowej
- MM - Międzynarodowa Konferencja Multimedialna ACM
- SGP - Sympozjum na temat przetwarzania geometrii
- SIGGRAPH - Międzynarodowa Konferencja Grafiki Komputerowej i Technik Interaktywnych
Wyobrażanie sobie
Konferencje na temat wizualizacji naukowej i wizualizacji informacji :
Interakcja człowiek-komputer
Konferencje dotyczące interakcji człowiek-komputer i interfejsów użytkownika :
- ASSETS - Międzynarodowa Konferencja ACM SIGACCESS nt. komputerów i dostępności
- CHI - Konferencja ACM na temat czynnika ludzkiego w systemach komputerowych
- GI - Interfejs graficzny
- MobileHCI - Konferencja na temat interakcji człowiek-komputer z urządzeniami i usługami mobilnymi
- SIGDOC - Międzynarodowa Konferencja ACM na temat projektowania komunikacji
- UIST - Sympozjum ACM na temat oprogramowania i technologii interfejsu użytkownika
- UMAP - Międzynarodowa Konferencja ACM na temat modelowania, adaptacji i personalizacji użytkowników
Bioinformatyka i biologia obliczeniowa
Konferencje z zakresu bioinformatyki i biologii obliczeniowej :
- CIBB - Międzynarodowa Konferencja Metod Inteligencji Obliczeniowej dla Bioinformatyki i Biostatystyki
- ISMB - Inteligentne Systemy Biologii Molekularnej
- PSB - Sympozjum na Pacyfiku na temat biokomputerów
- RECOMB - Badania w komputerowej biologii molekularnej
- WABI - Warsztaty Algorytmów w Bioinformatyce
Edukacja
Konferencje dotyczące edukacji informatycznej i nauczania elektronicznego :
- SIGCSE - Sympozjum Techniczne ACM na temat edukacji informatycznej
Zobacz też
- Lista akronimów konferencji informatycznych
- Lista czasopism informatycznych
- Lista publikacji z zakresu informatyki
- Zarys informatyki