Конференция по внедрению и применению автоматов
| Конференция по внедрению и применению автоматов | |
|---|---|
| Аббревиатура | CIAA (ранее WIA) |
| Дисциплина | Теория автоматов и формальные языки |
| Подробности публикации | |
| Издатель | Шпрингер LNCS |
| История | 1996– |
| Частота | ежегодный (с 1996 г.) |
CIAA , Международная конференция по внедрению и применению автоматов, является ежегодной академической конференцией в области компьютерных наук . Ее цель — объединить членов академического, исследовательского и промышленного сообщества, которые интересуются теорией, внедрением и применением автоматов и связанных с ними структур. Там конференция касается исследований по всем аспектам внедрения и применения автоматов и связанных с ними структур, включая теоретические аспекты. В 2000 году конференция выросла из Семинара по внедрению автоматов (WIA) .
Как и большинство теоретических конференций по информатике, ее вклад строго рецензируется; статьи публикуются в трудах, опубликованных в Springer Lecture Notes in Computer Science . Расширенные версии избранных статей конференции каждого года попеременно публикуются в журналах Theoretical Computer Science и International Journal of Foundations of Computer Science . Каждый год вручается награда за лучшую статью.
Темы конференции
Поскольку конференция фокусируется на прикладной теории, вклады обычно поступают из широкого спектра прикладных областей. Типичные темы конференции включают, среди прочего, следующие, поскольку они связаны с автоматами:
- Биовдохновленные вычисления
- Сложность работы автоматов, сложность состояния
- Компиляторы
- Компьютерная проверка, проверка модели
- Параллелизм
- Сжатие данных и изображений
- Проектирование и архитектура программного обеспечения автоматов
- Документостроение
- Обработка естественного языка
- Сопоставление с образцом
- Преподавание теории автоматов
- Обработка текста
- Методы графического отображения автоматов
История конференции
Серия конференций CIAA была основана Дарреллом Рэймондом и Дериком Вудом . С 2013 года руководящий комитет возглавляет Кай Саломаа .
| Событие | Расположение | компьютерные кресла | Труды | Специальный выпуск |
|---|---|---|---|---|
| 1-й WIA 1996 | Лондон, Онтарио, Канада | Даррелл Р. Рэймонд Дерик Вуд Шэн Юй | ЛНКС 1260 | |
| 2-й WIA 1997 | Лондон, Онтарио, Канада | Дерик Вуд Шэн Юй | ЛНКС 1436 | Теоретическая информатика 231(1), 2000 |
| 3-й WIA 1998 | Руан, Франция | Жан-Марк Шампарно Дени Морель Джеллуль Зиади | ЛНКС 1660 | Теоретическая информатика 267(1-2), 2001 |
| 4-й WIA 1999 | Потсдам, Германия | Оливер Болдт Хельмут Юргенсен | ЛНКС 2214 | |
| 5-й CIAA 2000 | Лондон, Онтарио, Канада | Шэн Юй Андрей Паун | ЛНКС 2088 | Международный журнал основ компьютерной науки 13(1), 2002 |
| 6-й CIAA 2001 | Претория, Южная Африка | Брюс У. Уотсон, Дерик Вуд | ЛНКС 2494 | Теоретическая информатика 313(1), 2004 |
| 7-й CIAA 2002 | Тур, Франция | Жан-Марк Шампарно Дени Морель | ЛНКС 2608 | Международный журнал основ компьютерной науки 14(6), 2003 |
| 8-й CIAA 2003 | Санта-Барбара, США | Оскар Х. Ибарра Чжэ Данг | ЛНКС 2759 | Теоретическая информатика 328(1-2), 2004 |
| 9-й CIAA 2004 | Кингстон, Онтарио, Канада | Кай Саломаа Шэн Юй | ЛНКС 3317 | Международный журнал основ компьютерной науки 16(3), 2005 |
| 10-й CIAA 2005 | София Антиполис, Франция | Жак Фарре Игорь Литовский | ЛНКС 3845 | Теоретическая информатика 363(2), 2006 |
| 11-й CIAA 2006 | Тайбэй, Тайвань | Оскар Х. Ибарра Хсу-Чун Йен | ЛНКС 4094 | Международный журнал основ компьютерной науки 18(4), 2007 |
| 12-й CIAA 2007 | Прага, Чешская Республика | Ян Голуб Борживой Мелихар | ЛНКС 4783 | Теоретическая информатика 410(37), 2009 |
| 13-й CIAA 2008 | Сан-Франциско, Калифорния, США | Оскар Х. Ибарра Бала Равикумар | ЛНКС 5148 | Международный журнал основ компьютерной науки 20(4), 2009 |
| 14-й CIAA 2009 | Сидней, Австралия | Себастьян Манет | ЛНКС 5642 | Теоретическая информатика 411(38-39), 2010 |
| 15-й CIAA 2010 | Виннипег, Манитоба, Канада | Михаэль Домарацки Кай Саломаа | ЛНКС 6482 | Международный журнал основ компьютерной науки 22(8), 2011 |
| 16-й CIAA 2011 | Блуа, Франция | Беатрис Бушу-Мархофф Жан-Марк Шампарно Дени Морель | ЛНКС 6807 | Теоретическая информатика 450, 2012 |
| 17-й CIAA 2012 | Порту, Португалия | Нелма Морейра Рожерио Рейс | ЛНКС 7381 | Международный журнал основ компьютерной науки 24(6), 2013 |
| 18-й CIAA 2013 | Галифакс, Новая Шотландия, Канада | Ставрос Константинидис | ЛНКС 7982 | Теоретическая информатика 578, 2015 |
| 19-й CIAA 2014 | Гиссен, Германия | Маркус Хольцер Мартин Кутриб | ЛНКС 8587 | Международный журнал основ компьютерной науки 26(7), 2015 |
| 20-й CIAA 2015 | Умео, Швеция | Фрэнк Дрюс | ЛНКС 9223 | Теоретическая информатика 679, 2017 |
| 21-й CIAA 2016 | Сеул, Южная Корея | Йо-Суб Хан Кай Саломаа | ЛНКС 9705 | Международный журнал основ компьютерных наук 28(5), 2017 |
| 22-й CIAA 2017 | Париж, Франция | Арно Карайоль Сирил Нико | ЛНКС 10329 | Теоретическая информатика 787, 2019 |
| 23-й CIAA 2018 | Шарлоттвон, Остров Принца Эдуарда, Канада | Сезар Кампеану | ЛНКС 10977 | Международный журнал основ компьютерных наук 31(8), 2020 |
| 24-й CIAA 2019 | Кошице, Словакия | Галина Йираскова | ЛНКС 11601 | Теоретическая информатика , появится. |
| 25-й CIAA 2020 | Лафборо, Соединенное Королевство (отменено) | Манфред Куфляйтнер Даниэль Райденбах | Н/Д | Н/Д |
Смотрите также
- Список конференций по информатике содержит другие академические конференции по информатике.
Ссылки
- Домарацкий, Майкл; Охотин, Александр; Саломаа, Кай (2004 г.), «Отчет CIAA за 2004 г.» (PDF) , Бюллетень EATCS , 84 : 231–234.
- Труте, Бьянка (2024), «Отчет о CIAA 2023» (PDF) , Бюллетень EATCS , 142 : 81–82.
Внешние ссылки
- официальный сайт CIAA
- Информация о разбирательствах CIAA от DBLP
- Вопрос "Список конференций и семинаров" на cstheory.stackexchange
