Список конференций по информатике - List of computer science conferences
Это список научные конференции в Информатика. Включены только конференции с отдельными статьями; в каждом поле конференции перечислены в алфавитном порядке по их коротким названиям.
Общий
Алгоритмы и теория
Конференции по широкому кругу тем от теоретическая информатика, включая алгоритмы, структуры данных, вычислимость, вычислительная сложность, теория автоматов и формальные языки:
- CCC - Конференция по вычислительной сложности
- FCT - Международный симпозиум по основам теории вычислений
- FOCS - IEEE Симпозиум по основам информатики
- ИКАЛП - Международный коллоквиум по автоматам, языкам и программированию
- ИСААК - Международный симпозиум по алгоритмам и вычислениям
- MFCS - Международный симпозиум по математическим основам информатики
- STACS - Симпозиум по теоретическим аспектам информатики
- STOC - ACM Симпозиум по теории вычислений
- ВОЛЛИК - Практикум по логике, языку, информации и вычислениям
Алгоритмы
Конференции по теме алгоритмы и структуры данных рассматриваются в широком смысле, но не включают другие области теоретической информатики, такие как теория сложности вычислений:
- ЕКА - Европейский симпозиум по алгоритмам
- SODA - ACM – SIAM Симпозиум по дискретным алгоритмам
- SWAT - Скандинавский симпозиум и семинары по теории алгоритмов
- ПВА - Симпозиум по алгоритмам и структурам данных
- WAOA - Практикум по аппроксимации и онлайн-алгоритмам
Геометрические алгоритмы
Конференции по вычислительная геометрия, рисунок графика, и другие области применения геометрических вычислений:
Логика
- LICS - ACM – IEEE Симпозиум по логике в компьютерных науках
- RTA - Международная конференция по методам и приложениям перезаписи
Другие специализированные подтемы
- CIAA - Международная конференция по внедрению и применению автоматов
- CCC - Конференция по вычислительной сложности
- DCFS - Международный семинар по описательной сложности формальных систем
- DLT - Международная конференция по развитию теории языка
- ISSAC - Международный симпозиум по символьным и алгебраическим вычислениям
- Сети Петри - Международная конференция по приложениям и теории сетей Петри и параллелизма
Языки и программное обеспечение
Языки программирования
Конференции по языки программирования, теория языков программирования и компиляторы:
- CC Международная конференция по созданию компиляторов
- ECOOP - AITO Европейская конференция по объектно-ориентированному программированию
- ESOP - ETAPS Европейский симпозиум по программированию
- HOPL - ACM SIGPLAN Конференция по истории языков программирования
- ICFP - ACM SIGPLAN Международная конференция по функциональному программированию
- ICLP - ALP Международная конференция по логическому программированию
- ISMM - ACM SIGPLAN Международный симпозиум по управлению памятью
- OOPSLA - СИГПЛАН ACM Конференция по объектно-ориентированному программированию, системам, языкам и приложениям
- POPL - ACM SIGPLAN-SIGACT Симпозиум по принципам языков программирования
- PLDI - ACM SIGPLAN Конференция по разработке и реализации языков программирования
Программная инженерия
Конференции по программная инженерия:
- ASE - IEEE / ACM Международная конференция по автоматизированной разработке программного обеспечения
- ICSE - Международная конференция по программной инженерии
- ICSR - Международная конференция по повторному использованию программного обеспечения
- TACAS - ETAPS Международная конференция по инструментам и алгоритмам построения и анализа систем
- FoSSaCS - ETAPS Международная конференция по основам программирования и вычислительных структур
- FASE - ETAPS Международная конференция по фундаментальным подходам к программной инженерии
Формальные методы
Конференции по формальные методы в программной инженерии, в том числе формальная спецификация, формальная проверка, и статический анализ кода:
- CAV - Компьютерная проверка
- ФОРТЕ - ИФИП Международная конференция по формальным методам построения сетевых и распределенных систем
Параллельные, распределенные и параллельные вычисления
Конференции по одновременный, распределен, и параллельные вычисления, отказоустойчивые системы, и надежные системы:
- DEBS - Международная конференция ACM по Распределенные системы на основе событий
- ДИСК - Международный симпозиум по распределенным вычислениям
- DSN - Международная конференция по надежным системам и сетям
- ICDCS - IEEE Международная конференция по распределенным вычислительным системам
- ICPADS - IEEE Международная конференция по параллельным и распределенным системам
- IPDPS - IEEE Международный симпозиум по параллельной и распределенной обработке
- PODC - ACM Симпозиум по принципам распределенных вычислений
- PPoPP - СИГПЛАН ACM Симпозиум по принципам и практике параллельного программирования
- SIROCCO - Международный коллоквиум по структурной информационно-коммуникационной сложности
- SPAA - ACM Симпозиум по параллелизму в алгоритмах и архитектурах
- SRDS - IEEE Международный симпозиум по надежным распределенным системам
Высокопроизводительные вычисления
Конференции по высокопроизводительные вычисления, кластерные вычисления, и сеточные вычисления:
- HiPC - Международная конференция по высокопроизводительным вычислениям
- SC - Конференция по суперкомпьютерам ACM / IEEE
Операционные системы
Конференции по операционные системы, системы хранения и промежуточное ПО:
- УВД - Ежегодная техническая конференция USENIX
- БЫСТРЫЙ - Конференция USENIX по файловым технологиям и технологиям хранения
- Промежуточное ПО - ACM / IFIP / USENIX Международная конференция по промежуточному программному обеспечению
- СОСП - ACM Симпозиум по принципам операционных систем
- OSDI - ACM Операционные системы: разработка и реализация
- СИСТЕМА - ACM Международная конференция по системам и хранению
Компьютерная архитектура
Конференции по компьютерная архитектура:
- АСПЛОС - Международная конференция по архитектурной поддержке языков программирования и операционных систем
- ISCA - Международный симпозиум по компьютерной архитектуре
- МИКРО - IEEE / ACM Международный симпозиум по микроархитектуре
Компьютерное железо
Конференции по компьютерное железо:
- ISCAS - IEEE Международный симпозиум по схемам и системам
Системы автоматизированного проектирования
Конференции по системы автоматизированного проектирования и автоматизация проектирования электроники:
- ASP-DAC - Конференция по автоматизации проектирования в Азии и южной части Тихого океана
- ЦАП - Конференция по автоматизации проектирования
- ДАТА - Дизайн, автоматизация и испытания в Европе
- ICCAD - Международная конференция по автоматизированному проектированию
- ISPD - Международный симпозиум по физическому дизайну
Компьютерная сеть
Конференции по компьютерная сеть:
- GlobeCom - IEEE Конференция по глобальным коммуникациям
- ICC - IEEE Международная конференция по коммуникациям
- ICSOC - Международная конференция по сервис-ориентированным вычислениям
- ИНФОКОМ - IEEE Конференция по компьютерным коммуникациям
- SIGCOMM - Конференция ACM SIGCOMM
- СИГМЕТРИКА - ACM СИГМЕТРИКА
- ВИНО - Семинар по Интернету и сетевой экономике
Беспроводные сети и мобильные вычисления
Беспроводные сети и Мобильные вычисления, включая вездесущий и всеобъемлющие вычисления, беспроводные сети ad hoc и беспроводные сенсорные сети:
- EWSN - Европейская конференция по беспроводным сенсорным сетям
- IPSN - ACM / IEEE Международная конференция по обработке информации в сенсорных сетях
- ISWC - Международный симпозиум по носимым компьютерам
- MobiHoc - ACM Международный симпозиум по мобильным специальным сетям и вычислениям
- SenSys - ACM Конференция по встроенным сетевым сенсорным системам
Безопасность и конфиденциальность
Конференции по компьютерная безопасность и Конфиденциальность:
Криптография
Криптография конференции:
- ACNS - Прикладная криптография и сетевая безопасность
- МУРАВЬИ - Симпозиум по алгоритмической теории чисел
- ASIACRYPT - Международная конференция по теории и применению криптологии и информационной безопасности
- ЧЕС - Семинар по криптографическому оборудованию и встроенным системам
- КРИПТО - Международная конференция по криптологии
- ЕВРОКРИПТ - Международная конференция по теории и применению криптографических методов
- FSE - Мастерская быстрого программного шифрования
- PKC - Международный семинар по практике и теории криптографии с открытым ключом
- ЮАР - Конференция RSA
- TCC - Конференция по теории криптографии
Управление данными
Конференции по базы данных, информационные системы, поиск информации, сбор данных и Всемирная паутина:
- CIDR - Конференция по исследованиям инновационных систем данных
- CIKM - ACM Конференция по управлению информацией и знаниями
- ECIR - Европейская конференция по поиску информации
- ECIS - Европейская конференция по информационным системам
- ER - Международная конференция по концептуальному моделированию
- ICDT - Международная конференция по теории баз данных
- ICIS - Международная конференция по информационным системам
- ISWC - Международная конференция по семантической паутине
- JCDL - ACM / IEEE Совместная конференция по электронным библиотекам
- KDD - ACM SIGKDD Конференция по открытию знаний и интеллектуальному анализу данных
- ПОДУШКИ - ACM Симпозиум по принципам систем баз данных
- SIGIR - Ежегодный международный ACM SIGIR Конференция
- SIGMOD - Конференция ACM SIGMOD
- VLDB - Международная конференция по очень большим базам данных
- WWW - Всемирная веб-конференция
Искусственный интеллект
Конференции по искусственный интеллект и машинное обучение:
- AAAI - Конференция AAAI по искусственному интеллекту
- AAMAS - Международная конференция по автономным агентам и многоагентным системам
- CIBB - Международная конференция по методам вычислительного интеллекта в биоинформатике и биостатистике
- ECAI - Европейская конференция по искусственному интеллекту
- ECML PKDD - Европейская конференция по машинному обучению и принципам и практике обнаружения знаний в базах данных
- ICML - Международная конференция по машинному обучению
- ICLR - Международная конференция по обучающим представительствам
- IJCAI - Международная совместная конференция по искусственному интеллекту
- ISWC - Международная конференция по семантической паутине
- NeurIPS - Конференция по нейронным системам обработки информации
- RuleML - Симпозиум RuleML
Эволюционные вычисления
Конференции по Эволюционные вычисления.
- AE - Конференция по искусственной эволюции
- ЦИК - Конгресс IEEE по эволюционным вычислениям
- GECCO - Конференция по генетическим и эволюционным вычислениям
Автоматизированное рассуждение
Конференции по автоматическое рассуждение:
- IJCAR - Международная совместная конференция по автоматизированному мышлению
- LPAR - Международная конференция по логике программирования, искусственного интеллекта и мышления
- RuleML - Симпозиум RuleML
- ТАБЛИО - Международная конференция по автоматизированному мышлению с аналитическими таблицами и родственными методами
- ВОЛЛИК - Практикум по логике, языку, информации и вычислениям
Компьютерное зрение
Конференции по компьютерное зрение (включая также анализ изображений ) и распознавание образов:
- BMVC - Британская конференция по машинному зрению
- CVPR - Конференция по компьютерному зрению и распознаванию образов
- ECCV - Европейская конференция по компьютерному зрению
- ICCV - Международная конференция по компьютерному зрению
- SCIA - Скандинавская конференция по анализу изображений
- ГАИАИ - Юго-западный симпозиум IEEE по анализу и интерпретации изображений
Обработка естественного языка
Конференции по компьютерная лингвистика и обработка естественного языка:
- ACL - Ежегодное собрание Ассоциации компьютерной лингвистики
- ЕМНЛП - Эмпирические методы обработки естественного языка
- NAACL - Ежегодная конференция Североамериканского отделения Ассоциации компьютерной лингвистики
- ОГРАНИЧЕНИЕ - Международный комитет по компьютерной лингвистике
- TSD - Текст, речь и диалог
- CICLing - Международная конференция по интеллектуальной обработке текстов и компьютерной лингвистике
Компьютерная графика
Конференции по компьютерная графика, обработка геометрии, обработка изображений, и мультимедиа:
- Еврография - Ежегодная конференция Европейской ассоциации компьютерной графики
- ММ - АКМ Международная конференция по мультимедиа
- SGP - Симпозиум по обработке геометрии
- СИГГРАФ - Международная конференция по компьютерной графике и интерактивным технологиям
Визуализация
Конференции по научная визуализация и визуализация информации:
Взаимодействие человека с компьютером
Конференции по взаимодействие человека с компьютером и пользовательские интерфейсы:
- РЕСУРСЫ - Международная конференция ACM SIGACCESS по компьютерам и доступности
- CHI - ACM Конференция по человеческому фактору в вычислительных системах
- GI - Графический интерфейс
- MobileHCI - Конференция по человеко-компьютерному взаимодействию с мобильными устройствами и сервисами
- SIGDOC - Международная конференция ACM по дизайну коммуникаций
- UIST - Симпозиум ACM по программному обеспечению и технологиям пользовательского интерфейса
- UMAP - ACM Международная конференция по пользовательскому моделированию, адаптации и персонализации
Биоинформатика и вычислительная биология
Конференции по биоинформатика и вычислительная биология:
- CIBB - Международная конференция по методам вычислительного интеллекта в биоинформатике и биостатистике
- ISMB - Интеллектуальные системы для молекулярной биологии
- PSB - Тихоокеанский симпозиум по биокомпьютингу
- РЕКОМБ - Исследования в области вычислительной молекулярной биологии
- WABI - Практикум по алгоритмам в биоинформатике
Образование
Конференции по образование в области информатики и электронное обучение:
Смотрите также
- Список сокращений конференций по информатике
- Список журналов по информатике
- Список публикаций по информатике
- Очерк информатики