Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar", г. Москва
-
Answer Set Semantics and its Logical Aspects
С. П. Одинцов
8 декабря 2025 г. 16:00
г. Москва, МИАН (ул. Губкина, 8), ауд. 313 + онлайн
-
Incidences, tilings, and fields
M. B. Skopenkov
1 декабря 2025 г. 16:00
г. Москва, МИАН (ул. Губкина, 8), ауд. 313 + онлайн
-
A sample iterated small cancellation theory for groups of Burnside type
I. G. Lysenok
24 ноября 2025 г. 16:00
г. Москва, МИАН (ул. Губкина, 8), ауд. 313 + онлайн
-
Представимость алгебраических структур над вещественными числами
А. С. Морозов
27 октября 2025 г. 16:00
г. Москва, МИАН (ул. Губкина, 8), ауд. 313 + онлайн
-
Категорные модели линейной теории типов с субэкпоненциальными модальностями (продолжение)
Д. Д. Рогозин
20 октября 2025 г. 16:00
г. Москва, МИАН (ул. Губкина, 8), ауд. 313 + онлайн
-
Категорные модели линейной теории типов с субэкпоненциальными модальностями
Д. Д. Рогозин
13 октября 2025 г. 16:00
г. Москва, МИАН (ул. Губкина, 8), ауд. 313 + онлайн
-
Конечная порожденность абелизаций некоторых групп автоморфизмов (продолжение)
А. А. Гайфуллин
6 октября 2025 г. 16:00
г. Москва, МИАН (ул. Губкина, 8), ауд. 313 + онлайн
-
Конечная порожденность абелизаций некоторых групп автоморфизмов
А. А. Гайфуллин
29 сентября 2025 г. 16:00
г. Москва, МИАН (ул. Губкина, 8), ауд. 313 + онлайн
-
Representing and proving the consistency of $\mathsf{PA}$ in $\mathsf{PA}$
S. N. Artemov
22 сентября 2025 г. 16:00
г. Москва, МИАН (ул. Губкина, 8), ауд. 313 + онлайн
-
О конструктивных вариантах сводимости Вэджа
В. Л. Селиванов
25 августа 2025 г. 16:00
г. Москва, МИАН (ул. Губкина, 8), ауд. 313 + онлайн
-
Сложность первого порядка конечных случайных структур
М. Е. Жуковский
4 августа 2025 г. 16:00
г. Москва, МИАН (ул. Губкина, 8), ауд. 313 + онлайн
-
Исчисления рефлексии и линейность: фрагменты теории бар-индукции
Ф. Н. Пахомов
7 июля 2025 г. 16:00
г. Москва, МИАН (ул. Губкина, 8), ауд. 313 + онлайн
-
Алгоритмическое сравнение лежандровых узлов
И. А. Дынников
16 июня 2025 г. 16:00
г. Москва, МИАН (ул. Губкина, 8), ауд. 313 + онлайн
-
Топологические универсальные алгебры: симбиоз алгебры и топологии
О. В. Сипачёва
2 июня 2025 г. 17:00
г. Москва, МИАН (ул. Губкина, 8), ауд. 313 + онлайн
-
Эпистемическая модель с ограниченно рациональными игроками
М. С. Панов
19 мая 2025 г. 16:00
г. Москва, МИАН (ул. Губкина, 8), ауд. 313 + онлайн
-
Randomized Lifting to Semi-Structured Communication Complexity
V. V. Podolskii
12 мая 2025 г. 16:00
г. Москва, МИАН (ул. Губкина, 8), ауд. 313 + онлайн
-
Circular and infinitary proofs for complexity analysis of action logic
S. L. Kuznetsov
28 апреля 2025 г. 16:00
г. Москва, МИАН (ул. Губкина, 8), ауд. 313 + онлайн
-
Complex field with quasiminimal structure
A. Dmitrieva
21 апреля 2025 г. 16:00
г. Москва, МИАН (ул. Губкина, 8), ауд. 313 + онлайн
-
Фрагменты арифметики и циклические доказательства
Л. Д. Беклемишев
14 апреля 2025 г. 16:00
г. Москва, МИАН (ул. Губкина, 8), ауд. 313 + онлайн
-
Knowing how to understand intuitionistic logic (and its relatives)
Yanjing Wang
7 апреля 2025 г. 16:00
г. Москва, МИАН (ул. Губкина, 8), ауд. 313 + онлайн
-
Ординальные инварианты гомоморфных предпорядков к-размеченных лесов
В. Л. Селиванов, И. В. Смирнов
24 марта 2025 г. 16:00
г. Москва, МИАН (ул. Губкина, 8), ауд. 313 + онлайн
-
Интуиционистская линейная логика первого порядка и гиперграфовые языки
Т. Г. Пшеницын
10 марта 2025 г. 16:00
г. Москва, МИАН (ул. Губкина, 8), ауд. 313 + онлайн
-
Proofs that Modify Proofs
H. Towsner
3 марта 2025 г. 16:00
г. Москва, МИАН (ул. Губкина, 8), ауд. 313 + онлайн
-
Об отношениях между предпорядками Рудин – Кейслера и Комфорта, часть I
Д. И. Савельев
24 февраля 2025 г. 16:00
г. Москва, МИАН (ул. Губкина, 8), ауд. 313 + онлайн
-
First-order classification, non-standard models, and interpretations
A. G. Myasnikov
17 февраля 2025 г. 16:00
г. Москва, МИАН (ул. Губкина, 8), ауд. 313 + онлайн
-
Beyond the class of locally finite height Kripke models for provability logic
Angelina Ilić-Stepić, Z. Ognjanović, Aleksandar Perović
10 февраля 2025 г. 16:00
г. Москва, МИАН (ул. Губкина, 8), ауд. 313 + онлайн
-
Verifying Proofs on Blockchain
Jeremy Avigad
3 февраля 2025 г. 16:00
г. Москва, МИАН (ул. Губкина, 8), ауд. 313 + онлайн
© , 2026
|
