Список конференций по информатике

Это список академических конференций по информатике . Включены только конференции с отдельными статьями; в каждой области конференции перечислены в алфавитном порядке по их кратким названиям.

• FCRC – Федеративная конференция по исследованиям в области вычислений

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

• CCC - Конференция по вычислительной сложности
• FCT – Международный симпозиум по основам теории вычислений
• FOCS – Симпозиум IEEE по основам компьютерной науки
• ICALP – Международный коллоквиум по автоматам, языкам и программированию
• ISAAC – Международный симпозиум по алгоритмам и вычислениям
• MFCS – Международный симпозиум по математическим основам информатики
• STACS – Симпозиум по теоретическим аспектам компьютерной науки
• Симпозиум STOC – ACM по теории вычислений
• WoLLIC – Семинар по логике, языку, информации и вычислениям

Конференции, тематика которых — алгоритмы и структуры данных в широком смысле, но которые не включают другие области теоретической информатики, такие как теория сложности вычислений:

• ESA – Европейский симпозиум по алгоритмам
• Симпозиум SODA – ACM–SIAM по дискретным алгоритмам
• SWAT и WADS – конференции SWAT и WADS

Конференции по вычислительной геометрии , построению графов и другим областям применения геометрических вычислений:

• GD – Международный симпозиум по рисованию графов
• SoCG – Симпозиум по вычислительной геометрии

• LICS – Симпозиум ACM–IEEE по логике в компьютерных науках
• RTA – Международная конференция по методам и приложениям переписывания

• CIAA – Международная конференция по внедрению и применению автоматов
• CCC – Конференция по вычислительной сложности
• DCFS – Международный семинар по описательному анализу формальных систем
• DLT – Международная конференция по развитию теории языка
• ISSAC – Международный симпозиум по символьным и алгебраическим вычислениям
• Petri Nets - Международная конференция по приложениям и теории сетей Петри и параллелизма
• RP – Международная конференция по проблемам достижимости
• SEA – Симпозиум по экспериментальным алгоритмам

Конференции по языкам программирования , теории языков программирования и компиляторам :

• CC Международная конференция по конструированию компиляторов
• ECOOP – Европейская конференция AITO по объектно-ориентированному программированию
• ESOP – Европейский симпозиум по программированию ETAPS
• HOPL – ACM SIGPLAN Конференция по истории языков программирования
• ICFP – ACM SIGPLAN Международная конференция по функциональному программированию
• ICLP – Международная конференция ALP по логическому программированию
• Международный симпозиум ISMM – ACM SIGPLAN по управлению памятью
• OOPSLA – Конференция ACM SIGPLAN по объектно-ориентированному программированию, системам, языкам и приложениям
• Симпозиум POPL – ACM SIGPLAN-SIGACT по принципам языков программирования
• PLDI – Конференция ACM SIGPLAN по проектированию и реализации языков программирования

Конференции по программной инженерии :

• ASE – Международная конференция IEEE/ACM по автоматизированной разработке программного обеспечения
• ICSE – Международная конференция по программной инженерии
• ICSR – Международная конференция по повторному использованию программного обеспечения
• TACAS - ETAPS Международная конференция по инструментам и алгоритмам для построения и анализа систем
• FoSSaCS - Международная конференция ETAPS по основам науки о программном обеспечении и вычислительных структур
• FASE - Международная конференция ETAPS по фундаментальным подходам к программной инженерии

Конференции по формальным методам в программной инженерии, включая формальную спецификацию , формальную верификацию и статический анализ кода :

• CAV – Компьютерная проверка
• FORTE – Международная конференция IFIP по формальным методам для сетевых и распределенных систем

Конференции по параллельным , распределенным и одновременным вычислениям , отказоустойчивым системам и надежным системам:

