RUS
ENG
Full version
CONFERENCES
Traditional winter session MIAN–POMI devoted to the topic "Mathematical logic"
(
December 24–25, 2018
, Steklov Mathematical Institute, Gubkina, 8, Conference hall, 9 floor, Moscow)
Conference schedule
Speakers
Beklemishev Lev Dmitrievich
Vereshchagin Nikolai Konstantinovich
Itsykson Dmitrii Mikhailovich
Kuznetsov Stepan Lvovich
Kulikov Alexander Sergeevich
Lysenok Igor Geront'evich
Matiyasevich Yuri Vladimirovich
Pakhomov Fedor Nikolaevich
Podolskii Vladimir Vladimirovich
Razborov Alexander Alexandrovich
Smal Alexander Vladimirovich
Sokolov Dmitry Olegovich
Speranski Stanislav Olegovich
Shamkanov Daniyar Salkarbekovich
Scedrov Andre
Organisations
Steklov Mathematical Institute of Russian Academy of Sciences, Moscow
St. Petersburg Department of Steklov Mathematical Institute of Russian Academy of Sciences
Traditional winter session MIAN–POMI devoted to the topic "Mathematical logic", Moscow,
December 24–25, 2018
$\Pi^0_1$
-формулировки некоторых известных проблем
Yu. V. Matiyasevich
December 24, 2018
12:00
Moscow, Steklov Mathematical Institute, Gubkina, 8, Conference hall, 9 floor
Колмогоровская сложность вычислимых 0-1-последовательностей
N. K. Vereshchagin
December 24, 2018
12:35
Moscow, Steklov Mathematical Institute, Gubkina, 8, Conference hall, 9 floor
Техники уменьшения глубины схем
A. S. Kulikov
December 24, 2018
14:50
Moscow, Steklov Mathematical Institute, Gubkina, 8, Conference hall, 9 floor
О коротких доказательствах медленной непротиворечивости
F. N. Pakhomov
December 24, 2018
15:25
Moscow, Steklov Mathematical Institute, Gubkina, 8, Conference hall, 9 floor
Резолюционные доказательства и монотонные вычисления
D. O. Sokolov
December 24, 2018
16:20
Moscow, Steklov Mathematical Institute, Gubkina, 8, Conference hall, 9 floor
Цейтинские формулы и однопроходные ветвящиеся программы
D. M. Itsykson
December 24, 2018
16:55
Moscow, Steklov Mathematical Institute, Gubkina, 8, Conference hall, 9 floor
Сложность вычисления некоторых функций коммуникационными протоколами с большим числом участников
V. V. Podolskii
December 24, 2018
17:30
Moscow, Steklov Mathematical Institute, Gubkina, 8, Conference hall, 9 floor
Полудуплексная коммуникационная сложность
A. V. Smal
December 25, 2018
10:00
Moscow, Steklov Mathematical Institute, Gubkina, 8, Conference hall, 9 floor
Полные подграфы в случайных графах и регулярные резолюции
A. A. Razborov
December 25, 2018
10:35
Moscow, Steklov Mathematical Institute, Gubkina, 8, Conference hall, 9 floor
Аналоги многочленов Кантора для секторов
M. A. Vsemirnov
December 25, 2018
11:30
Moscow, Steklov Mathematical Institute, Gubkina, 8, Conference hall, 9 floor
Уравнения в группах и некоторые задачи геометрической комбинаторики
I. G. Lysenok
December 25, 2018
12:05
Moscow, Steklov Mathematical Institute, Gubkina, 8, Conference hall, 9 floor
Исчисление Ламбека, обогащенное субэкспоненциалами
A. Scedrov
December 25, 2018
14:30
Moscow, Steklov Mathematical Institute, Gubkina, 8, Conference hall, 9 floor
$\Pi_1^0$
-полнота исчисления Ламбека с итерацией Клини
S. L. Kuznetsov
December 25, 2018
15:05
Moscow, Steklov Mathematical Institute, Gubkina, 8, Conference hall, 9 floor
Об истинностных значениях и логических константах в модальных логиках Белнапа–Данна
S. O. Speranski
December 25, 2018
16:00
Moscow, Steklov Mathematical Institute, Gubkina, 8, Conference hall, 9 floor
Об устранении сечения для системы
$K^+$
D. S. Shamkanov
December 25, 2018
16:35
Moscow, Steklov Mathematical Institute, Gubkina, 8, Conference hall, 9 floor
©
Steklov Math. Inst. of RAS
, 2024