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

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

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

Поступившие тезисы докладов
Автор Научное направление Тема Дата поступления
Горбунов Игорь Анатольевич, ТвГУ Математическая логика и теория алгоритмов Субституциональные логики 02.08.2021
Рыбаков Михаил Николаевич, ТвГУ; Шкатов Дмитрий Петрович, ТвГУ, University of the Witwatersrand, Johannesburg Математическая логика и теория алгоритмов Неразрешимость логик с унарным предикатом и двумя переменными 05.08.2021
Афанасьев Григорий Александрович, НИУ МГСУ Математическое моделирование информационно-телекоммуникационных систем Системы обслуживания с перерывами в работе прибора и их приложения 09.08.2021
Афанасьева Лариса Григорьевна, Баштова Елена Евгеньевна, МГУ им.М.В.Ломоносова Математическое моделирование информационно-телекоммуникационных систем Асимптотический анализ систем обслуживания с повторными вызовами при регенерирующем входящем потоке 09.08.2021
Оноприенко Анастасия Александровна, ТвГУ, МГУ им. М.В.Ломоносова Математическая логика и теория алгоритмов Топологические модели логик QHC и QH4 11.08.2021
Городняя Лидия Васильевна, ИСИ СО РАН Математическая логика и теория алгоритмов От дискретной математики к семантике языков программирования 14.08.2021
Вирбицкайте Ирина Бонавентуровна, Зубарев Алексей Юрьевич, аспирант. ИСИ СО РАН Математическое моделирование информационно-телекоммуникационных систем Сравнение языков моделей сетей Петри со слабой временной стратегией 14.08.2021
Селиверстов Александр Владиславович, ИППИ РАН Математическая логика и теория алгоритмов О сводимости систем линейных уравнений 20.08.2021
Белов Юрий Анатольевич, ЯрГУ им. П.Г.Демидова Математическое моделирование информационно-телекоммуникационных систем Вопрос о графах достижимости сетей Петри 16.09.2021
Новиков Михаил Дмитриевич, МГУ им. М.В.Ломоносова Алгоритмы и структуры данных Автоматическое тестирование студенческих программ 17.09.2021
Авхимович Николь Вадимовна, ТвГУ Математическая логика и теория алгоритмов Неподвижная точка для логических программ 17.09.2021
Куцак Нина Юрьевна, Подымов Владислав Васильевич, МГУ им. М.В.Ломоносова Математическая логика и теория алгоритмов Устранение операторов прошлого в троичной логике линейного времени на конечных трассах 19.09.2021
Айрапетян Жирайр Сережаевич, Фролов Дмитрий Сергеевич, Миркин Борис Григорьевич, ВШЭ Методы искусственного интеллекта Метод максимального правдоподобия для обобщения нечетких множеств в таксономиях 19.09.2021
Биллиг Владимир Арнольдович, ТвГТУ; Звягинцев Николай Васильевич, ТвГУ Методы искусственного интеллекта Комплекс алгоритмов Data Mining в исследовании процесса протекания химических реакций 19.09.2021
Маркович Наталья Михайловна, Рыжов Максим Сергеевич, ИПУ им. В.А. Трапезникова РАН Математическое моделирование информационно-телекоммуникационных систем Статистический анализ случайных графов для задачи распространения информации 19.09.2021
Косовская Татьяна Матвеевна, СПбГУ Методы искусственного интеллекта Изоморфизм предикатных формул и его применение для выделения общих свойств сложных структурированных объектов в задачах ИИ 20.09.2021
Степанов Владимир Алексеевич, ВЦ им.Дородницына РАН Математическая логика и теория алгоритмов In defense of the self-referencing quantifier Sx. Approximation of self-referential sentences by dynamic systems 20.09.2021
Секорин Всеслав Станиславович, ТвГУ Математическая логика и теория алгоритмов Элиминация оператора частичной фиксированной точки 20.09.2021
Кондратенко Александр Евгеньевич, МГУ им.М.В.Ломоносова; Соболев Виталий Николаевич, Лаборатория ТВП Математическое моделирование информационно-телекоммуникационных систем О стационарном распределении числа требований в одной системе массового обслуживания 20.09.2021
Запрягаев Александр Александрович, ВШЭ Математическая логика и теория алгоритмов Интерпретации в арифметиках Бюхи 20.09.2021
Кузнецов Степан Львович, МИ им.В.А.Стеклова РАН Математическая логика и теория алгоритмов Принцип декомпозиции и алгоритмическая неразрешимость для моноидов Клини с делениями 20.09.2021
Лыгин Леонид Ильич, Шилов Николай Вячеславович, «Университет Иннополис» Математическое моделирование информационно-телекоммуникационных систем Исчисления алиасов для Cи-подобных языков 20.09.2021
Пилькевич Павел Вадимович, Луцышен Виталий Алексеевич, СевГУ Алгоритмы и структуры данных Подход к обнаружению подозрительной активности на основе кластеризации событий протокола SSH 20.09.2021
Яковлев Виктор Алексеевич, СПбГУТ; Савинова Светлана Алексеевна, Гатчин Юрий Арменакович, Поляков Владимир Иванович, Чикалов Никита Вячеславович, ИТМО Математическое моделирование информационно-телекоммуникационных систем Методические рекомендации по оптимизации параметров системы аутентификации на основе использования универсальных хэш-функций и случайных цепочек бит 20.09.2021
Куценко Владимир Александрович, Яровая Елена Борисовна, МГУ им.М.В.Ломоносова Математическое моделирование информационно-телекоммуникационных систем Моделирование процессов с генерацией и транспортом частиц в случайной среде 20.09.2021
Сидорова Оксана Игоревна, ТвГУ; Суслов Лев Владимирович, Хохлов Юрий Степанович, МГУ им. М.В.Ломоносова Математическое моделирование информационно-телекоммуникационных систем Асимптотические оценки вероятности переполнения большого буфера телекоммуникационной системы для случая неоднородного входящего потока 20.09.2021
Шехтман Валентин Борисович, ИППИ РАН Математическая логика и теория алгоритмов О полноте модальных предикатных логик в семантике Крипке 20.09.2021
Миронов Андрей Михайлович, МГУ им. М.В.Ломоносова Алгоритмы и структуры данных Верификация протоколов аутентификации 20.09.2021

Информация


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

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

Email: mfcsics21@tversu.ru

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


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