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 ocurre con la mayoría de 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 e International Journal of Foundations of Computer Science . Cada año se otorga un premio al mejor trabajo.
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:
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 .