Список конференций по информатике
Это список научных конференций по информатике . Включены только конференции с отдельными статьями; внутри каждого поля конференции перечислены в алфавитном порядке по их коротким названиям.
Общие [ править ]
Алгоритмы и теория [ править ]
Конференции, принимающие широкий спектр тем из теоретической информатики , включая алгоритмы , структуры данных , вычислимость , вычислительную сложность , теорию автоматов и формальные языки :
- CCC - Конференция по сложности вычислений
- FCT – Международный симпозиум по основам теории вычислений
- FOCS - Симпозиум IEEE по основам информатики
- ICALP – Международный коллоквиум по автоматам, языкам и программированию
- ISAAC – Международный симпозиум по алгоритмам и вычислениям
- MFCS - Международный симпозиум по математическим основам информатики
- STACS - Симпозиум по теоретическим аспектам информатики
- STOC – Симпозиум ACM по теории вычислений
- WoLLIC – Семинар по логике, языку, информации и вычислениям
Алгоритмы [ править ]
Конференции, темой которых являются алгоритмы и структуры данных в широком смысле, но которые не включают другие области теоретической информатики, такие как теория сложности вычислений:
- ESA – Европейский симпозиум по алгоритмам
- SODA – Симпозиум ACM – SIAM по дискретным алгоритмам
- SWAT и WADS - конференции SWAT и WADS
Геометрические алгоритмы [ править ]
Конференции по вычислительной геометрии , рисованию графов и другим прикладным областям геометрических вычислений:
Логика [ править ]
- 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 – Международная конференция
Параллельные, распределенные и параллельные вычисления [ править ]
Конференции по параллельным , распределенным и параллельным вычислениям , отказоустойчивым системам и надежным системам:
- CONCUR - Международная конференция по теории параллелизма
- DEBS - Международная конференция ACM по распределенным системам, основанным на событиях
- DISC - Международный симпозиум по распределенным вычислениям
- DSN - Международная конференция по надежным системам и сетям
- ICDCS - Международная конференция IEEE по распределенным вычислительным системам
- ICPADS - Международная конференция IEEE по параллельным и распределенным системам
- IPDPS - Международный симпозиум IEEE по параллельной и распределенной обработке
- PODC — Симпозиум ACM по принципам распределенных вычислений
- PPoPP - Симпозиум ACM SIGPLAN по принципам и практике параллельного программирования
- СИРОККО - Международный коллоквиум по структурной информации и сложности связи
- SPAA - Симпозиум ACM по параллелизму в алгоритмах и архитектурах
- SRDS — Международный симпозиум IEEE по надежным распределенным системам
Высокопроизводительные вычисления [ править ]
Конференции по высокопроизводительным вычислениям , кластерным вычислениям и грид-вычислениям :
- HiPC - Международная конференция по высокопроизводительным вычислениям
- SC - Конференция по суперкомпьютерам ACM/IEEE
Операционные системы [ править ]
Конференции по операционным системам , системам хранения и промежуточному ПО :
- ATC - Ежегодная техническая конференция USENIX
- ACM/IFIP/USENIX Промежуточное программное обеспечение - Международная конференция по промежуточному программному обеспечению
- SOSP - Симпозиум ACM по принципам операционных систем
- SYSTOR - Международная конференция ACM по системам и системам хранения данных
Архитектура компьютера [ править ]
Конференции по компьютерной архитектуре :
- ASPLOS - Международная конференция по архитектурной поддержке языков программирования и операционных систем
- ISCA - Международный симпозиум по компьютерной архитектуре
- MICRO - Международный симпозиум IEEE/ACM по микроархитектуре
Компьютерное проектирование [ править ]
Конференции по системам автоматизированного проектирования и автоматизации электронного проектирования :
- ASP-DAC - Конференция по автоматизации проектирования в Азии и Южно-Тихоокеанском регионе
- DAC - Конференция по автоматизации проектирования
- ДАТА – Проектирование, автоматизация и испытания в Европе
- ICCAD - Международная конференция по компьютерному проектированию
- ISPD - Международный симпозиум по физическому дизайну
Компьютерные сети [ править ]
Конференции по компьютерным сетям :
- GlobeCom - Конференция по глобальным коммуникациям IEEE
- ICC - Международная конференция IEEE по коммуникациям
- ICSOC - Международная конференция по сервис-ориентированным вычислениям
- ИНФОКОМ - Конференция IEEE по компьютерным коммуникациям
- СИГМЕТРИКИ - ACM СИГМЕТРИКИ
- WINE - Семинар по Интернету и сетевой экономике
сети и Беспроводные компьютеры мобильные
Беспроводные сети и мобильные компьютеры , включая повсеместные и всеобъемлющие вычисления , беспроводные одноранговые сети и беспроводные сенсорные сети :
- EWSN - Европейская конференция по беспроводным сенсорным сетям
- IPSN - Международная конференция ACM/IEEE по обработке информации в сенсорных сетях
- ISWC - Международный симпозиум по портативным компьютерам
- SenSys - Конференция ACM по встраиваемым сетевым сенсорным системам
Безопасность и конфиденциальность [ править ]
Конференции по компьютерной безопасности и конфиденциальности :
Криптография [ править ]
по криптографии Конференции :
- ANTS - Симпозиум по алгоритмической теории чисел
- ЮАР - Конференция ЮАР
Управление данными [ править ]
Конференции по базам данных , информационным системам , информационному поиску , интеллектуальному анализу данных и Всемирной паутине :
- Кстати - Конференция GI по системам баз данных для бизнеса, технологий и Интернета
- CIDR - Конференция по исследованию инновационных систем данных
- CIKM - Конференция ACM по управлению информацией и знаниями
- ECIR - Европейская конференция по информационному поиску
- ECIS - Европейская конференция по информационным системам
- ER - Международная конференция по концептуальному моделированию
- ICDT - Международная конференция по теории баз данных
- ICIS - Международная конференция по информационным системам
- ISWC - Международная конференция по семантической сети
- ACM/IEEE по цифровым библиотекам JCDL - Совместная конференция
- 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 по анализу и интерпретации изображений
Обработка естественного языка [ править ]
Конференции по компьютерной лингвистике и обработке естественного языка :
- EMNLP — Эмпирические методы обработки естественного языка
- COLING - Международный комитет по компьютерной лингвистике
- ТСД – текст, речь и диалог
- CICLing - Международная конференция по интеллектуальной обработке текста и компьютерной лингвистике
Компьютерная графика [ править ]
Конференции по компьютерной графике , геометрической обработке , обработке изображений и мультимедиа :
- MM - Международная конференция ACM по мультимедиа
- SGP - Симпозиум по геометрической обработке
- SIGGRAPH - Международная конференция по компьютерной графике и интерактивным технологиям
Взаимодействие человека и компьютера [ править ]
Конференции по взаимодействию человека с компьютером и пользовательским интерфейсам :
- CHI - Конференция ACM по человеческому фактору в вычислительных системах
- GI — графический интерфейс
- MobileHCI - Конференция по взаимодействию человека и компьютера с мобильными устройствами и сервисами
- UIST - Симпозиум ACM по программному обеспечению и технологиям пользовательского интерфейса
- UMAP - Международная конференция ACM по моделированию, адаптации и персонализации пользователей
Биоинформатика и вычислительная биология [ править ]
Конференции по биоинформатике и вычислительной биологии :
- CIBB - Международная конференция по методам вычислительного интеллекта для биоинформатики и биостатистики
- ISMB - Интеллектуальные системы для молекулярной биологии
- PSB - Тихоокеанский симпозиум по биокомпьютингу
- RECOMB - Исследования в области вычислительной молекулярной биологии