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