CIAA , la Conferencia Internacional sobre Implementación y Aplicación de Autómatas , es una conferencia académica anual en el campo de la informática . Su propósito es reunir a miembros de la comunidad académica, de investigación e industrial que tengan interés en la teoría, implementación y aplicación de autómatas y estructuras relacionadas. Allí, la conferencia se ocupa de la investigación sobre todos los aspectos de la implementación y aplicación de autómatas y estructuras relacionadas, incluidos los aspectos teóricos. En 2000, la conferencia surgió del Taller sobre Implementación de Autómatas (WIA) .
Como la mayoría de los congresos teóricos de informática, sus contribuciones son sometidas a una rigurosa revisión por pares; los artículos aparecen en actas publicadas en Springer Lecture Notes in Computer Science . Versiones ampliadas de trabajos seleccionados de los congresos de cada año aparecen alternativamente en las revistas Theoretical Computer Science y International Journal of Foundations of Computer Science . Cada año se otorga un premio al mejor trabajo.
Temas de la Conferencia
Dado que el congreso se centra en la teoría aplicada, las contribuciones suelen proceder de una amplia gama de dominios de aplicación. Los temas típicos del congreso incluyen, entre otros, los siguientes, en relación con los autómatas:
- Computación bioinspirada
- Complejidad de las operaciones de los autómatas, complejidad de estados
- Compiladores
- Verificación asistida por ordenador, comprobación de modelos
- Concurrencia
- Compresión de datos e imágenes
- Diseño y arquitectura de software de autómatas
- Ingeniería documental
- Procesamiento del lenguaje natural
- Coincidencia de patrones
- Enseñanza de la teoría de autómatas
- Procesamiento de texto
- Técnicas de representación gráfica de autómatas
Historia de la Conferencia
La serie de conferencias de la CIAA fue fundada por Darrell Raymond y Derick Wood . Desde 2013, el comité directivo está presidido por Kai Salomaa .
Véase también
- La lista de conferencias de informática contiene otras conferencias académicas en informática.
Referencias
- Domaratzki, Michael; Ojotin, Alejandro; Salomaa, Kai (2004), "Informe sobre la CIAA 2004" (PDF) , Boletín de la EATCS , 84 : 231–234.
- Truthe, Bianca (2024), "Informe sobre la CIAA 2023" (PDF) , Boletín de la EATCS , 142 : 81–82.
Enlaces externos
- Sitio web oficial de la CIAA
- Información sobre los procedimientos de la CIAA de DBLP
- Pregunta sobre la lista de conferencias y talleres en cstheory.stackexchange