Описание сложности формальных систем | |
---|---|
Сокращение | DCFS |
Дисциплина | Теория автоматов и формальные языки |
Детали публикации | |
Издатель | Конспект лекций по информатике |
История | 1999– |
Частота | ежегодный |
DCFS , Международный семинар по описательной сложности формальных систем - это ежегодная научная конференция в области информатики .
Начиная с выпуска 2011 года, материалы семинара публикуются в серии « Конспект лекций по информатике» . Уже с самого начала, расширенные версии выбранных работ будут опубликованы в специальных выпусках в Международном журнале Основы информатики , в журнале автоматов, языков и комбинаторика , в теоретической информатики , и информационно-вычислительных In 2002 DCFS был результат слияния мастерских DCAGRS (Описание сложности автоматов, грамматик и связанных структур) и FDSR (Формальные описания и надежность программного обеспечения). Семинар часто совпадает с международными конференциями в смежных областях, такими как ICALP., DLT и CIAA .
Темы семинара [ править ]
Типичные темы включают:
- различные меры описательной сложности автоматов, грамматик, языков и связанных с ними систем
- компромиссы между описательной сложностью и режимом работы
- схемная сложность булевых функций и связанных мер
- лаконичность описания (конечных) объектов
- сложность состояний конечных автоматов
- описательная сложность в средах с ограниченными ресурсами или структурой
- структурная сложность
- описательная сложность формальных систем для приложений (например, надежность программного обеспечения, тестирование программного и аппаратного обеспечения, моделирование естественных языков)
- аспекты описательной сложности природно-мотивированных (био-вдохновленных) архитектур и нетрадиционных моделей вычислений
- Сложность Колмогорова – Чайтина и сложность описания
Таким образом, темы конференции совпадают с темами Рабочей группы 1.2 Международной федерации обработки информации по сложности описания .
Значение [ править ]
В обзоре сложности описания Хольцер и Кутриб (2010) утверждают, что «за более чем десятилетний период семинар по« Описательной сложности формальных систем »(DCFS), [...] внес существенный вклад в развитие [его] область исследований." В своем выступлении по случаю 10-летия семинара Дассоу (2009) сделал обзор тенденций и направлений исследовательских работ, представленных на DCFS.
История мастерской [ править ]
Председатели Руководящего комитета серии семинаров DCFS:
Период | Стул |
---|---|
1999 - 2005 гг. | Детлеф Вотчке |
2006 - 2017 | Джованни Пигиццини |
2017 - | Мартин Кутриб |
Основная информация о каждом событии DCFS, а также о его предшественниках, DCAGRS и FSDR, включена в следующую таблицу.
Мероприятие | Место расположения | Стулья для ПК | Труды | Специальный выпуск |
---|---|---|---|---|
1-й DCAGRS 1999 г. | Магдебург, Германия | Юрген Дассов Детлеф Вотчке | Журнал автоматов, языков и комбинаторики 5 (3), 2000 г. | |
2-й DCAGRS 2000 | Лондон, Онтарио, Канада | Гельмут Юргенсен | Журнал автоматов, языков и комбинаторики 6 (4), 2001 г. | |
3-й DCAGRS 2001 | Вена, Австрия | Юрген Дассов Детлеф Вотчке | Журнал автоматов, языков и комбинаторики 7 (4), 2002 г. | |
1-я ФСРБ 1998 г. | Падерборн, Германия | |||
2-я ФСРБ 1999 г. | Бока-Ратон, Флорида, США | |||
3-я сессия FSDR 2000 | Сан-Хосе, Калифорния, США | |||
4-я DCFS 2002 | Лондон, Онтарио, Канада | Юрген Дассов Гельмут Юргенсен Детлеф Вотчке | Журнал автоматов, языков и комбинаторики 9 (2/3), 2004 г. | |
5-я DCFS 2003 | Будапешт, Венгрия | Эржебет Чухай-Варджу Чандра Кинтала Детлеф Вотчке | Теоретическая информатика 330 (2), 2005 г. | |
6-й DCFS 2004 г. | Лондон, Онтарио, Канада | Люсьен Илие Детлеф Вотчке | Международный журнал основ информатики 16 (5), 2005 г. | |
7-я DCFS 2005 | Комо, Италия | Джованни Пигиццини Детлеф Вотчке | Журнал автоматов, языков и комбинаторики 12 (1/2), 2007 г. | |
8-я DCFS 2006 | Лас-Крусес, Нью-Мексико, США | Хинг Люнг Джованни Пигиццини | Теоретическая информатика 387 (2), 2007 г. | |
9-я DCFS 2007 | Высокие Татры, Словакия | Вильям Гефферт Джованни Пигиццини | Международный журнал основ информатики 19 (4), 2008 г. | |
10-я DCFS 2008 | Шарлоттаун, Канада | Цезарь Кампеану Джованни Пигиццини | Теоретическая информатика 410 (35), 2009. | |
11-я DCFS 2009 | Магдебург, Германия | Юрген Дассов Джованни Пигиццини | EPTCS 3 | Журнал автоматов, языков и комбинаторики , 15 (1-2), 2010 г. |
12-я DCFS 2010 | Саскатун, Саскачеван, Канада | Иэн МакКиллан Джованни Пигиццини | EPTCS 31 | Международный журнал основ компьютерных наук , 23 (1), 2012 г. |
13-я DCFS 2011 | Гиссен, Германия | Маркус Хольцер Мартин Кутриб Джованни Пигиццини | LNCS 6808 | Теоретическая информатика , 449, 2012 |
14-я DCFS 2012 | Брага, Португалия | Мартин Кутриб Нельма Морейра Рогериу Рейс | LNCS 7386 | Журнал автоматов, языков и комбинаторики , 17 (2-4), 2012 г. |
15-я DCFS 2013 | Лондон, Онтарио, Канада | Хельмут Юргенсен Рогерио Рейс | LNCS 8031 | Международный журнал основ компьютерных наук , 25 (7), 2014 г. |
16-я DCFS 2014 | Турку, Финляндия | Хельмут Юргенсен Юхани Кархумяки Александр Охотин | LNCS 8614 | Теоретическая информатика , 610, 2016 |
17-я DCFS 2015 | Ватерлоо, Онтарио, Канада | Александр Охотин Джеффри О. Шаллит | LNCS 9118 | Информация и вычисления , 259 (2), 2018 |
18-я DCFS 2016 | Бухарест, Румыния | Сезар Кампеану Джеффри О. Шаллит | LNCS 9777 | Журнал автоматов, языков и комбинаторики , 22 (1-3), 2017 |
19-я DCFS 2017 | Милан, Италия | Цезарь Кампеану Джованни Пигиццини | LNCS 10316 | Международный журнал основ компьютерных наук , 30 (6-7), 2019 |
20-я DCFS 2018 | Галифакс, Северная Каролина, Канада | Ставрос Константинидис Джованни Пигиццини | LNCS 10952 | Теоретическая информатика , 798, 2019 |
21-й DCFS 2019 | Кошице, Словакия | Галина Йираскова Ставрос Константинидис | LNCS 11612 | Информация и вычисления , чтобы появиться |
22-я DCFS 2020 | Вена, Австрия (отменено) | Галина Йираскова Джованни Пигицини | LNCS 12442 (сборник статей) | Журнал автоматов, языков и комбинаторики , в процессе |
См. Также [ править ]
- В списке конференций по информатике есть и другие научные конференции по информатике.
Ссылки [ править ]
- Бьянка Трут: «Отчет о DCFS 2008». Бюллетень EATCS 96 : 160-161, октябрь 2008 г. Интернет-издание [ постоянная мертвая ссылка ] просмотрено 9 февраля 2009 г.
- Юрген Дассов: «10 лет DCFS». Выступление на 11-й конференции DCFS в Магдебурге, Германия, 6–9 июля 2009 г.
- Иэн Маккуиллан: «Отчет о DCFS 2009». Бюллетень EATCS 99 : 185-187, октябрь 2009 г. Интернет-издание, доступное 24 ноября 2009 г.
- Электронные материалы по теоретической информатике, официальный сайт .
- Хольцер, Маркус; Кутриб, Мартин (2010), «Сложность описания - вводный обзор» , в Мартин-Виде, Карлос (редактор), « Научные приложения языковых методов , математика, вычисления, язык и жизнь: рубежи математической лингвистики и теории языка», 2 , Imperial College Press, стр. 1–58, ISBN 978-1-84816-544-1, архивировано из оригинала (PDF) 25 марта 2012 г. , получено 16 марта 2011 г. CS1 maint: обескураженный параметр ( ссылка )
- Маккуиллан, Ян; Пигиццини, Джованни (2010), Маккуиллан, Ян; Пигиццини, Джованни (ред.), «Предисловие», Электронные слушания по теоретической информатике , 31 , arXiv : 1008.1270 , doi : 10.4204 / EPTCS.31
- Андреас Малчер: «Отчет о DCFS 2012». Бюллетень EATCS 108 : 168-169, октябрь 2012 г. Интернет-издание .
Внешние ссылки [ править ]
- Описание сложности формальных систем: официальный сайт