Lista de congresos de informática

Esta es una lista de conferencias académicas en informática . Solo se incluyen conferencias con artículos separados; dentro de cada campo, las conferencias se enumeran alfabéticamente por sus nombres cortos.

• FCRC – Conferencia de investigación informática federada

Conferencias que aceptan una amplia gama de temas de la informática teórica , incluidos algoritmos , estructuras de datos , computabilidad , complejidad computacional , teoría de autómatas y lenguajes formales :

• CCC - Conferencia sobre complejidad computacional
• FCT – Simposio Internacional sobre Fundamentos de la Teoría de la Computación
• FOCS – Simposio IEEE sobre fundamentos de la informática
• ICALP – Coloquio Internacional sobre Autómatas, Lenguajes y Programación
• ISAAC – Simposio Internacional sobre Algoritmos y Computación
• MFCS – Simposio internacional sobre fundamentos matemáticos de la informática
• STACS – Simposio sobre aspectos teóricos de la informática
• Simposio STOC – ACM sobre teoría de la computación
• WoLLIC – Taller sobre lógica, lenguaje, información y computación

Conferencias cuyo tema son algoritmos y estructuras de datos considerados de manera amplia, pero que no incluyen otras áreas de la informática teórica como la teoría de la complejidad computacional:

• ESA – Simposio europeo sobre algoritmos
• Simposio SODA – ACM–SIAM sobre algoritmos discretos
• SWAT y WADS – Conferencias SWAT y WADS

Conferencias sobre geometría computacional , dibujo de gráficos y otras áreas de aplicación de la computación geométrica:

• GD – Simposio Internacional sobre Dibujo de Gráficas
• SoCG – Simposio sobre Geometría Computacional

• Simposio LICS – ACM–IEEE sobre lógica en informática
• RTA – Conferencia internacional sobre técnicas y aplicaciones de reescritura

• CIAA – Conferencia Internacional sobre Implementación y Aplicación de Autómatas
• CCC – Conferencia sobre complejidad computacional
• DCFS – Taller internacional sobre complejidad descriptiva de sistemas formales
• DLT – Conferencia internacional sobre desarrollos en teoría del lenguaje
• ISSAC – Simposio Internacional sobre Computación Simbólica y Algebraica
• Redes de Petri - Conferencia internacional sobre aplicaciones y teoría de redes de Petri y concurrencia
• RP – Conferencia internacional sobre problemas de accesibilidad
• SEA – Simposio sobre Algoritmos Experimentales

Conferencias sobre lenguajes de programación , teoría de lenguajes de programación y compiladores :

• Conferencia internacional sobre construcción de compiladores
• ECOOP – Conferencia Europea AITO sobre Programación Orientada a Objetos
• Simposio Europeo de Programación ESOP – ETAPS
• Conferencia sobre la historia de los lenguajes de programación HOPL – ACM SIGPLAN
• ICFP – ACM SIGPLAN Conferencia Internacional sobre Programación Funcional
• Conferencia internacional sobre programación lógica ICLP – ALP
• Simposio internacional sobre gestión de memoria ISMM – ACM SIGPLAN
• OOPSLA – Conferencia ACM SIGPLAN sobre programación orientada a objetos, sistemas, lenguajes y aplicaciones
• Simposio POPL – ACM SIGPLAN-SIGACT sobre principios de lenguajes de programación
• PLDI – Conferencia ACM SIGPLAN sobre diseño e implementación de lenguajes de programación

Conferencias sobre ingeniería de software :

• ASE – Conferencia internacional IEEE/ACM sobre ingeniería de software automatizada
• ICSE – Conferencia internacional sobre ingeniería de software
• ICSR – Conferencia internacional sobre reutilización de software
• TACAS - ETAPS Conferencia Internacional sobre Herramientas y Algoritmos para la Construcción y Análisis de Sistemas
• FoSSaCS - Conferencia internacional ETAPS sobre fundamentos de la ciencia del software y estructuras computacionales
• FASE - Conferencia internacional ETAPS sobre enfoques fundamentales de la ingeniería de software

Conferencias sobre métodos formales en ingeniería de software, incluida la especificación formal , la verificación formal y el análisis de código estático :

• CAV – Verificación asistida por computadora
• FORTE – Conferencia internacional IFIP sobre técnicas formales para sistemas distribuidos y en red

Conferencias sobre computación concurrente , distribuida y paralela , sistemas tolerantes a fallos y sistemas confiables:

