#матлог #ВШЭ #конференция
Приглашаем вас на Однодневный семинар по математической логике, который пройдет 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
Post #525
1.39K