Учебно-исследовательский семинар "Компьютерные науки"

Последнее изменение: 11/11/2016 08:46:00

К участию в семинаре приглашаются аспиранты специальностей 01.01.09 и 05.13.18, а также магистранты и студенты старших курсов, ориентированные на исследовательскую работу в области компьютерных наук. В 2016/2017 учебном году заседания семинара проходят по понедельникам с 18:00 в ауд. 611. Руководят работой семинара Д.С.Ананичев и М.В.Волков.

Программа семинара

'''14 ноября 2016:''' доклад М.И.Масленниковой по работе Henk Don и Hans Zantema Finding DFAs with maximal shortest synchronizing word length

7 ноября 2016: доклад М.В.Волкова "Характеризация вполне достижимых автоматов"

31 октября 2016: доклад А.А.Рубцова (МФТИ) по кандидатской диссертации "Исследование задачи регулярной реализуемости"

24 октября 2016: заседание не состоится

17 октября 2016: доклад А.А.Хвороста "Обзор экспериментальных исследований по сжатию с помощью прямолинейных программ"

10 октября 2016: доклад П.С.Агеева "Реализация алгоритма проверки на синхронизируемость с линейным ожидаемым временем работы"

03 октября 2016: доклад М.И.Масленниковой "Representation of (Left) Ideal Regular Languages by Synchronizing Automata" (по новому варианту статьи с Э. Родаро)

26 сентября 2016: доклад М.В.Волкова "Вполне достижимые автоматы" (по работе Completely Reachable Automata)

Смотрите также: