
Новости

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







