Видеотека: Архив докладов 2025

RUS ENG

Полная версия

ВИДЕОТЕКА

Архив докладов

Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar", г. Москва

Verifying Proofs on Blockchain Jeremy Avigad 3 февраля 2025 г. 16:00 г. Москва
Beyond the class of locally finite height Kripke models for provability logic Angelina Ilić-Stepić, Z. Ognjanović, Aleksandar Perović 10 февраля 2025 г. 16:00 г. Москва
First-order classification, non-standard models, and interpretations A. G. Myasnikov 17 февраля 2025 г. 16:00 г. Москва
Об отношениях между предпорядками Рудин – Кейслера и Комфорта, часть I Д. И. Савельев 24 февраля 2025 г. 16:00 г. Москва
Интуиционистская линейная логика первого порядка и гиперграфовые языки Т. Г. Пшеницын 10 марта 2025 г. 16:00 г. Москва
Ординальные инварианты гомоморфных предпорядков к-размеченных лесов В. Л. Селиванов, И. В. Смирнов 24 марта 2025 г. 16:00 г. Москва
Knowing how to understand intuitionistic logic (and its relatives) Yanjing Wang 7 апреля 2025 г. 16:00 г. Москва
Фрагменты арифметики и циклические доказательства Л. Д. Беклемишев 14 апреля 2025 г. 16:00 г. Москва
Complex field with quasiminimal structure A. Dmitrieva 21 апреля 2025 г. 16:00 г. Москва
Randomized Lifting to Semi-Structured Communication Complexity V. V. Podolskii 12 мая 2025 г. 16:00 г. Москва
Эпистемическая модель с ограниченно рациональными игроками М. С. Панов 19 мая 2025 г. 16:00 г. Москва
Топологические универсальные алгебры: симбиоз алгебры и топологии О. В. Сипачёва 2 июня 2025 г. 17:00 г. Москва
Алгоритмическое сравнение лежандровых узлов И. А. Дынников 16 июня 2025 г. 16:00 г. Москва
Исчисления рефлексии и линейность: фрагменты теории бар-индукции Ф. Н. Пахомов 7 июля 2025 г. 16:00 г. Москва