Сотрдники лаборатории приняли участие в V Конференции математических центров России
11-16 августа 2025 года в Красноярске состоялась V Конференция математических центров России.
Павел Соколов выступил на однодневном семинаре по математической логике ФКН
На департаменте больших данных и информационного поиска ФКН 25 июня успешно прошёл Однодневный семинар, посвященный актуальным вопросам математической логики.
Прошел семинар "P = NP с точностью до переиспользования"
Соколов Павел, стажер-исследователь международной лаборатории теоретической информатики, выступил с докладом "P = NP с точностью до переиспользования" на семинаре лаборатории
Прошел семинар "Теорема Романова и суммы двух квадратов"
Артем Радомский, старший научный сотрудник международной лаборатории теоретической информатики, выступил с докладом "Теорема Романова и суммы двух квадратов"
Участие сотрудников лаборатории в конференции 9-th Linear Algebra Workshop (LAW’25), Порторож, Словения
С 2 по 6 июня 2025 года сотрудники лаборатории теоретической информатики В. В. Промыслов и А. М. Максаев приняли участие в международной конференции 9-th Linear Algebra Workshop (LAW’25), прошедшей в г. Порторож (Словения). Конференция собрала ведущих специалистов в области линейной алгебры и смежных направлений и отличалась продуктивной рабочей атмосферой.
Состоялась встреча сотрудников МЛ ТИ с научными сотрудниками ИТМО
10 июня прошла встреча коллектива лаборатории теоретической информатики и коллег из Санкт-Петербурга (ИТМО)
Стажеры-исследователи лаборатории выступили на выездном семинаре в Вороново
Стажеры-исследователи международной лаборатории теоретической информатики выступили с постерными докладами на выездном семинаре департамента больших данных и информационного поиска ФКН ВШЭ.
Предварительное обсуждение (предзащита) кандидатской диссертации Артема Маминова
29 апреля 2025 года в 15:00 на заседании Департамента больших данных и информационного поиска факультета компьютерных наук состоялаясь предварительная защита кандидатской диссертации Маминова Артема Дмитриевича на тему: «Исследование и разработка методов интервального анализа, оптимизации и их приложение к робототехнике» (научная специальность 05.13.11 Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей).
Научный руководитель: д. ф.-м. н., Посыпкин Михаил Анатольевич, директор, ФИЦ ИУ РАН.
Рецензенты:
— Горчаков Андрей Юрьевич, к. ф.-м. н., ведущий научный сотрудник, ФИЦ ИУ РАН— Гаранжа Владимир Анатольевич, д. ф.-м. н., ведущий научный сотрудник, ФИЦ ИУ РАН
Прошла конференция лаборатории "Современные проблемы теории чисел"
4 апреля 2025 года в НИУ «ВШЭ» прошла однодневная конференция международной лаборатории теоретической информатики