Старший научный сотрудник Международной лаборатории логики, лингвистики и формальной философии принял участие в воркшопе "Homotopy Type Theory/ Univalent Foundations".
Наука
Младший научный сотрудник Международной лаборатории логики, лингвистики и формальной философии выступил с докладом на коллоквиуме, а также принял участие в двухнедельном мастер-классе.
Статья Андрея Родина, старшего научного сотрудника Международной лаборатории логики, лингвистики и формальной философии, опубликована в журнале «Logique et Analyse» (2018. Vol 61, No 242). Тема статьи – On Constructive Axiomatic Method («О конструктивном аксиоматическом методе»).
Статья младшего научного сотрудника Международной лаборатории логики, лингвистики и формальной философии посвящена теме: Consensus in Social Networks of Compound Nodes («Консенсус в социальной сети со сложными узлами»).
