#матлог #учёба #спецсеминар

"Рабочий семинар по математической логике" в Математическом институте им. В.А. Стеклова РАН (Москва, ул. Губкина, 8) под руководством С.Л. Кузнецова и С.О. Сперанского (ранее — семинар «Вероятностные и субструктурные логические системы») начинает работу в весеннем семестре.

Первое заседание: 11 февраля

Место проведения: МИАН, ком. 303

Время проведения: среда 16:00

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

‼Всем участникам (в т.ч. онлайн-участникам) просьба зарегистрироваться на странице семинара по ссылке выше. Будет возможность удалённого подключения через Контур Толк (ссылку получат зарегистрированные слушатели).

Цель семинара — познакомить участников с разнообразными результатами и методами в области математической логики и теоретической информатики. Предполагается, что программа семинара будет состоять из докладов продолжительностью 2-4 занятия, включающих достаточно подробные разборы актуальных работ (как недавних, так и классических) в данной области. В качестве источников будут выступать статьи и главы из книг, а также собственные тексты докладчиков.

Семинар призван помочь студентам, аспирантам и молодым учёным расширить свой кругозор и освоить более продвинутые техники.

➰ ВК