Воркшоп по математической креативности в Бразилии
В рамках первого Всемирного конгресса Бразильской Академии философии в честь 90-летия Ньютона да Коста был проведен воркшоп по математической креативности.
Статья Елены Драгалиной-Черной опубликована издательством De Gruyter
В книге «Philosophy of Logic and Mathematics», вышедшей в издательстве De Gruyter опубликована статья Елены Драгалиной-Черной "Surprises in Logic: When Dynamic Formality Meets Interactive Compositionality".
Поздравляем с получением премии "Золотая Вышка"!
Поздравляем Елену Григорьевну с получением премии "Золотая Вышка" в номинации "Успех педагога"!
Сотрудники МЛ ЛогЛинФФ выступили с лекциями на Осенней школе по философии
В рамках IV Осенней школы по философии состоялись лекции сотрудников Международной лаборатории логики, лингвистики и формальной философии.
Опубликована статья Андрея Родина
В книге Reflections on the Foundations of Mathematics: Univalent Foundations, Set Theory and General Thoughts опубликована статья Андрея Родина "Models of HoTT and the Constructive View of Theories".
Наталья Зевахина выступила с докладом в Берлине
Старший научный сотрудник МЛ ЛогЛинФФ выступила с докладом в Центре общего языкознания в Берлине.
Поздравляем с победой в конкурсе ИФ РАН «О пользе и вреде философии для жизни» Александра Мельникова!
Александр Мельников, стажер-исследователь МЛ ЛогЛинФФ, получил первую премию в конкурсе философских работ ИФ РАН «О пользе и вреде философии для жизни».
В журнале "Вопросы философии" вышла статья Александра Мишуры
Статья Александра Мишуры, научного сотрудника Международной лаборатории логики, лингвистики и формальной философии, "Свобода в мире: защита экстерналистского либертарианства" опубликована в журнале "Вопросы философии" ( 2019. № 8. С. 49-58.).
Евгений Золин выступил с докладом на семинаре в МГУ
31 октября на объединённом семинаре «Логические проблемы информатики» и «Модальная и алгебраическая логика» состоялся доклад Евгения Золина.