Международная конференция по развитию теории языка
| Международная конференция по развитию теории языка | |
|---|---|
| Аббревиатура | ТРР |
| Дисциплина | Формальные языки |
| Подробности публикации | |
| Издатель | Спрингер ЛНКС |
| История | 1993– |
| Частота | годовой (с 2001 г.) |
| нет | |
DLT , Международная конференция по развитию теории языка , представляет собой научную конференцию в области информатики проводится ежегодно под эгидой Европейской ассоциации теоретической информатики . Как и большинство конференций по теоретической информатике, ее материалы строго рецензируются; статьи появляются в материалах, опубликованных в Springer Lecture Notes in Computer Science . Расширенные версии избранных статей ежегодной конференции публикуются в международных журналах, таких как Theoretical Computer Science и International Journal of Foundations of Computer Science .
Темы конференции
[ редактировать ]Типичные темы включают в себя:
- грамматики, акцепторы и преобразователи слов, деревьев и графов
- алгебраические теории автоматов
- алгоритмические, комбинаторные и алгебраические свойства слов и языков
- коды переменной длины
- символическая динамика
- клеточные автоматы
- полимино и многомерные узоры
- вопросы разрешимости
- манипулирование и сжатие изображений
- эффективные текстовые алгоритмы
- отношения между теорией формального языка и криптографией, параллелизмом, теорией сложности и логикой
- биотехнологии и квантовые вычисления
История конференции
[ редактировать ]Серия конференций DLT была учреждена Гжегожем Розенбергом и Арто Саломаа в 1993 году. С 2010 года председателем Руководящего комитета является Юхани Кархумяки .
- 23-я выставка DLT 2019 в Варшаве, Польша
- 22-я выставка DLT 2018 в Токио, Япония.
- 21-я выставка DLT 2017 в Льеже, Бельгия
- 20-я выставка DLT 2016 в Монреале, Канада
- 19-я выставка DLT 2015 г. в Ливерпуле, Англия.
- 18-я ДЛТ 2014 в Екатеринбурге, Россия
- 17-я выставка DLT 2013 в Марн-ла-Валле, Франция.
- 16-я выставка DLT 2012 г. в Тайбэе, Тайвань.
- 15-я выставка DLT 2011 г. в Милане, Италия.
- Специальный выпуск: Международный журнал основ компьютерных наук 23 (5), август 2012 г.
- 14-я выставка DLT 2010 г. в Лондоне (Онтарио), Канада.
- Специальный выпуск: Международный журнал основ компьютерных наук 22 (7), ноябрь 2011 г.
- 13-я выставка DLT 2009 г. в Штутгарте, Германия.
- Специальный выпуск: Международный журнал основ компьютерных наук 22 (2), февраль 2011 г.
- 12-я выставка DLT 2008 г. в Киото, Япония.
- Специальный выпуск: Международный журнал основ компьютерных наук 21 (4), август 2010 г.
- 11-я выставка DLT 2007 г. в Турку, Финляндия.
- Специальный выпуск: Международный журнал основ компьютерных наук 19 (3), июнь 2008 г.
- 10-й DLT 2006 г. в Санта-Барбаре, Калифорния, США.
- Специальный выпуск: Теоретическая информатика 376 (1-2), май 2007 г.
- 9-й DLT 2005 г. Архивировано 3 марта 2016 г. в Wayback Machine в Палермо, Италия.
- Специальный выпуск: Международный журнал основ компьютерных наук 17 (3), июнь 2006 г.
- 8-й DLT 2004 г. в Окленде, Новая Зеландия.
- Специальный выпуск: Международный журнал основ компьютерных наук 16 (4), август 2005 г.
- 7-й DLT 2003 г. в Сегеде, Венгрия.
- Специальный выпуск: Теоретическая информатика, 327 (3), 2004 г.
- 6-й DLT 2002 г. в Киото, Япония.
- 5-й DLT 2001 г. в Вене, Австрия.
- 4-й DLT 1999 г. в Аахене, Германия.
- 3-й DLT 1997 г. в Салониках, Греция.
- 2-й DLT 1995 г. в Магдебурге, Германия.
- 1-й DLT 1993 г. в Турку, Финляндия.
См. также
[ редактировать ]- Список конференций по информатике содержит другие научные конференции по информатике.
- Формальные языки являются основной темой этой конференции.
Ссылки
[ редактировать ]- М. Кудлек. «Отчет о DLT 2004». Бюллетень EATCS 85 :207-215, февраль 2005 г. (доступен для скачивания)
- М. Дейли. «Отчет о DLT 2006». Бюллетень EATCS 90 :227-229, октябрь 2006 г. (доступен для скачивания)
- М. Кудлек. «Отчет о ДЛТ 2008». Бюллетень EATCS 97 : 171-174, февраль 2009 г.
- М. Кудлек. «Отчет по ДЛТ 2009». Бюллетень EATCS 100 : 155-159, февраль 2010 г.
- М. Кудлек. «Отчет по ДЛТ 2010». Бюллетень EATCS 102 :227-232, октябрь 2010 г. (доступен для скачивания)
Внешние ссылки
[ редактировать ]
| Международный | |
|---|---|
| Национальный | |