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

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

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

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

Программа семинара будет уточняться: https://cs.hse.ru/big-data/seminatfknlogic26

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