CIAA , Международная конференция по внедрению и применению автоматов, является ежегодной академической конференцией в области компьютерных наук . Ее цель — объединить членов академического, исследовательского и промышленного сообщества, которые интересуются теорией, внедрением и применением автоматов и связанных с ними структур. Там конференция касается исследований по всем аспектам внедрения и применения автоматов и связанных с ними структур, включая теоретические аспекты. В 2000 году конференция выросла из Семинара по внедрению автоматов (WIA) .
Как и большинство теоретических конференций по информатике, ее вклад строго рецензируется; статьи публикуются в трудах, опубликованных в Springer Lecture Notes in Computer Science . Расширенные версии избранных статей конференции каждого года попеременно публикуются в журналах Theoretical Computer Science и International Journal of Foundations of Computer Science . Каждый год вручается награда за лучшую статью.
Поскольку конференция фокусируется на прикладной теории, вклады обычно поступают из широкого спектра прикладных областей. Типичные темы конференции включают, среди прочего, следующие, поскольку они связаны с автоматами:
Серия конференций CIAA была основана Дарреллом Рэймондом и Дериком Вудом . С 2013 года руководящий комитет возглавляет Кай Саломаа .