#матлог #ВШЭ #конференция

Приглашаем вас на Однодневный семинар по математической логике, который пройдет 25 июня с 11:00 до 18:00.

На семинаре планируем заслушать несколько коротких докладов, отражающих прикладные аспекты математической логики в Computer Science и смежных науках. Сейчас математическая логика имеет всё больше приложений "в жизни": пруверы (системы автоматических доказательств); лямбда-исчисление, ставшее основой для функционального программирования; изучение естественных языков при помощи исчисления Ламбека; модальные логики используются для представления знаний и многое другое.

Семинар пройдет по адресу Покровский бульвар 11, аудитория R405.

Программа семинара доступна по ссылке: https://cs.hse.ru/big-data/seminatfknlogic25

Регистрация: https://cs.hse.ru/big-data/polls/1050612121.html

➰ ВК