Перелік конференцій і семінарів ТКС

Я хотів би попросити допомоги у складанні списку якомога більше конференцій та семінарів, що стосуються TCS. Моя основна мотивація для цього полягає в плануванні можливого висвітлення в блозі більшої кількості теоретичних майданчиків - пошуку кореспондентів, які відвідують ці заходи, які бажають написати або короткі, або поглиблені записи в блозі про події, які вони відвідують. Окрім цього, я сподіваюся, що такий список дозволить кожному краще зрозуміти, як лежить земля теорії.

Я покладу питання на відповідь, що містить кілька "очевидних" конференцій. Будь ласка, не змінюйте мою відповідь та / або публікуйте додаткові відповіді.

Стандартна абревіатура конференції, назва конференції, тема, будь-які додаткові примітки.

Зазначається як вікі спільноти.

ЗАГАЛЬНІ :

• STOC, симпозіум ACM з теорії обчислень
• Симпозіум FOCS, IEEE про основи інформатики
• Міжнародний колоквіум ICALP EATCS з питань автоматів, мов та програмування
  (A: алгоритми, складність, B: логіка, семантика, C: мережі)
• FOSSACS, Основи програмного забезпечення та обчислювальної структури
• STACS, симпозіум з теоретичних аспектів інформатики
• MFCS, Математичні основи інформатики
• FSTTCS, Основи програмної технології та теоретичні інформатики
• COCOON, конференція з обчислювальної техніки та комбінаторики
• ITCS, інновації в теоретичній інформатиці
• КСВ, Інформатика в Росії
• ISAAC, Міжнародний симпозіум з алгоритмів та обчислень
• TAMC, теорія та застосування моделей обчислення
• COCOA, конференція з комбінаторної оптимізації та застосувань
• ФМ, Формальні методи
• ПКТ, Основи теорії обчислень
• ЛАТИН, Латиноамериканський симпозіум з теоретичної інформатики
• SOFSEM, Конференція про сучасні тенденції теорії та практики інформатики
• TASE, Теоретичні аспекти інженерії програмного забезпечення

CC: КОМПЛЕКСНІСТЬ

• Конференція CCC, IEEE про складність обчислень
• SIROCCO, Міжнародний колоквіум про структурну складність інформації та комунікацій

CG: КОМП'ЮТЕРНА ГЕОМЕТРІЯ

• SOCG, симпозіум з обчислювальної геометрії
• CCCG, Канадська конференція з обчислювальної геометрії
• EuroCG, Європейський семінар з обчислювальної геометрії

CR: КРИПТОГРАФІЯ ТА БЕЗПЕКА

• CRYPTO, Міжнародна конференція з криптології
• ЄВРОКРИПТ, конференція з теорії та застосування криптографічних методик
• ASIACRYPT, конференція з теорії та застосування криптології
• LATINCRYPT, Міжнародна конференція з криптології та інформаційної безпеки в Латинській Америці
• AFRICACRYPT, Міжнародна конференція з криптології в Африці
• PQCRYPTO, Міжнародна конференція з постквантової криптографії
• TCC, Конференція з теорії криптографії
• PKC, Міжнародна конференція з практики та теорії криптографії з відкритим ключем
• FSE, конференція з швидкого шифрування програмного забезпечення
• CHES, конференція з криптографічного обладнання та вбудованих систем
• IEEE S&P, IEEE симпозіум з безпеки та конфіденційності
• Конференція CCS, ACM з питань комп'ютерної та комунікаційної безпеки
• POST, Принципи безпеки та довіри
• CSF, симпозіум з основ комп'ютерної безпеки

БД: ТЕОРІЯ ДАНИНИ

• SIGMOD / PODS, симпозіум ACM щодо принципів систем баз даних (обидва приймають теорію, але SIGMOD має ширший спектр)
• ICDT, Міжнародна конференція з теорії баз даних
• VLDB, дуже великі бази даних
• AMW, Міжнародний семінар з питань управління даними Альберто Мендельзона

DC: РОЗПРОЧЕННЯ, ПАРАЛЕЛЬ І КОМП'ЮТЕРНЯ КЛАСТЕРІВ

• PODC, симпозіум ACM про принципи розподілених обчислень
• DISC, Міжнародний симпозіум з розподілених обчислень
• SPAA, ACM симпозіум про паралелізм в алгоритмах та архітектурах
• IPDPS, IEEE Міжнародний симпозіум з паралельної та розподіленої обробки
• ICDCN, Міжнародна конференція з розподілених обчислень та мереж
• OPODIS, Міжнародна конференція з принципів розподілених систем
• SSS, Міжнародний симпозіум зі стабілізації, безпеки та безпеки розподілених систем
• Альгосенсори, Міжнародний симпозіум з алгоритмів сенсорних систем, бездротових спеціальних мереж та автономних мобільних організацій

ДМ: ДИСКРЕТНА МАТЕМАТИКА ТА КОМБІНАТОРІКА

• РГ, Міжнародний семінар з графіко-теоретичних понять з інформатики
• LAGOS, Латиноамериканські алгоритми, графіки та оптимізаційний симпозіум