• CCGrid - Simposio internacional IEEE/ACM sobre computación en clúster, en la nube e Internet
• CLUSTER - Conferencia internacional IEEE sobre computación en cluster
• CONCUR - Conferencia Internacional sobre Teoría de la Concurrencia
• DEBS - Conferencia internacional ACM sobre sistemas distribuidos basados ​​en eventos
• DISC - Simposio Internacional sobre Computación Distribuida
• DSN - Conferencia internacional sobre sistemas y redes confiables
• ICDCS - Conferencia internacional IEEE sobre sistemas informáticos distribuidos
• ICPADS - Conferencia internacional IEEE sobre sistemas paralelos y distribuidos
• ICPP - Conferencia internacional sobre procesamiento paralelo
• IPDPS - Simposio internacional IEEE sobre procesamiento paralelo y distribuido
• PODC - Simposio ACM sobre Principios de Computación Distribuida
• PPoPP - Simposio ACM SIGPLAN sobre principios y prácticas de programación paralela
• SIROCCO - Coloquio internacional sobre complejidad estructural de la información y la comunicación
• SPAA - Simposio ACM sobre paralelismo en algoritmos y arquitecturas
• SRDS - Simposio internacional IEEE sobre sistemas distribuidos confiables

Conferencias sobre computación de alto rendimiento , computación en clúster y computación en red :

• HiPC - Conferencia internacional sobre computación de alto rendimiento
• SC - Conferencia internacional ACM/IEEE sobre computación de alto rendimiento, redes, almacenamiento y análisis
• HPDC - Computación distribuida y paralela de alto rendimiento ACM
• ICS - Conferencia internacional sobre supercomputación de la ACM

Conferencias sobre sistemas operativos , sistemas de almacenamiento y middleware :

• ATC - Conferencia técnica anual de USENIX
• Middleware - Conferencia internacional sobre middleware ACM/IFIP/USENIX
• SOSP - Simposio ACM sobre Principios de Sistemas Operativos
• Simposio OSDI - USENIX sobre diseño e implementación de sistemas operativos
• SYSTOR - Conferencia internacional sobre sistemas y almacenamiento de la ACM

Conferencias sobre arquitectura de computadores :

• ASPLOS - Conferencia internacional sobre soporte arquitectónico para lenguajes de programación y sistemas operativos
• ISCA - Simposio Internacional de Arquitectura de Computadores
• MICRO - Simposio internacional IEEE/ACM sobre microarquitectura

Conferencias sobre diseño asistido por ordenador y automatización del diseño electrónico :

• ASP-DAC - Conferencia de automatización del diseño de Asia y el Pacífico Sur
• DAC - Conferencia sobre automatización del diseño
• FECHA - Diseño, automatización y pruebas en Europa
• ICCAD - Conferencia internacional sobre diseño asistido por ordenador
• ISPD - Simposio Internacional sobre Diseño Físico

Conferencias sobre redes de computadoras :

• GlobeCom - Conferencia de comunicaciones globales del IEEE
• ICC - Conferencia internacional IEEE sobre comunicaciones
• ICSOC - Conferencia internacional sobre computación orientada a servicios
• INFOCOM - Conferencia IEEE sobre comunicaciones informáticas
• SIGMETRÍA - SIGMETRÍA ACM
• WINE - El taller sobre economía de Internet y redes

Redes inalámbricas y computación móvil , incluidas la computación ubicua y generalizada , las redes inalámbricas ad hoc y las redes de sensores inalámbricos :

• EWSN - Conferencia europea sobre redes de sensores inalámbricos
• IPSN - Conferencia internacional ACM/IEEE sobre procesamiento de información en redes de sensores
• ISWC - Simposio internacional sobre ordenadores portátiles
• SenSys - Conferencia ACM sobre sistemas de sensores integrados en red

Conferencias sobre seguridad informática y privacidad :

• DSN - Conferencia internacional sobre sistemas y redes confiables

Conferencias de criptografía :

• ANTS - Simposio sobre teoría algorítmica de números
• RSA - Conferencia RSA

Conferencias sobre bases de datos , sistemas de información , recuperación de información , minería de datos y la World Wide Web :

