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 | |