Всероссийская научная конференция
Математические основы информатики и информационно-коммуникационных систем

Приглашенные докладчики

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

Информация

Адрес: ауд. 232, Садовый пер., д.35, Тверь, 170002, Россия

Телефон: +7(4822)58-54-10

Email: mfcsics21@tversu.ru

Партнеры конференции