• CCGrid - Международный симпозиум IEEE/ACM по кластерным, облачным и интернет-вычислениям
• CLUSTER - Международная конференция IEEE по кластерным вычислениям
• CONCUR - Международная конференция по теории параллелизма
• DEBS - Международная конференция ACM по распределенным системам на основе событий
• DISC - Международный симпозиум по распределенным вычислениям
• DSN - Международная конференция по надежным системам и сетям
• ICDCS - Международная конференция IEEE по распределенным вычислительным системам
• ICPADS - Международная конференция IEEE по параллельным и распределенным системам
• ICPP - Международная конференция по параллельной обработке
• IPDPS - Международный симпозиум IEEE по параллельной и распределенной обработке
• PODC - Симпозиум ACM по принципам распределенных вычислений
• PPoPP - Симпозиум ACM SIGPLAN по принципам и практике параллельного программирования
• SIROCCO - Международный коллоквиум по структурной информации и коммуникационной сложности
• Симпозиум SPAA - ACM по параллелизму в алгоритмах и архитектурах
• SRDS - Международный симпозиум IEEE по надежным распределенным системам

Конференции по высокопроизводительным вычислениям , кластерным вычислениям и грид-вычислениям :

• HiPC — Международная конференция по высокопроизводительным вычислениям
• SC - Международная конференция ACM/IEEE по высокопроизводительным вычислениям, сетям, хранению и анализу
• HPDC - ACM Высокопроизводительные параллельные и распределенные вычисления
• ICS - Международная конференция ACM по суперкомпьютерам

Конференции по операционным системам , системам хранения данных и промежуточному программному обеспечению :

• ATC - Ежегодная техническая конференция USENIX
• Middleware - Международная конференция ACM/IFIP/USENIX Middleware
• SOSP - Симпозиум ACM по принципам операционных систем
• Симпозиум OSDI - USENIX по проектированию и внедрению операционных систем
• SYSTOR - Международная конференция ACM по системам и системам хранения данных

Конференции по компьютерной архитектуре :

• ASPLOS — Международная конференция по архитектурной поддержке языков программирования и операционных систем
• ISCA — Международный симпозиум по компьютерной архитектуре
• MICRO - Международный симпозиум IEEE/ACM по микроархитектуре

Конференции по автоматизированному проектированию и автоматизации электронного проектирования :

• ASP-DAC — Конференция по автоматизации проектирования в Азии и Южном Тихоокеанском регионе
• DAC - Конференция по автоматизации проектирования
• ДАТА - Проектирование, автоматизация и испытания в Европе
• ICCAD - Международная конференция по автоматизированному проектированию
• ISPD - Международный симпозиум по физическому дизайну

Конференции по компьютерным сетям :

• GlobeCom — Глобальная конференция по коммуникациям IEEE
• ICC - Международная конференция IEEE по коммуникациям
• ICSOC — Международная конференция по сервисно-ориентированным вычислениям
• INFOCOM - Конференция IEEE по компьютерным коммуникациям
• СИГМЕТРИКА - ACM СИГМЕТРИКА
• WINE - Семинар по Интернету и сетевой экономике

Беспроводные сети и мобильные вычисления , включая повсеместные и всепроникающие вычисления , беспроводные специальные сети и беспроводные сенсорные сети :

• EWSN — Европейская конференция по беспроводным сенсорным сетям
• IPSN - Международная конференция ACM/IEEE по обработке информации в сенсорных сетях
• ISWC — Международный симпозиум по носимым компьютерам
• SenSys — конференция ACM по встраиваемым сетевым сенсорным системам

Конференции по компьютерной безопасности и конфиденциальности :

• DSN - Международная конференция по надежным системам и сетям

Конференции по криптографии :

• ANTS - Симпозиум по алгоритмической теории чисел
• RSA - Конференция RSA

Конференции по базам данных , информационным системам , поиску информации , интеллектуальному анализу данных и Всемирной паутине :

• BTW - Конференция GI по системам баз данных для бизнеса, технологий и Интернета
• CIDR — Конференция по инновационным исследованиям систем данных
• CIKM - Конференция ACM по управлению информацией и знаниями
• ECIR - Европейская конференция по поиску информации
• ECIS - Европейская конференция по информационным системам
• ER - Международная конференция по концептуальному моделированию
• ICDT - Международная конференция по теории баз данных
• ICIS - Международная конференция по информационным системам
• ISWC - Международная конференция по семантической паутине
• JCDL — Совместная конференция ACM/IEEE по цифровым библиотекам
• PODS - Симпозиум ACM по принципам систем баз данных
• SIGMOD - Специальная группа ACM по управлению данными
• VLDB — Международная конференция по сверхбольшим базам данных
• WWW - Всемирная паутина Конференция

