Hispanopedia WikiEsta es una lista de congresos académicos actuales y pasados en ciencias de la computación . Solo se incluyen los congresos con artículos independientes; dentro de cada campo, los congresos se enumeran alfabéticamente por su nombre abreviado.
General
Algoritmos y teoría
Conferencias que aceptan una amplia gama de temas de la informática teórica , incluyendo 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
- STACS – Simposio sobre Aspectos Teóricos de la Informática
- STOC – Simposio de la ACM sobre Teoría de la Computación
Algoritmos
Conferencias cuyo tema central son los algoritmos y las estructuras de datos considerados en sentido amplio, 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 y WADS – Conferencias de SWAT y WADS
Algoritmos geométricos
Conferencias sobre geometría computacional , representación gráfica y otras áreas de aplicación de la computación geométrica:
Otros subtemas especializados
- CIAA – Conferencia Internacional sobre Implementación y Aplicación de Autómatas
- CCC – Conferencia sobre Complejidad Computacional
- DCFS – Taller Internacional sobre la Complejidad Descriptiva de los Sistemas Formales
- DLT – Conferencia Internacional sobre Desarrollos en Teoría del Lenguaje
- ISSAC – Simposio Internacional sobre Computación Simbólica y Algebraica
- RP – Conferencia Internacional sobre Problemas de Accesibilidad
- SEA – Simposio sobre algoritmos experimentales
Idiomas y software
Lenguajes de programación
Conferencias sobre lenguajes de programación , teoría de lenguajes de programación y compiladores :
- Conferencia Internacional CC sobre Construcción de Compiladores
- ESOP – Simposio Europeo de Programación de ETAPS
- HOPL – Conferencia sobre la historia de los lenguajes de programación de ACM SIGPLAN
- ICFP – Conferencia Internacional ACM SIGPLAN sobre Programación Funcional
- ICLP – Conferencia Internacional ALP sobre Programación Lógica
- OOPSLA – Conferencia ACM SIGPLAN sobre Programación Orientada a Objetos, Sistemas, Lenguajes y Aplicaciones
- 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 – Conferencia Internacional sobre Ingeniería de Software
- ICSR – Conferencia Internacional sobre Reutilización de Software
- ISSRE – Simposio Internacional IEEE sobre Ingeniería de Confiabilidad de Software
- FASE – Conferencia Internacional ETAPS sobre Enfoques Fundamentales para la Ingeniería de Software
- WWDC - Conferencia Mundial de Desarrolladores
Métodos formales y lógica
Conferencias sobre métodos formales (incluida la verificación formal ), lógica y razonamiento automatizado :
- CAV – Verificación asistida por computadora
- FORTE – Conferencia Internacional IFIP sobre Técnicas Formales para Sistemas en Red y Distribuidos
- FoSSaCS – Conferencia Internacional ETAPS sobre Fundamentos de la Ciencia del Software y Estructuras Computacionales
- IJCAR - Conferencia Internacional Conjunta sobre Razonamiento Automatizado
- LICS – Simposio ACM-IEEE sobre lógica en informática
- LPAR - Conferencia Internacional sobre Lógica para la Programación, la Inteligencia Artificial y el Razonamiento
- TACAS – Conferencia Internacional ETAPS sobre Herramientas y Algoritmos para la Construcción y el Análisis de Sistemas
- RuleML - Simposio sobre RuleML
- WoLLIC - Taller sobre lógica, lenguaje, información y computación
Computación concurrente, distribuida y paralela
Conferencias sobre computación concurrente , distribuida y paralela , sistemas tolerantes a fallos y sistemas fiables:
- CONCUR - Conferencia Internacional sobre Teoría de la Concurrencia
- DISC - Simposio Internacional sobre Computación Distribuida
- DSN - Conferencia Internacional sobre Sistemas y Redes Confiables
- ICDCS - Conferencia Internacional IEEE sobre Sistemas de Computación Distribuida
- IPDPS - Simposio Internacional de Procesamiento Paralelo y Distribuido del IEEE
- PODC - Simposio de la ACM sobre Principios de Computación Distribuida
- SIROCCO - Coloquio Internacional sobre Complejidad Estructural de la Información y la Comunicación
- SPAA - Simposio de la 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 malla :
- 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
Sistemas operativos
Conferencias sobre sistemas operativos , sistemas de almacenamiento y middleware :
Arquitectura de computadoras
Conferencias sobre arquitectura de computadoras :
- ASPLOS - Conferencia Internacional sobre Soporte Arquitectónico para Lenguajes de Programación y Sistemas Operativos
- ISSCC — Conferencia Internacional de Circuitos de Estado Sólido
- ISCA - Simposio Internacional sobre Arquitectura de Computadoras
- MICRO - Simposio Internacional IEEE/ACM sobre Microarquitectura
Diseño asistido por ordenador
Conferencias sobre diseño asistido por ordenador y automatización del diseño electrónico :
redes informáticas
Conferencias sobre redes informáticas :
- Simposio NSDI-USENIX sobre diseño e implementación de sistemas en red
- GlobeCom - Conferencia Global de Comunicaciones del IEEE
- ICC - Conferencia Internacional de Comunicaciones del IEEE
- SIGMETRICS - ACM SIGMETRICS
Redes inalámbricas y computación móvil
Redes inalámbricas e informática móvil , incluyendo la informática ubicua y generalizada , las redes inalámbricas ad hoc y las redes de sensores inalámbricas :
Seguridad y privacidad
Conferencias sobre seguridad informática y privacidad :
- CCS - Seguridad Informática y de las Comunicaciones
- DSN - Conferencia Internacional sobre Sistemas y Redes Confiables
- NDSS - Seguridad de redes y sistemas distribuidos
- S&P - Simposio IEEE sobre Seguridad y Privacidad
- USENIX Security - Simposio de Seguridad de USENIX
Criptografía
Conferencias sobre 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 World Wide Web :
- Por cierto, Conferencia GI sobre Sistemas de Bases de Datos para Negocios, Tecnología y Web.
- 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 sobre la Web Semántica
- JCDL - Conferencia conjunta ACM/IEEE sobre bibliotecas digitales
- PODS - Simposio de la ACM sobre Principios de Sistemas de Bases de Datos
- SIGMOD - Grupo de Interés Especial de ACM sobre Gestión de Datos
- WWW - Conferencia Mundial de la Web
Inteligencia artificial
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 del Descubrimiento de Conocimiento en Bases de Datos
- ICML - Conferencia Internacional sobre Aprendizaje Automático
- ICLR - Conferencia Internacional sobre Representaciones de Aprendizaje
- IJCAI - Conferencia Internacional Conjunta sobre Inteligencia Artificial
- ISWC - Conferencia Internacional sobre la Web Semántica
- NeurIPS - Conferencia sobre Sistemas de Procesamiento de Información Neuronal
Computación evolutiva
Conferencias sobre computación evolutiva .
visión por computadora
Conferencias sobre visión por computadora (que incluye también análisis de imágenes ) y reconocimiento de patrones :
Procesamiento del lenguaje natural
Conferencias sobre lingüística computacional y procesamiento del lenguaje natural :
Gráficos por computadora
Conferencias sobre gráficos por computadora , procesamiento geométrico , 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 Computadora y Técnicas Interactivas
Interacción persona-ordenador
Conferencias sobre interacción persona-ordenador e interfaces de usuario :
- CHI - Conferencia ACM sobre factores humanos en sistemas informáticos
- GI - Interfaz gráfica
- MobileHCI - Conferencia sobre Interacción Persona-Ordenador con Dispositivos y Servicios Móviles
- UIST - Simposio ACM sobre software y tecnología de interfaz de usuario
- UMAP - Conferencia Internacional de ACM sobre Modelado, Adaptación y Personalización del Usuario
Bioinformática y biología computacional
Conferencias sobre bioinformática y biología computacional :
Véase también
Referencias
Enlaces externos
- Base de datos DBLP con conferencias y talleres.
- Lista de conferencias de informática clasificadas por índice h.
- conferencias de informática
- Listas relacionadas con la informática
- Listas de conferencias
- Listados de organizaciones científicas