Стажер-исследователь Международной лаборатории логики, лингвистики и формальной философии победила в конкурсе проектов 2018 года фундаментальных научных исследований, выполняемых молодыми учеными.
Новости
Старший научный сотрудник Международной лаборатории логики, лингвистики и формальной философии принял участие в воркшопе "Homotopy Type Theory/ Univalent Foundations".
Младший научный сотрудник Международной лаборатории логики, лингвистики и формальной философии выступил с докладом на коллоквиуме, а также принял участие в двухнедельном мастер-классе.
