Конференция «Программирование и вычислительная математика», посвящённая 100-летию со дня рождения Николая Павловича Трифонова, состоится 03.12.2025.
Проводится в рамках празднования Дня математика в России.
Председатель конференции академик РАН, декан факультета ВМК И.А. Соколов
Тематика конференции
- программирование
- вычислительная математика
- искусственный интеллект
- методика подготовки специалистов по прикладной математике и информатике
Место проведения факультет ВМК МГУ им. М.В.Ломоносова
Формат проведения очно-дистанционный
Публикация докладов
Расширенные аннотации докладов, принятых программным комитетом, будут опубликованы в сборнике трудов конференции и включены в РИНЦ.
Организационный взнос
Участие в конференции бесплатное.
Важное объявление
Приглашаем принять участие в работе конференции.
Докладчики и слушатели, не являющиеся сотрудниками университета,
обратите внимание, для входа в здание потребуется паспорт.
Рекомендуем войти в здание через северный вестибюль, ближе к главному зданию.
Верхнюю одежду можно будет оставить в гардеробе, на стойках конференции.
Аудитория П-8 находится на втором этаже.
Сборник материалов конференции
Материалы конференцииТрансляция конференции
Работа конференции транслируется с помощью системы Zoom.
Время: 3 дек. 2025 11:00 AM Москва
Подключиться к конференции Zoom
https://us02web.zoom.us/j/85116303475?pwd=MjsYoj5Eem8drFunov0aCGuM9QWifl.1
Идентификатор конференции: 851 1630 3475
Код доступа: zu9bDT
Программа конференции
11.00 – 12.00 Открытие конференции, ауд. П-8
- Вступительное слово Соколов И.А.
- Леонов М.В. Тема архива и библиотек в 1970 году и полвека спустя [PDF]
С 12.00 Работа по секциям
- 1 заседание 12.00 – 13.40
- Перерыв 13.40 – 14.00
- 2 заседание 14.00 – 15.15 (15.40)
- Будак А.Б. Воспоминания о Н.П. Трифонове к 100-летию со дня рождения
- Фильм о Н.П. Трифонове
1-е заседание. Председатель Вылиток А.А.
- Мамонов А.А, Салпагаров С.И. Определение корреляций между внешними характеристиками полиномиального идеала и вычислительной сложностью нахождения его базиса Грёбнера [PDF]
- Андреева Е.В. Перестановочный алгоритм приведения матриц к верхней блочно-треугольной форме [PDF]
- Зизов В.С. О методе ускорения поиска кратчайших путей на основе удаления вершин малых степеней [PDF]
- Тензина В.В. Перечисление неизоморфных тривиальных ациклических графов по транзитивному замыканию [PDF]
- Вылиток А.А. Проверка регулярности детерминированных бесконтекстных L-графов [PDF]
- Зима Е.В. (дистанционный доклад) О выборе модулей для эффективной модулярной арифметики
- Абрамов С.А. О завершимости работы рандомизированных алгоритмов [PDF]
1-е заседание. Председатель Бернштейн А.В.
- Чижонков Е.В. О PIC-методе и решениях с исчезающей гладкостью [PDF]
- Бобылёв А.А. Алгоритм вычисления передаточной функции оператора Пуанкаре-Стеклова для несжимаемой упругой полосы [PDF]
- Васильев Ю.А. (дистанционный доклад) Влияние информативности цензурирования в задачах анализа деградации дисковых накопителей
- Осипов Н.Н., Медведева М.И. (дистанционный доклад) Поиск серий решетчатых кубатурных формул, точных на тригонометрических многочленах
- Шелудько А.С. (дистанционный доклад) Алгоритм построения покрытия множества решений системы неравенств в задаче гарантированного оценивания параметров модели нелинейного процесса
- Бернштейн А.В. Геометрические аспекты алгоритмов работы с высокоразмерными данными в математическом моделировании [PDF]
- Денисов А.М. Методы приближенного решения обратных задач для сингулярно возмущенных уравнений математической физики [PDF]
1-е заседание. Председатель Петренко А.К.
- Белеванцев А.А. Методы системного программирования в кибербезопасности [PDF]
- Главацкий С.Т., Бурыкин И.Г. Совершенствование методики подготовки студентов математических специальностей для решения задач искусственного интеллекта и науки о данных [PDF]
- Горохов Ю.А., Петровский М.И., Машечкин И.В. Методы глубокого обучения для обнаружения аномалий в данных журналов приложений в задачах надёжности [PDF]
- Зиновкин А.И., Полякова И.Н. Безопасная работа с памятью в Rust [PDF]
- Панфёров А.А., Рябенко А.А. Веб-ресурс для создания и поддержки расширяемых эссе [PDF]
- Петренко А.К. Формальные методы разработки и верификации программ. Горизонт 2030 [PDF]
- Казачук М.А., Петровский М.И., Чикин О.П. Исследование и разработка методов статической аутентификации пользователей по данным датчиков движения мобильного устройства [PDF]
- Пучкин Д.А. Метод контроля исполнения процессов на основе мониторинга потока управления в объеме исполняемых в операционной системе команд [PDF]
1-е заседание. Председатель Лукашевич Н.В.
- Волкова И.А., Головин И.Г. Об одном подходе к автоматическому построению деревьев зависимостей [PDF]
- Зеленчук Г.В., Груздева Н.В. Разведочный анализ данных психологических опросов [PPTX]
- Лукашевич Н.В., Рожков И.С., Добров Б.В. Извлечение именованных сущностей предметной области из неоднородного входного потока [PDF]
- Шамаева Е.Д. Влияние векторных представлений токенов на качество работы нейросетевого синтаксического анализатора Natasha [PDF]
- Атаева О.М., Кобук М.Г., Теймуразов К.Б., Тучкова Н.П. Метод обработки естественного языка в условиях слабой структурированности исходного текста [PDF]
- Машечкин И.В., Попов И.С., Казачук М.А., Горохов О.Е., Лазухин И.С. Исследование и разработка методов сегментации и классификации микробиологических фотоизображений [PDF]
- Рыжов А.П. Проблемы разработки и сценарии использования систем гибридного интеллекта [PPTX(107MB)]
Программный комитет
| Аветисян А.И. (председатель) |
академик РАН, директор ИСП РАН им. В.П.Иванникова, заведующий кафедрой СП |
| Абрамов С.А. (заместитель) |
доктор физико-математических наук, профессор ВМК МГУ, главный научный сотрудник ФИЦ ИУ РАН |
| Бернштейн А.В. |
доктор физико-математических наук, профессор Сколтех, центр искусственного интеллекта |
| Главацкий С.Т. |
кандидат физико-математических наук, и.о. заведующего кафедрой теоретической информатики механики-математического факультета МГУ |
| Денисов А.М. |
доктор физико-математических наук, профессор кафедры МФ факультета ВМК МГУ |
| Икрамов Х.Д. |
доктор физико-математических наук, профессор кафедры ОМ факультета ВМК МГУ |
| Китова О.В. |
доктор экономических наук, заведующая кафедрой информатики, факультет Высшая школа кибертехнологий, математики и статистики, РЭУ им. Г.В. Плеханова |
| Машечкин И.В. |
доктор физико-математических наук, заведующий кафедрой ИИТ факультета ВМК МГУ |
| Михалев А.А. |
доктор физико-математических наук, профессор кафедры высшей алгебры механико-математического факультета МГУ |
| Панфёров А.А. |
кандидат физико-математических наук, научный сотрудник кафедры АЯ факультета ВМК МГУ |
| Рябенко А.А. |
кандидат физико-математических наук, старший научный сотрудник ФИЦ ИУ РАН |
| Садыков Т.М. |
доктор физико-математических наук, заведующий лабораторией искусственного интеллекта, нейротехнологий и бизнес-аналитики, факультет Высшая школа кибертехнологий, математики и статистики, РЭУ им. Г.В. Плеханова |
| Севастьянов Л.А. |
доктор физико-математических наук, профессор кафедры математического моделирования и искусственного интеллекта факультета физико-математических и естественных наук РУДН им. Патриса Лумумбы |
Организационный комитет
| Лукашевич Н.В. (председатель) |
доктор технических наук, профессор, заведующая кафедрой АЯ факультета ВМК МГУ |
| Абрамов В.Г. (сопредседатель) |
кандидат физико-математических наук, доцент, ученый секретарь кафедры АЯ факультета ВМК МГУ |
| Баева Н.В. |
старший преподаватель кафедры АЯ факультета ВМК МГУ |
| Бордаченкова Е.А. (заместитель) |
кандидат физико-математических наук, доцент кафедры АЯ факультета ВМК МГУ |
| Головин И.Г. |
кандидат физико-математических наук, доцент кафедры АЯ факультета ВМК МГУ |
| Горячая И.В. |
кандидат физико-математических наук, ассистент кафедры АЯ факультета ВМК МГУ |
| Гуляев А.В. |
кандидат физико-математических наук, доцент, заведующий лабораторией ПОВП факультета ВМК МГУ |
| Пряникова Л.В. |
зав. учебным отделом факультета ВМК |