Конференции по искусственному интеллекту и машинному обучению :

• AAAI - Конференция AAAI по искусственному интеллекту
• AAMAS - Международная конференция по автономным агентам и многоагентным системам
• ICAPS - Международная конференция по автоматизированному планированию и составлению расписаний
• CIBB - Международная конференция по методам вычислительного интеллекта для биоинформатики и биостатистики
• ECAI — Европейская конференция по искусственному интеллекту
• ECML PKDD — Европейская конференция по машинному обучению и принципам и практике обнаружения знаний в базах данных
• ICML — Международная конференция по машинному обучению
• ICLR - Международная конференция по обучению репрезентациям
• IJCAI — Международная совместная конференция по искусственному интеллекту
• ISWC - Международная конференция по семантической паутине
• NeurIPS - Конференция по нейронным системам обработки информации
• RuleML - Симпозиум RuleML

Конференции по эволюционным вычислениям .

• AE - Конференция по искусственной эволюции
• CEC - Конгресс IEEE по эволюционным вычислениям
• GECCO - Конференция по генетическим и эволюционным вычислениям

Конференции по автоматизированному мышлению :

• IJCAR - Международная совместная конференция по автоматизированному рассуждению
• LPAR — Международная конференция по логике для программирования, искусственного интеллекта и рассуждений
• RuleML - Симпозиум RuleML
• TABLEAUX - Международная конференция по автоматизированным рассуждениям с использованием аналитических таблиц и связанных с ними методов
• WoLLIC — Семинар по логике, языку, информации и вычислениям

Конференции по компьютерному зрению (включая анализ изображений ) и распознаванию образов :

• BMVC — Британская конференция по машинному зрению
• CVPR — Конференция IEEE по компьютерному зрению и распознаванию образов
• ECCV — Европейская конференция по компьютерному зрению
• ICCV - Международная конференция по компьютерному зрению
• SCIA — Скандинавская конференция по анализу изображений
• SSIAI - Симпозиум IEEE Southwest по анализу и интерпретации изображений

Конференции по компьютерной лингвистике и обработке естественного языка :

• EMNLP - Эмпирические методы обработки естественного языка
• COLING - Международный комитет по компьютерной лингвистике
• TSD - Текст, Речь и Диалог
• CICLing — Международная конференция по интеллектуальной обработке текста и компьютерной лингвистике

Конференции по компьютерной графике , обработке геометрии , обработке изображений и мультимедиа :

• MM - Международная конференция ACM по мультимедиа
• SGP - Симпозиум по обработке геометрии
• SIGGRAPH - Международная конференция по компьютерной графике и интерактивным технологиям

Конференции по взаимодействию человека с компьютером и пользовательским интерфейсам :

• CHI - Конференция ACM по человеческому фактору в вычислительных системах
• GI - Графический Интерфейс
• MobileHCI — Конференция по взаимодействию человека и компьютера с мобильными устройствами и сервисами
• Симпозиум UIST- ACM по программному обеспечению и технологиям пользовательского интерфейса
• UMAP — Международная конференция ACM по моделированию, адаптации и персонализации пользователей

Конференции по биоинформатике и вычислительной биологии :

• CIBB - Международная конференция по методам вычислительного интеллекта для биоинформатики и биостатистики
• ISMB - Интеллектуальные системы для молекулярной биологии
• PSB - Тихоокеанский симпозиум по биокомпьютингу
• RECOMB - Исследования в области вычислительной молекулярной биологии

• Список сокращений конференций по информатике
• Список журналов по информатике
• Очерк компьютерной науки

• База данных DBLP с конференциями и семинарами
• Список конференций по информатике, ранжированных по индексу Хирша