| Докладчик | Тема доклада | |
|---|---|---|
| Семенов Алексей Львович | Московский государственный университет им. Ломоносова | Теория определимости в контексте информационно-коммуникационных систем |
| Ломазова Ирина Александровна | Высшая школа экономики | О системах переписывания процессов высокого уровня |
| Солон Борис Яковлевич | Ивановский государственный университет | Ко-тотальные частичные степени |
| Дурнев Валерий Георгиевич | Ярославский государственный университет им. Демидова | Алгоритмические проблемы для систем уравнений в свободных группах и полугруппах с ограничениями на решения |
| Махортов Сергей Дмитриевич | Воронежский государственный университет | Основанные на решетках алгебраические системы и их приложения в задачах управления знаниями |
| Судоплатов Сергей Владимирович | Институт математики им. Соболева СО РАН | Семейства элементарных теорий и их характеристики |
| Максимова Лариса Львовна, Юн Вета Федоровна | Институт математики им. Соболева СО РАН | Разрешимые свойства логик |
| Пономарев Денис Константинович | Институт систем информатики им. А.П. Ершова СО РАН | Декомпозиция логических теорий: вычислительные проблемы и приложения |
| Соколов Дмитрий Олегович | Санкт-Петербургское отделение Математического института им. В.А.Стеклова РАН | Несколько слов о сложности доказательств |
| Тискин Александр Владимирович | Санкт-Петербургский государственный университет | Алгоритмы на строках и их связь с абстрактной алгеброй |
| Борисов Вадим Владимирович | Московский энергетический институт (филиал в г. Смоленске) | Нечеткий когнитивный анализ и моделирование сложных систем и процессов |
| Шилов Николай Вячеславович | Университет Иннополис | Устранение рекурсии в полуинтерпретированных схемах программ |
