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

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

Общие [ править ]

• FCRC - Конференция по исследованиям федеративных вычислений

Алгоритмы и теория [ править ]

ESA 2009

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

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

Алгоритмы [ править ]

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

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

Геометрические алгоритмы [ править ]

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

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

Логика [ править ]

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

Другие специализированные подтемы [ править ]

• CIAA - Международная конференция по внедрению и применению автоматов
• CCC - Конференция по вычислительной сложности
• DCFS - Международный семинар по описательной сложности формальных систем
• DLT - Международная конференция по развитию теории языка
• ISSAC - Международный симпозиум по символьным и алгебраическим вычислениям
• Сети Петри - Международная конференция по приложениям и теории сетей Петри и параллелизма
• 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 по формальным технологиям для сетевых и распределенных систем

Параллельные, распределенные и параллельные вычисления [ править ]

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

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

Высокопроизводительные вычисления [ править ]

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

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

Операционные системы [ править ]

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

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

Компьютерная архитектура [ править ]

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

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

Компьютерное оборудование [ править ]

Конференции по компьютерному оборудованию :

• ISCAS - Международный симпозиум IEEE по схемам и системам

Компьютерный дизайн [ править ]

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

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

Компьютерные сети [ править ]

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

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

Беспроводные сети и мобильные вычисления [ править ]

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

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

Безопасность и конфиденциальность [ править ]

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

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

Криптография [ править ]

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

• ACNS - прикладная криптография и сетевая безопасность
• ANTS - Симпозиум по теории алгоритмических чисел
• ASIACRYPT - Международная конференция по теории и применению криптологии и информационной безопасности
• CHES - Семинар по криптографическому оборудованию и встроенным системам
• CRYPTO - Международная конференция по криптологии
• EUROCRYPT - Международная конференция по теории и применению криптографических методов
• FSE - Мастерская быстрого программного шифрования
• PKC - Международный семинар по практике и теории криптографии с открытым ключом
• RSA - Конференция RSA
• TCC - Конференция по теории криптографии

Управление данными [ править ]

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

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

Искусственный интеллект [ править ]

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

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

Эволюционные вычисления [ править ]

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

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

Автоматическое рассуждение [ править ]

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

• IJCAR - Международная совместная конференция по автоматизированному мышлению
• LPAR - Международная конференция по логике программирования, искусственного интеллекта и мышления
• RuleML - Симпозиум RuleML
• ТАБЛО - Международная конференция по автоматизированному мышлению с аналитическими таблицами и родственными методами
• WoLLIC - Мастерская по логике, языку, информации и вычислениям

Компьютерное зрение [ править ]

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

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

Обработка естественного языка [ править ]

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

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

Компьютерная графика [ править ]

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

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

Визуализация [ править ]

Конференции по научной визуализации и визуализации информации :

• VIS - Конференция по визуализации IEEE

Взаимодействие человека и компьютера [ править ]

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

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

Биоинформатика и вычислительная биология [ править ]

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

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

Образование [ править ]

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

• SIGCSE - Технический симпозиум ACM по образованию в области компьютерных наук

См. Также [ править ]

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

Внешние ссылки [ править ]

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