10:00 – 10:15

Открытие конференции

10:15 – 11:15

Шоломов Лев Абрамович (Москва)

Энтропийные свойства частично определенной информации

11:15 –11:45

Перерыв

11:45 – 12:30

Потапов Владимир Николаевич (Новосибирск)

Об алгоритмическом подходе к понятию сложности символьной последовательности

12:30 – 13:00

Косовский Николай Кириллович (Санкт-Петербург)

Сравнение задач "полнота системы булевых функций" и "NP-полноты задачи выполнимости суперпозиций функций этой системы

13:00 – 15:00

Обед

15:00 – 15:30

Колпаков Роман Максимович (Москва)

Полиномиальный алгоритм проверки порождаемости конечных распределений рациональных вероятностей

15:30 – 16:00

Винокуров Сергей Федорович (Иркутск)

Специальная операторная форма булевых функций и некоторые ее приложения

16:00 – 16:20

Августинович Сергей Владимирович (Новосибирск)

Жесткость метрических пространств

16:20 – 6:30

Перерыв

10:00 – 10:45

Парватов Николай Георгиевич (Томск)

О функциональной полноте в классе квазимонотонных функций на конечной полурешетке

17:00 – 17:30

Соловьева Фаина Ивановна  (Новосибирск)

О группах автоморфизмов совершенных двоичных кодов

17:30 – 17:50

Михеева  Елизавета Алексеевна (Ульяновск)

О своеобразии конечнозначных логик

10:00 – 10:45

Егорычев Георгий Петрович (Красноярск)

Теоретико-функциональная модель проблемы 3x+1

10:45 – 11:15                                      Перерыв

11:15 – 12:00

Редькин Николай Петрович (Москва)

Сложность булевых функций с малым числом единиц

12:00 – 12:30

Герасимов Михаил Александрович  (Санкт-Петербург)

Синтаксически определяемые классы функций, вычислимых за линейное время

12:30 – 15:30                        Обед + экскурсия

15:30 – 16:00

Окольнишникова Елизавета Антоновна (Новосибирск)

О некоторых комбинаторных задачах, возникающих в теории сложности

16:00 – 16:30

Забалуев Руслан Николаевич (Москва)

О средней сложности монотонных функций

16:30 – 16.50

Бубнов Сергей Евгеньевич (Москва)

О задачах тестирования бесповторных булевых функций

16:50 – 17:00

Перерыв

17:00 – 17:30

Панкратова Ирина Анатольевна (Томск)

Анализ переключательных схем на наличие состязаний»

17:30 –18:00

Тимошевская Наталия Евгеньевна (Томск)

Параллельные вычисления в решении систем логических уравнений методом линеаризации

10:00 – 10:40

Евтушенко Нина Владимировна (Томск)

Оптимизация декомпозиций конечных автоматов на основе решения
уравнений

10:40 – 11:10

Фрид Анна Эдуардовна (Новосибирск)

Арифметическая сложность бесконечных слов

11:10 – 11:40                             Перерыв

11:40 – 12:10

Семенов Александр Анатольевич (Иркутск)

О специфике обращения полиномиально вычислимых перестановок

12:10 – 12:40

Фон-Дер-Флаасс Дмитрий (Новосибирск)

Об одной задаче последовательного декодирования.

12:40 – 13:00

Ржаницын Геннадий Сергеевич, Пролубников Александр Вячеславович (Омск)

Использование алгоритма проверки изоморфизма графов для осуществления
безопасной передачи видеоинформации по общедоступному каналу связи

 13:00 – 15:00                               Обед

15:00 – 15:30

Мерекин Юрий Владимирович (Новосибирск)

Некоторые оценки сложности слов

15:30 – 15:50

Титова Елена Борисовна (Нижний Новгород)

Базис правого модуля несимметричных многоиндексных транспортных задач

15:50 – 16:10

Федоряева Татьяна Ивановна (Новосибирск)

Свойства метрического продолжения кратчайших цепей

16:10 – 16:20                              Перерыв

16:20 – 16:40

Кириченко Константин Дмитриевич (Иркутск)

О распознавании языков схемами функциональных элементов.

16:40 – 17:00

Васильева Анастасия Юрьевна (Новосибирск)

О восстановлении центрированных функций

17:00 – 17:20

Романов Александр Михайлович (Новосибирск)

О разбиениях q-значных кодов Хемминга на непересекающиеся компоненты

10:00 – 10:25

Седелев Олег Борисович (Москва)

Сложность реализации функций алгебры логики схемами из функциональных элементов, вложенными в гиперкуб.

10:25 – 10:50

Ботев Антон Алексеевич (Москва)

Об алгебраической иммунности одной рекурсивно заданной последовательности корреляционно-иммунных функций

10:50 – 11:00

Перерыв

11:00 – 11:40

Васильев Юрий Леонидович (Новосибирск)

Комбинаторная двумерность пространства Бэра

11:40 – 12:10

Стеценко Владимир Алексеевич (Москва)

12:10

Закрытие, прощальное чаепитие