#матлог #спецсеминар #не_мехмат #МФТИ

В рамках логического семинара лаборатории им. Манина Высшей школы современной математики МФТИ (ВШМ) пройдет предзащита докторской диссертации Станислава Кикотя.

Среда, 24 сентября, 13:50 (время необычное!).

Предзащита будет онлайн, и мы устроим трансляцию по адресу
МФТИ, Административный корпус, ауд. 322,
Первомайская ул. д.7, Долгопрудный.

Но это будет именно трансляция, докладчик будет онлайн.
Так что можно подключиться независимо. Для получения ссылки пишите на почту kudinov.andrey@gmail.com.

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

➰ ВК