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.
General
Algoritmos y teoría
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 de 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 de 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
- STOC - Simposio ACM sobre Teoría de la Computación
- WoLLIC - Taller de Lógica, Lenguaje, Información y Computación
Algoritmos
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
- SODA - Simposio ACM-SIAM sobre algoritmos discretos
- SWAT - Simposio y talleres escandinavos sobre teoría de algoritmos
- WADS - Simposio sobre algoritmos y estructuras de datos
- WAOA - Taller de aproximación y algoritmos en línea
Algoritmos geométricos
Conferencias sobre geometría computacional , dibujo de gráficos y otras áreas de aplicación de la computación geométrica:
Lógica
- LICS - Simposio ACM – IEEE sobre lógica en informática
- RTA - Conferencia internacional sobre técnicas y aplicaciones de reescritura
Otros subtemas especializados
- CIAA - Conferencia internacional sobre implementación y aplicación de autómatas
- CCC - Conferencia de complejidad computacional
- DCFS - Taller internacional sobre complejidad descriptiva de sistemas formales
- DLT - Conferencia internacional sobre desarrollos en la teoría del lenguaje
- ISSAC - Simposio Internacional de Computación Simbólica y Algebraica
- Redes de Petri - Conferencia internacional sobre aplicaciones y teoría de las redes de Petri y la concurrencia
- SEA - Simposio sobre algoritmos experimentales
Idiomas y software
Lenguajes de programación
Conferencias sobre los lenguajes de programación , la programación de la teoría del lenguaje y compiladores :
- Conferencia internacional CC sobre construcción de compiladores
- ECOOP - Conferencia europea de AITO sobre programación orientada a objetos
- ESOP - Simposio europeo de programación de ETAPS
- HOPL - ACM SIGPLAN Conferencia sobre la historia de los lenguajes de programación
- ICFP - Conferencia Internacional ACM SIGPLAN sobre Programación Funcional
- ICLP - Conferencia Internacional ALP sobre Programación Lógica
- ISMM - Simposio internacional ACM SIGPLAN sobre gestión de la memoria
- OOPSLA - Conferencia ACM SIGPLAN sobre programación, sistemas, lenguajes y aplicaciones orientadas a objetos
- POPL - Simposio 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
Ingeniería de software
Conferencias sobre ingeniería de software :
- ASE - Conferencia internacional IEEE / ACM sobre ingeniería de software automatizada
- ICSE - Congreso Internacional de Ingeniería de Software
- ICSR - Conferencia internacional sobre reutilización de software
- TACAS - Congreso Internacional ETAPS sobre Herramientas y Algoritmos para la Construcción y Análisis de Sistemas
- FoSSaCS - ETAPS International Conference on Foundations of Software Science and Computation Structures
- FASE - Conferencia internacional de ETAPS sobre enfoques fundamentales de la ingeniería de software
Métodos formales
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 en red y distribuidos
Computación concurrente, distribuida y paralela
Conferencias sobre computación concurrente , distribuida y paralela , sistemas tolerantes a fallas y sistemas confiables:
- DEBS - Conferencia internacional de ACM sobre sistemas distribuidos basados en eventos
- DISC - Simposio Internacional de Computación Distribuida
- DSN - Conferencia internacional sobre redes y sistemas fiables
- ICDCS - IEEE International Conference on Distributed Computing Systems
- ICPADS - Conferencia internacional IEEE sobre sistemas paralelos y distribuidos
- IPDPS - Simposio internacional de procesamiento paralelo y distribuido de IEEE
- PODC - Simposio ACM sobre principios de computación distribuida
- PPoPP - Simposio ACM SIGPLAN sobre principios y práctica de la programación paralela
- SIROCCO - Coloquio internacional sobre la complejidad de la información y la comunicación estructural
- SPAA - Simposio ACM sobre paralelismo en algoritmos y arquitecturas
- SRDS - Simposio internacional IEEE sobre sistemas distribuidos confiables
Computación de alto rendimiento
Conferencias sobre computación de alto rendimiento , computación en clúster y computación en cuadrícula :
- HiPC - Conferencia internacional sobre informática de alto rendimiento
- SC - Conferencia de supercomputación ACM / IEEE
Sistemas operativos
Conferencias sobre sistemas operativos , sistemas de almacenamiento y middleware :
- ATC - Conferencia técnica anual de USENIX
- FAST - Conferencia de USENIX sobre tecnologías de archivos y almacenamiento
- Middleware - Conferencia internacional de middleware ACM / IFIP / USENIX
- SOSP - Simposio de ACM sobre principios de sistemas operativos
- SYSTOR - Conferencia internacional de sistemas y almacenamiento de ACM
Arquitectura de Computadores
Conferencias sobre arquitectura informática :
- 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
Hardware de la computadora
Conferencias sobre hardware informático :
- ISCAS - Simposio internacional IEEE sobre circuitos y sistemas
Diseño asistido por ordenador
Conferencias sobre diseño asistido por ordenador y automatización del diseño electrónico :
- ASP-DAC - Conferencia de automatización de diseño de Asia y el Pacífico Sur
- DAC - Conferencia de automatización del diseño
- FECHA - Diseño, automatización y pruebas en Europa
- ICCAD - Conferencia internacional sobre diseño asistido por computadora
- ISPD - Simposio internacional sobre diseño físico
Redes de computadoras
Conferencias sobre redes informáticas :
- GlobeCom - Conferencia de comunicaciones globales IEEE
- ICC - IEEE International Conference on Communications
- ICSOC - Conferencia internacional sobre informática orientada a servicios
- INFOCOM - Conferencia IEEE sobre comunicaciones informáticas
- SIGCOMM - Conferencia ACM SIGCOMM
- SIGMETRICS - ACM SIGMETRICS
- WINE - El taller sobre economía de redes e Internet
Redes inalámbricas e informática móvil
Redes inalámbricas y computación móvil , incluida la computación ubicua y omnipresente , redes ad hoc inalámbricas y 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 computadoras portátiles
- MobiHoc - Simposio internacional de ACM sobre redes y computación ad hoc para dispositivos móviles
- SenSys - Conferencia ACM sobre sistemas de sensores integrados en red
Seguridad y privacidad
Conferencias sobre seguridad y privacidad informática :
- DSN - Conferencia internacional sobre redes y sistemas fiables
- Simposio de seguridad de USENIX
Criptografía
Conferencias de criptografía :
- ACNS: criptografía aplicada y seguridad de la red
- ANTS - Simposio de teoría algorítmica de números
- ASIACRYPT - Conferencia internacional sobre la teoría y aplicación de la criptología y la seguridad de la información
- CHES - Taller sobre hardware criptográfico y sistemas integrados
- CRYPTO - Conferencia internacional de criptología
- EUROCRYPT - Congreso Internacional sobre Teoría y Aplicaciones de Técnicas Criptográficas
- FSE - Taller de cifrado de software rápido
- PKC - Taller internacional sobre práctica y teoría en criptografía de clave pública
- RSA - Conferencia RSA
- TCC - Conferencia sobre teoría de la criptografía
Gestión de datos
Conferencias sobre bases de datos , sistemas de información , recuperación de información , minería de datos y la red mundial :
- CIDR - Conferencia sobre investigación de sistemas de datos innovadores
- CIKM - Conferencia 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 - Congreso Internacional de 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
- JCDL - Conferencia conjunta ACM / IEEE sobre bibliotecas digitales
- KDD - Conferencia ACM SIGKDD sobre descubrimiento de conocimiento y minería de datos
- PODS - Simposio de ACM sobre principios de sistemas de bases de datos
- SIGIR - Conferencia Anual Internacional ACM SIGIR
- SIGMOD - Conferencia ACM SIGMOD
- VLDB - Conferencia internacional sobre bases de datos muy grandes
- WWW - Conferencia World Wide Web
Inteligencia artificial
Conferencias sobre inteligencia artificial y aprendizaje automático :
- AAAI - Conferencia AAAI sobre Inteligencia Artificial
- AAMAS - Congreso Internacional sobre Agentes Autónomos y Sistemas Multiagente
- 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áctica del descubrimiento del conocimiento en bases de datos
- ICML - Conferencia internacional sobre aprendizaje automático
- ICLR - Conferencia internacional sobre representaciones de 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
Computación evolutiva
Conferencias sobre Computación Evolutiva .
- AE - Conferencia de Evolución Artificial
- CEC - Congreso IEEE sobre Computación Evolutiva
- GECCO - Conferencia de Computación Genética y Evolutiva
Razonamiento automatizado
Conferencias sobre razonamiento automatizado :
- IJCAR - Conferencia conjunta internacional sobre razonamiento automatizado
- LPAR - Congreso Internacional de Lógica para Programación, Inteligencia Artificial y Razonamiento
- RuleML - Simposio RuleML
- TABLEAUX - Conferencia internacional sobre razonamiento automatizado con cuadros analíticos y métodos relacionados
- WoLLIC - Taller de Lógica, Lenguaje, Información y Computación
Visión por computador
Conferencias sobre visión artificial (incluido también análisis de imágenes ) y reconocimiento de patrones :
- BMVC - Conferencia británica sobre visión artificial
- CVPR - Conferencia sobre Visión por Computador y Reconocimiento de Patrones
- ECCV - Conferencia europea sobre visión artificial
- ICCV - Congreso Internacional de 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
Procesamiento natural del lenguaje
Conferencias sobre lingüística computacional y procesamiento del lenguaje natural :
- ACL - Reunión anual de la Asociación de Lingüística Computacional
- EMNLP - Métodos empíricos en el procesamiento del lenguaje natural
- NAACL - Conferencia anual del Capítulo norteamericano de la Asociación de Lingüística Computacional
- 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
Gráficos de computadora
Conferencias sobre infografía , procesamiento de geometría , procesamiento de imágenes y multimedia :
- Eurographics - Conferencia anual de la Asociación Europea de Gráficos por Computadora
- MM - Conferencia Internacional ACM sobre Multimedia
- SGP - Simposio sobre procesamiento de geometrías
- SIGGRAPH - Conferencia internacional sobre gráficos por computadora y técnicas interactivas
Visualización
Conferencias sobre visualización científica y visualización de información :
- VIS - Conferencia de visualización IEEE
La interacción persona-ordenador
Conferencias sobre interacción persona-computadora e interfaces de usuario :
- ACTIVOS - Conferencia Internacional ACM SIGACCESS sobre Informática y Accesibilidad
- CHI - Conferencia ACM sobre factores humanos en sistemas informáticos
- GI - Interfaz gráfica
- MobileHCI - Conferencia sobre la interacción persona-computadora con dispositivos y servicios móviles
- SIGDOC - ACM International Conference on Design of Communication
- UIST - Simposio de ACM sobre software y tecnología de interfaz de usuario
- UMAP - Conferencia internacional ACM sobre modelado, adaptación y personalización de usuarios
Bioinformática y biología computacional
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 biocomputación
- RECOMB - Investigación en Biología Molecular Computacional
- WABI - Taller de Algoritmos en Bioinformática
Educación
Conferencias sobre educación en informática y aprendizaje electrónico :
- SIGCSE - Simposio técnico de ACM sobre educación en ciencias de la computación
Ver también
- Lista de acrónimos de conferencias de ciencias de la computación
- Lista de revistas de informática
- Lista de publicaciones en informática
- Esquema de la informática
enlaces externos
- Base de datos DBLP con conferencias y talleres
- Lista de conferencias de informática clasificadas por índice h
- Conferencias de informática con su ranking CORE