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

Conference on Implementation and Application of Automata
Конференция по внедрению и применению автоматов
Сокращение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.

внешняя ссылка