• BTW - Conferencia GI sobre sistemas de bases de datos para empresas, tecnología y web
• CIDR - Conferencia sobre investigación innovadora en sistemas de datos
• Conferencia CIKM-ACM sobre Gestión de la Información y el Conocimiento
• ECIR - Conferencia Europea sobre Recuperación de Información
• ECIS - Conferencia Europea sobre Sistemas de Información
• ER - Conferencia Internacional sobre Modelado Conceptual
• ICDT - Conferencia internacional sobre teoría de bases de datos
• ICIS - Conferencia Internacional sobre Sistemas de Información
• ISWC - Conferencia Internacional de Web Semántica
• Conferencia conjunta JCDL - ACM/IEEE sobre bibliotecas digitales
• PODS - Simposio ACM sobre principios de sistemas de bases de datos
• SIGMOD - Grupo de Interés Especial de la ACM sobre Gestión de Datos
• VLDB - Conferencia internacional sobre bases de datos de gran tamaño
• WWW - Conferencia sobre la World Wide Web

Conferencias sobre inteligencia artificial y aprendizaje automático :

• AAAI - Conferencia AAAI sobre Inteligencia Artificial
• AAMAS - Conferencia Internacional sobre Agentes Autónomos y Sistemas Multiagente
• ICAPS - Conferencia internacional sobre planificación y programación automatizadas
• CIBB - Conferencia internacional sobre métodos de inteligencia computacional para bioinformática y bioestadística
• ECAI - Conferencia Europea sobre Inteligencia Artificial
• ECML PKDD - Conferencia europea sobre aprendizaje automático y principios y prácticas de descubrimiento de conocimiento en bases de datos
• ICML - Conferencia internacional sobre aprendizaje automático
• ICLR - Conferencia internacional sobre representaciones del aprendizaje
• IJCAI - Conferencia conjunta internacional sobre inteligencia artificial
• ISWC - Conferencia Internacional de Web Semántica
• NeurIPS - Conferencia sobre sistemas de procesamiento de información neuronal
• RuleML - Simposio RuleML

Conferencias sobre computación evolutiva .

• AE - Conferencia sobre Evolución Artificial
• CEC - Congreso IEEE sobre Computación Evolutiva
• GECCO - Conferencia sobre computación genética y evolutiva

Conferencias sobre razonamiento automatizado :

• IJCAR - Conferencia conjunta internacional sobre razonamiento automático
• LPAR - Conferencia Internacional sobre Lógica para Programación, Inteligencia Artificial y Razonamiento
• RuleML - Simposio RuleML
• TABLEAUX - Conferencia internacional sobre razonamiento automático con tablas analíticas y métodos relacionados
• WoLLIC - Taller sobre lógica, lenguaje, información y computación

Conferencias sobre visión artificial (incluyendo análisis de imágenes ) y reconocimiento de patrones :

• BMVC - Conferencia británica sobre visión artificial
• CVPR - Conferencia IEEE sobre visión artificial y reconocimiento de patrones
• ECCV - Conferencia Europea sobre Visión por Computador
• ICCV - Conferencia Internacional sobre Visión por Computador
• SCIA - Conferencia escandinava sobre análisis de imágenes
• SSIAI - Simposio IEEE Southwest sobre análisis e interpretación de imágenes

Conferencias sobre lingüística computacional y procesamiento del lenguaje natural :

• EMNLP - Métodos empíricos en el procesamiento del lenguaje natural
• COLING - Comité Internacional de Lingüística Computacional
• TSD - Texto, habla y diálogo
• CICLing - Conferencia internacional sobre procesamiento inteligente de textos y lingüística computacional

Conferencias sobre gráficos por computadora , procesamiento de geometría , procesamiento de imágenes y multimedia :

• MM - Conferencia Internacional ACM sobre Multimedia
• SGP - Simposio sobre Procesamiento Geométrico
• SIGGRAPH - Conferencia internacional sobre gráficos por ordenador y técnicas interactivas

Conferencias sobre interacción hombre-computadora e interfaces de usuario :

• Conferencia CHI - ACM sobre factores humanos en sistemas informáticos
• GI - Interfaz gráfica
• MobileHCI - Conferencia sobre interacción hombre-ordenador con dispositivos y servicios móviles
• Simposio UIST- ACM sobre software y tecnología de interfaz de usuario
• UMAP - Conferencia internacional de la ACM sobre modelado, adaptación y personalización de usuarios

Conferencias sobre bioinformática y biología computacional :

• CIBB - Conferencia internacional sobre métodos de inteligencia computacional para bioinformática y bioestadística
• ISMB - Sistemas Inteligentes para Biología Molecular
• PSB - Simposio del Pacífico sobre Bioinformática
• RECOMB - Investigación en Biología Molecular Computacional

• Lista de acrónimos de congresos de informática
• Lista de revistas de informática
• Esquema de la informática

• Base de datos DBLP con conferencias y talleres
• Lista de congresos de informática clasificados por índice h