Логический семинар лаборатории им. Манина Высшей школы современной математики

Когда: среда 24 сентября, 13:50 (время не обычное!).
Дистанционно

В рамках логического семинара лаборатории пройдет предзащита докторской диссертации Станислава Кикотя.

Предзащита будет онлайн, и мы устроим трансляцию в ауд.АдмК 322. Но это будет именно трансляция, докладчик будет онлайн. Так что можно подключиться независимо.

Название диссертации: Исследование формальных систем, связанных с модальной логикой и базами данных

Ссылка на встречу: https://telemost.360.yandex.ru/j/9494790016
Регистрируйтесь вашей фамилией, а не псевдонимом!


Страница семинара: https://www.mathnet.ru/rus/conf2559

Адрес: МФТИ, Административный корпус, ауд. 322,
Первомайская ул. д.7, Долгопрудный.
Если у вас нет пропуска МФТИ, то на входе сообщайте, что идёте на наш семинар, и не забудьте паспорт.

#ВШМ_логический