Войти
Логин:
Пароль:
Забыли пароль?
научная деятельность
структура институтаобразовательные проектыпериодические изданиясотрудники институтапресс-центрконтакты
русский | english

Конференция в честь Юбилея Валентина Шехтмана

27 марта главному научному сотруднику сектора 4.1, д.ф.-м.н. Валентину Борисовичу Шехтману исполняется 60 лет. В честь этого события в пятницу, 29 марта, в ИППИ РАН пройдет однодневная конференция. 

 

                                                                                                ПРОГРАММА МЕРОПРИЯТИЯ

 
1000-1030 Регистрация в формате утреннего кофе-брейка
1030-1100 Пентус М.Р. Фрагменты монотонного исчисления Ламбека
1100-1130 Золин Е.Е. Модальная определимость формул первого порядка с несколькими свободными переменными и ее применение к поиску ответов на запросы
1130-1150 Кофе-брейк 
1150-1220 Шапировский И.Б. Теорема Гливенко, финитная аппроксимируемость и коническая выразимость
1220-1250 Савельев Д.И. О модальной логике конечноместных операций на топологическом пространстве и итерированной производной Кантора
1250-1320 Кудинов А.В.  Бимодальные логики топологических пространств
1320-1450 Обед
1450-1535 Беклемишев Л.Д. О позитивных логиках доказуемости
1535-1620 Верещагин Н.К. Теорема Слепяна-Вольфа для многораундовых протоколов
1620-1640 Кофе-брейк
1640-1725 Шень А.Х. Информация и знания с точки зрения Computer Science
1725-1810 Шехтман В.Б. Логика предикатов и многомерные модальные логики
1810-... Чаепитие

 

26.03.2013 | Ефимова Мария Александровна
 

 

  © Федеральное государственное бюджетное учреждение науки
Институт проблем передачи информации им. А.А. Харкевича Российской академии наук, 2017
Об институте  |  Контакты  |  Старая версия сайта