Размер шрифта
Цветовая схема
Изображения
Межстрочный интервал
Шрифт
×

Всероссийская научная конференция

×
О конференции Участникам Материалы конференции Галерея Архив
О конференцииНаучные направленияПрограммный и организационный комитетПриглашенные докладчикиОсновные датыАдреса
Научные направления
Программный и организационный комитет
Приглашенные докладчики
Основные даты
Адреса
УчастникамРегистрацияПравила оформления тезисов докладаРегистрационный взносСправочная информацияКак добратьсяУчастие без доклада
Регистрация
Правила оформления тезисов доклада
Регистрационный взнос
Справочная информация
Как добраться
Участие без доклада
Материалы конференцииПоступившие тезисы докладовПрограммаСборник трудов
Поступившие тезисы докладов
Программа
Сборник трудов

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

Информация


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

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

Email: mfcsics21@tversu.ru

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


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