Конференция по внедрению и применению автоматов

Конференция по внедрению и применению автоматов
Конференция по внедрению и применению автоматов
Аббревиатура	CIAA (ранее WIA)
Дисциплина	Теория автоматов и формальные языки
Подробности публикации
Издатель	Спрингер ЛНКС
История	1996–
Частота	годовой (с 1996 г.)

CIAA , Международная конференция по внедрению и применению автоматов , — ежегодная научная конференция в области информатики . Его цель — объединить членов академического, исследовательского и промышленного сообщества, интересующихся теорией, реализацией и применением автоматов и связанных с ними структур. Там конференция посвящена исследованиям всех аспектов реализации и применения автоматов и связанных с ними структур, включая теоретические аспекты. В 2000 году конференция выросла из Семинара по внедрению автоматов (WIA) .

Как и большинство конференций по теоретической информатике, ее материалы строго рецензируются; статьи появляются в материалах, опубликованных в Springer Lecture Notes in Computer Science . Расширенные версии избранных статей ежегодной конференции поочередно публикуются в журналах Theoretical Computer Science и International Journal of Foundations of Computer Science . Ежегодно вручается награда за лучшую работу.

Тематика конференции

Поскольку основное внимание на конференции уделяется прикладной теории, вклад обычно поступает из широкого спектра областей применения. Типичные темы конференции включают, среди прочего, следующие: применительно к автоматам:

Биологические вычисления
Сложность операций автоматов, сложность состояния
Составители
Компьютерная верификация, проверка модели
Параллелизм
Сжатие данных и изображений
Проектирование и архитектура программного обеспечения автоматов
Документирование
Обработка естественного языка
Сопоставление с образцом
Преподавание теории автоматов
Обработка текста
Методы графического отображения автоматов.

История конференции

Серию конференций CIAA основали Даррелл Рэймонд и Дерик Вуд .С 2013 года Руководящий комитет возглавляет Кай Саломаа .

Событие	Расположение	Стулья для ПК	Слушания	Специальный выпуск
1-й ВМА 1996 г.	Лондон, Онтарио, Канада	Даррелл Р. Рэймонд Дерик Вуд Шэн Юй	ЛНКС 1260
2-й ВМА 1997 г.	Лондон, Онтарио, Канада	Дерик Вуд Шэн Юй	ЛНКС 1436	Теоретическая информатика 231 (1), 2000 г.
3-я ВМА 1998 г.	Руан, Франция	Жан-Марк Шампарно Денис Морель Экстра Джеллул	ЛНКС 1660	Теоретическая информатика 267 (1-2), 2001 г.
4-й ВМА 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 .

Внешние ссылки

Эта статья о компьютерной конференции незавершена . Вы можете помочь Википедии, расширив ее .

Базы данных авторитетного контроля
Международный	ВИАФ
Национальный	Германия Соединенные Штаты