Chciałbym prosić o pomoc w opracowaniu listy jak największej liczby konferencji i warsztatów związanych z TCS. Moją główną motywacją do tego jest zaplanowanie potencjalnego zasięgu blogów na temat większej liczby miejsc teoretycznych - znalezienie korespondentów biorących udział w tych wydarzeniach, którzy byliby gotowi napisać krótkie lub szczegółowe wpisy na blogu o wydarzeniach, w których biorą udział. Poza tym mam nadzieję, że taka lista dałaby każdemu lepsze pojęcie o ukształtowaniu terenu teorii.
Zasadzę pytanie odpowiedzią zawierającą kilka „oczywistych” konferencji. Edytuj moją odpowiedź i / lub opublikuj własne dodatkowe odpowiedzi.
Standardowy skrót konferencji, nazwa konferencji, przedmiot, wszelkie dodatkowe uwagi.
Przeznaczony jako wiki społeczności.
źródło
Odpowiedzi:
OGÓLNE :
(A: algorytmy, złożoność, B: logika, semantyka, C: sieci)
CC: KOMPLEKSOWOŚĆ
CG: GEOMETRIA OBLICZENIOWA
CR: KRYPTOGRAFIA I BEZPIECZEŃSTWO
DB: TEORIA BAZY DANYCH
DC: KOMPUTERY DYSTRYBUCYJNE, RÓWNOLEGŁE I KLASTROWE
DM: DYSKRETNA MATEMATYKA I KOMBINATORIA
DS: STRUKTURY DANYCH I ALGORYTMY
FL: TEORIA AUTOMATYCZNA I FORMALNE JĘZYKI
GT: ALGORYTMICZNA TEORIA GRY
LG: TEORIA NAUKI
LO: LOGIKA W NAUCE KOMPUTERA
PL: JĘZYKI PROGRAMOWANIA
SC: OBLICZANIE SYMBOLICZNE
DOWODZENIE TEOREMU
KWANT
RO: Robotyka
BIOLOGIA OBLICZENIOWA
INNY
źródło
Kalendarz konferencji przez confsearch.org (brak: AMW, urządzeń wielofunkcyjnych FPSAC, ITC, QCRYPT DCM).
źródło
Ta lista konferencji Toma Friedetzky'ego i Daniela Paulusmy to kolejne miłe źródło informacji.
źródło
Ta lista nadchodzących wydarzeń cs jest moim zdaniem bardzo praktyczna.
źródło
Linki do konferencji kombinatorycznych
Konferencja teorii
źródło