Программа семинара
| сб, 28 ноября | |
| 13:00-14:00 | Обед |
| 14:00-14:40 | Подловченко Р.И. — Страницы из жизни теории схем программ |
| 14:40-15:20 | Смелянский Р.Л. — Управление качеством сервисов в виртуальных средах |
| 15:20-15:50 | Захаров В.А. — О применении гомоморфного шифрования в облачных вычислениях |
| 15:50-16:20 | Чалый Д.Ю. — Семантическая модель сквозной безопасности в программно-конфигурируемых сетях |
| 16:20-16:50 | Кофе-брейк |
| 16:50-17:30 | Осипов Г.С. — Картина мира |
| 17:30-18:10 | Валиев М.К. — О верификации мультиагентных систем |
| 18:10-18:50 | Башкин В.А. — Некоторые открытые проблемы теории сетей Петри |
| 18:50-19:10 | Дворянский Л.В. — P-инварианты вложенных сетей Петри |
| 19:10-19:30 | Мандрыкин М.У. — Моделирование памяти в инструментах дедуктивной верификации Frama-C/WP, Jessie и VCC |
| 19:30-20:30 | Ужин |
| 20:30-23:00 | Фуршет |
| вс, 29 ноября | |
| 9:00-10:00 | Завтрак |
| 10:00-10:40 | Каленкова А.А. — Синтез иерархических моделей процессов по размеченным логам событий |
| 10:40-11:20 | Мицюк А.А. — Об исправлении моделей процессов |
| 11:20-11:40 | Кофе-брейк |
| 11:40-12:20 | Шершаков С.А. — О задаче сокращения систем переходов в извлечении и анализе моделей процессов |
| 12:20-12:40 | Шугуров И.С. — Генерация логов событий информационных систем |
| 12:40-13:00 | Яиков Р.Р. — Эффективная модификация алгоритма адаптивной медианной фильтрации цифровых изображений |
| 13:00-14:00 | Обед |