Добавлены видеозаписи:

• докладов:

Е. О. Степанов, О тропической транспортной задаче.
Общегородской семинар по математической физике им. В. И. Смирнова, 7 сентября 2026 г.
#СеминарыПОМИ

Т. Г. Пшеницын, Аспекты сложности линейной логики и ее инфинитарных расширений.
Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar", 7 сентября 2026 г.
#СеминарыМИАН

• докладов конференции:
Молодeжный коллоквиум по математической логике и еe приложениям, 31 августа–4 сентября 2026 г.

1 сентября 2026 г.
- А. Л. Таламбуца, Алгоритмические проблемы для матричных полугрупп. Лекция 3.

#Конференции