В ближайшую субботу 16 ноября в 16:20 состоится очередное заседание ридинг-семинара "Analytics": оно будет посвящено статье Рут Милликан "Neuroscience and Teleosemantics". Встреча пройдет в гибридном формате - в Zoom и по адресу ул. Старая Басманная, д. 21/4, каб. А121. Подробности можно узнать по ссылке: https://t.me/+B3UPwOcK5ao0Y2E6

23 ноября стартует научно-учебный семинар «Математическая Логика и Теория Категорий»!

Семинар нацелен на совместное изучение основ и актуальных результатов в сфере категорной логики, теории типов и теории моделей. Особое внимание уделяется изучению проблем и подходов, находящихся на пересечении математики, формальной философии, логики и теоретической информатики. В рамках семинаров предполагается введение в основные понятия и темы математических дисциплин напрямую связанных с категорной логикой. Основная задача семинара — совместное изучение основ категорной логики, поэтому участие не предполагает специальных знаний в указанных выше сферах.

Если Вы хотите присоединиться к семинару или выступить с докладом, то свяжитесь с организаторами (aagrigoryan_3@edu.hse.ru / riaiupov@edu.hse.ru). Семинар проходит по субботам в 11:30 в аудитории A-121. Семинар проводится в гибридном формате. Обязательно свяжитесь с организаторами, если Вам нужен пропуск.

Ссылка на чат семинара: https://t.me/+q7rhQuAMOcs0MTYy