Список конференций и семинаров ТКС

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

Я задам вопрос ответом, содержащим несколько «очевидных» конференций. Пожалуйста, не стесняйтесь редактировать мой ответ и / или публиковать дополнительные ответы самостоятельно.

Стандартное сокращение конференции, название конференции, тема, любые дополнительные примечания.

Предназначен как вики сообщества.

ОБЩИЕ СВЕДЕНИЯ :

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

CC: СЛОЖНОСТЬ

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

КГ: ВЫЧИСЛИТЕЛЬНАЯ ГЕОМЕТРИЯ

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

CR: КРИПТОГРАФИЯ И БЕЗОПАСНОСТЬ

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

DB: Теория базы данных

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

DC: РАСПРЕДЕЛЕННЫЕ, ПАРАЛЛЕЛЬНЫЕ И КЛАСТЕРНЫЕ ВЫЧИСЛЕНИЯ

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

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

• WG, Международный семинар по теоретико-графическим понятиям в информатике
• ЛАГОС, Латиноамериканские алгоритмы, графики и оптимизационный симпозиум

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

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

FL: ТЕОРИЯ АВТОМАТОВ И ФОРМАЛЬНЫЕ ЯЗЫКИ

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

GT: АЛГОРИТМИЧЕСКАЯ ТЕОРИЯ ИГР

• EC, электронная коммерция
• SAGT, Международный симпозиум по теории алгоритмических игр
• WINE, семинар по интернету и сетевой экономике

LG: теория обучения

• COLT, конференция по теории обучения
• ALT, Алгоритмическая теория обучения

LO: ЛОГИКА В КОМПЬЮТЕРНОЙ НАУКЕ

• LICS, IEEE Симпозиум по логике в информатике
• КОНКУР, Международная конференция по теории параллелизма
• CSL, компьютерная логика
• CiE, вычислимость в Европе
• LCC, Международный семинар по логике и вычислительной сложности
• WoLLIC, семинар по логике, языку, информации и вычислениям
• Основные моменты логики, игр и автоматов

PL: ЯЗЫКИ ПРОГРАММИРОВАНИЯ

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

SC: СИМВОЛИЧЕСКИЕ ВЫЧИСЛЕНИЯ

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

Доказательство теоремы

• CADE, Международная конференция по автоматическому удержанию
• ITP, интерактивное доказательство теорем
• 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 очень практичен, на мой взгляд.

Ссылки на комбинаторные конференции

Теория Конференция