TGViewer
Math-Net.Ru Math-Net.Ru @mathnetru · 3.87K subscribers
Post #6570 3.89K
Сегодня, 7 сентября 2026 г., в 16:00 пройдет доклад:

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

#СеминарыМИАН
Open in Telegram All posts from @mathnetru
More from @mathnetru
  1. Sep 29, 2026Сегодня, 29 сентября 2026 г., пройдут доклады конференции: Конференция "Квантовая оптика и…
  2. Sep 29, 2026Сегодня, 29 сентября 2026 г., пройдут занятия НОЦ МИАН: 16:00 В. Б. Шехтман, Д. С. Шамкано…
  3. Sep 29, 2026Сегодня, 29 сентября 2026 г., в 18:30 пройдет доклад: А. С. Скрипченко, Эргодические свойс…
  4. Sep 29, 2026Сегодня, 29 сентября 2026 г., в 16:15 пройдет доклад: Владимир Соколов, Интегрируемость, а…
  5. Sep 29, 2026Сегодня, 29 сентября 2026 г., в 15:00 пройдет доклад: Д. В. Осипов, Символ Конту-Каррера,…
  6. Sep 29, 2026Сегодня, 29 сентября 2026 г., в 12:00 пройдет доклад: А. С. Кириленко, Об удержанных решен…
Threads Profile ViewerView any public Threads profile without an account.Open ThreadLook →Writing with AI? Make it sound human.Metric37 rewrites AI drafts so they read naturally. Free AI detector, 1,500 words free.Try Metric37 →