| Суббота, 4 декабря | ||
|---|---|---|
| 8:30-9:00 | Регистрация участников, ауд. 304 | |
| 9:00-13:00 | Пленарное заседание, ауд. 304 | |
| 9:00-9:30 | Открытие | Дудаков Сергей Михайлович |
| 9:30-10:30 | Нечеткий когнитивный анализ и моделирование сложных систем и процессов | Борисов Вадим Владимирович |
| 10:30-11:30 | Теория определимости в контексте информационно-коммуникационных систем | Семенов Алексей Львович |
| 11:30-12:00 | Кофе-брейк | |
| 12:00-13:00 | Семейства элементарных теорий и их характеристики | Судоплатов Сергей Владимирович |
| 13:00-14:30 | Обед | |
| 14:30-17:30 | Работа секций | |
| Математическое моделирование информационно-телекоммуникационных систем, ауд. 304 | ||
| 14:30-15:00 | Моделирование процессов с генерацией и транспортом частиц в случайной среде | Куценко Владимир Александрович, Яровая Елена Борисовна |
| 15:00-15:30 | Статистический анализ случайных графов для задачи распространения информации | Маркович Наталья Михайловна, Рыжов Максим Сергеевич |
| 15;30-16:00 | О стационарном распределении числа требований в одной системе массового обслуживания | Кондратенко Александр Евгеньевич, Соболев Виталий Николаевич |
| 16:00-16:30 | Асимптотические оценки вероятности переполнения большого буфера телекоммуникационной системы для случая неоднородного входящего потока | Сидорова Оксана Игоревна, Суслов Лев Владимирович, Хохлов Юрий Степанович |
| 16:30-17:00 | Системы обслуживания с перерывами в работе прибора и их приложения | Афанасьев Григорий Александрович |
| 17:00-17:30 | Асимптотический анализ систем обслуживания с повторными вызовами при регенерирующем входящем потоке | Афанасьева Лариса Григорьевна, Баштова Елена Евгеньевна |
| Методы искусственного интеллекта, ауд. 200 | ||
| 14:30-15:00 | Метод максимального правдоподобия для обобщения нечетких множеств в таксономиях | Айрапетян Жирайр Сережаевич, Фролов Дмитрий Сергеевич, Миркин Борис Григорьевич |
| 15:00-15:30 | Изоморфизм предикатных формул и его применение для выделения общих свойств сложных структурированных объектов в задачах ИИ | Косовская Татьяна Матвеевна |
| 15;30-16:00 | Комплекс алгоритмов Data Mining в исследовании процесса протекания химических реакций | Биллиг Владимир Арнольдович, Звягинцев Николай Васильевич |
| 16:00-16:30 | Методические рекомендации по оптимизации параметров системы аутентификации на основе использования универсальных хэш-функций и случайных цепочек бит | Яковлев Виктор Алексеевич, Савинова Светлана Алексеевна, Гатчин Юрий Арменакович, Поляков Владимир Иванович, Чикалов Никита Вячеславович |
| Воскресенье, 5 декабря | ||
| 9:30-13:00 | Пленарное заседание, ауд. 304 | |
| 9:30-10:30 | О системах переписывания процессов высокого уровня | Ломазова Ирина Александровна (дистанционно) |
| 10:30-11:30 | Декомпозиция логических теорий: вычислительные проблемы и приложения | Пономарев Денис Константинович (дистанционно) |
| 11:30-12:00 | Кофе-брейк | |
| 12:00-13:00 | Разрешимые свойства логик | Максимова Лариса Львовна, Юн Вета Федоровна (дистанционно) |
| 13:00-14:30 | Обед | |
| 14:30-17:30 | Работа секций | |
| Математическая логика и теория алгоритмов, ауд. 304 | ||
| 14:30-15:00 | Интерпретации в арифметиках Бюхи | Запрягаев Александр Александрович |
| 15:00-15:30 | Устранение операторов прошлого в троичной логике линейного времени на конечных трассах | Куцак Нина Юрьевна, Подымов Владислав Васильевич |
| 15;30-16:00 | Топологические модели логик QHC и QH4 | Оноприенко Анастасия Александровна |
| 16:00-16:30 | Неразрешимость логик с унарным предикатом и двумя переменными | Рыбаков Михаил Николаевич, Шкатов Дмитрий Петрович |
| Алгоритмы и структуры данных, ауд. 200 | ||
| 14:30-15:00 | Сравнение языков моделей сетей Петри со слабой временной стратегией | Вирбицкайте Ирина Бонавентуровна, Зубарев Алексей Юрьевич |
| 15:00-15:30 | Автоматическое тестирование студенческих программ | Новиков Михаил Дмитриевич |
| 15;30-16:00 | Верификация протоколов аутентификации | Миронов Андрей Михайлович |
| 18:00 | Торжественный ужин, Ресторан "Панорама" | |
| Понедельник, 6 декабря | ||
| 9:30-13:00 | Пленарное заседание, ауд. 200 | |
| 9:30-10:30 | Ко-тотальные частичные степени | Солон Борис Яковлевич (дистанционно) |
| 10:30-11:30 | Несколько слов о сложности доказательств | Соколов Дмитрий Олегович |
| 11:30-12:00 | Кофе-брейк | |
| 12:00-13:00 | Алгоритмические проблемы для систем уравнений в свободных группах и полугруппах с ограничениями на решения | Дурнев Валерий Георгиевич (дистанционно) |
| 13:00-14:30 | Обед | |
| 14:30-17:30 | Работа секций | |
| Математическая логика и теория алгоритмов, ауд. 200 | ||
| 14:30-15:00 | Неподвижная точка для логических программ | Авхимович Николь Вадимовна |
| 15:00-15:30 | Элиминация оператора частичной фиксированной точки | Секорин Всеслав Станиславович |
| 15;30-16:00 | О сводимости систем линейных уравнений | Селиверстов Александр Владиславович |
| 16:00-16:30 | От дискретной математики к семантике языков программирования | Городняя Лидия Васильевна (дистанционно) |
| Вторник, 7 декабря | ||
| 9:30-13:00 | Пленарное заседание, ауд. 200 | |
| 9:30-10:30 | Основанные на решетках алгебраические системы и их приложения в задачах управления знаниями | Махортов Сергей Дмитриевич |
| 10:30-11:30 | Алгоритмы на строках и их связь с абстрактной алгеброй | Тискин Александр Владимирович (дистанционно) |
| 11:30-12:00 | Кофе-брейк | |
| 12:00-13:00 | Устранение рекурсии в полуинтерпретированных схемах программ | Шилов Николай Вячеславович (дистанционно) |
| 13:00-14:30 | Обед | |
| 14:30-17:30 | Работа секций | |
| Математическая логика и теория алгоритмов, ауд. 200 | ||
| 14:30-15:00 | In defense of the self-referencing quantifier Sx. Approximation of self-referential sentences by dynamic systems | Степанов Владимир Алексеевич |
| 15:00-15:30 | Принцип декомпозиции и алгоритмическая неразрешимость для моноидов Клини с делениями | Кузнецов Степан Львович |
| 15;30-16:00 | Исчисления алиасов для Cи-подобных языков | Лыгин Леонид Ильич, Шилов Николай Вячеславович (дистанционно) |
| 16:00-16:30 | О полноте модальных предикатных логик в семантике Крипке | Шехтман Валентин Борисович |
| 16:30-17:00 | Субституциональные логики | Горбунов Игорь Анатольевич |
