#матлог #наука #не_мехмат #ВШЭ

Уважаемые коллеги!

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

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

Семинар пройдет по адресу Большой Трёхсвятительский пер., 3, в актовом зале.

Страница семинара: https://cs.hse.ru/big-data/seminatfknlogic24 (программа будет уточняться).

Регистрация открыта до 20 июня: https://cs.hse.ru/big-data/polls/925304111.html (регистрация необходима в том числе для прохода в здание).

Видеозапись семинара прошлого года можно найти на странице: https://cs.hse.ru/big-data/seminatfknlogic

🔗 Семинар по математической логике


➰ ВК