Международная конференция по развитию теории языка

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 Архивировано 16 января 2017 г. в Wayback Machine в Монреале, Канада
• 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 Архивировано 03.03.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 г. (доступно для скачивания)
• М. Кудлек. «Отчет о DLT 2008». Бюллетень EATCS 97 :171-174, февраль 2009 г.
• М. Кудлек. «Отчет о DLT 2009». Бюллетень EATCS 100 :155-159, февраль 2010 г.
• М. Кудлек. "Отчет о DLT 2010". Бюллетень EATCS 102 :227-232, октябрь 2010 г. (доступно для скачивания)

• Официальный сайт
• Информация о разбирательствах DLT от DBLP