DS: СТРУКТУРИ ДАНИХ І АЛГОРИТМИ

• Симпозіум SODA, ACM-SIAM з дискретних алгоритмів
• ESA, Європейський симпозіум з алгоритмів (трек A теоретичний)
• Симпозіум WADS, Алгоритми та структури даних
• SAT, теорія та застосування тестування на відповідність
• Спецназ, скандинавський симпозіум та практикуми з теорії алгоритму
• ALENEX, Алгоритм інженерії та експериментації
• SOSA, симпозіум про простоту в алгоритмах
• IPCO, цілісне програмування та комбінаторна оптимізація
• APPROX / RANDOM, практикум з алгоритмів апроксимації для проблем оптимізації / практикум з рандомізації та обчислення
• WAOA, семінар з апроксимації та онлайн-алгоритмів
• IPEC, Міжнародний симпозіум з параметризованих та точних обчислень
• IWOCA, Міжнародний семінар з комбінаторних алгоритмів
• WAW, практикум з алгоритмів та моделей для веб-графіки
• CPM, збіг комбінаторних зразків
• КП, принципи та практика програмування обмежень

FL: АВТОМАТИЧНА ТЕОРІЯ ТА ФОРМАЛЬНІ МОВИ

• DLT, Міжнародна конференція з розвитку мовної теорії
• LATA, теорія мови та автоматів та програми
• AFL, автомати та формальні мови
• NCMA, некласичні моделі автоматів та додатків
• CIAA, Міжнародна конференція з впровадження та застосування автоматів
• DFCS, описова складність формальних систем

GT: АЛГОРИТМИЧНА ТЕОРІЯ ІГР

• EC, Електронна комерція
• SAGT, Міжнародний симпозіум з теорії алгоритмічних ігор
• ВИНО, практикум з питань Інтернет та мережевої економіки

LG: НАВЧАЛЬНА ТЕОРІЯ

• COLT, Конференція з теорії навчання
• ALT, Алгоритмічна теорія навчання

Ло: Логіка в комп'ютерній науці

• LICS, IEEE симпозіум з логіки в інформатиці
• CONCUR, Міжнародна конференція з теорії валюти
• CSL, Логіка інформатики
• CiE, обчислювальність у Європі
• LCC, Міжнародний семінар з логіки та обчислювальної складності
• WoLLIC, практикум з логіки, мови, інформації та обчислень
• Основні моменти логіки, ігор та автоматів

PL: МОВИ ПРОГРАММУВАННЯ

• POPL, Принципи мов програмування
• ICFP, Міжнародна конференція з функціонального програмування
• ETAPS, Європейські спільні конференції з теорії та практики програмного забезпечення (включає FOSSACS, ESOP та POST, див. Окремі записи)
• ESOP, Європейський симпозіум з програмування
• MSFP, Математично структуроване функціональне програмування
• MFPS, Математичні основи семантики програмування

SC: СИМБОЛІЧНА КОМП'ЮТАЦІЯ

• ISSAC: Міжнародний симпозіум з символічного та алгебраїчного обчислення
• FPSAC: формальні енергетичні серії та алгебраїчна комбінаторика
• CASC: Комп'ютерна алгебра в науковому обчисленні
• SNC: Символічні чисельні обчислення

НАДАННЯ ТЕОРЕМ

• CADE, Міжнародна конференція з автоматизованого вирахування
• ІТП, Інтерактивне доведення теореми
• CPP, сертифіковані докази та програми

КВАНТУМ

• QIP, практикум з квантової обробки інформації
• QCMC, Міжнародна конференція з квантової комунікації, інформації та обчислень
• TQC, теорія квантового обчислення, комунікації та криптографії
• AQIS, Азіатська конференція з квантової інформатики
• QCRYPT, Конференція з квантової криптографії
• QEC, Міжнародна конференція з виправлення квантових помилок
• CEQIP, Центрально-Європейський семінар з квантової обробки інформації

РО: Роботика

• WAFR, практикум з алгоритмічного фундаменту робототехніки .

КОМП'ЮТЕРНА БІОЛОГІЯ

• РЕКОМБ: Дослідження з обчислювальної молекулярної біології
• ISMB: Інтелектуальні системи для молекулярної біології
• WABI: практикум з алгоритмів біоінформатики

ІНШИЙ

• CAV, комп'ютерне підтвердження
• GD, Міжнародний симпозіум з графічного малювання
• FUN, Міжнародна конференція із розваг з алгоритмами
• ДНК, обчислення ДНК та молекулярне програмування (ДНК обчислення, трек А теоретичний, трек В - експериментальний)
• DCM, Розробки в обчислювальних моделях
• RTA, Технології та програми переписування
• TLCA, введені лямбда-калькулятори та програми
• UCNC, нетрадиційні обчислення та природні обчислення

Календар конференції від confsearch.org (відсутні: AMW, MFPS, FPSAC, ITCS, QCRYPT, DCM).

Цей список конференцій Тома Фридецького та Даніеля Паулусма - ще один приємний ресурс.

Цей перелік майбутніх подій cs , на мою думку, дуже практичний.

Посилання на комбінаторні конференції

Теоретична конференція