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

Информация

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

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

Email: mfcsics21@tversu.ru

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

Соорганизаторы конференции

low visible