Формальная философия-60: доклад Елены Драгалиной-Чёрной "Материальное следование"
5 февраля состоялось 60-е заседание научно-теоретического семинара «Формальная философия».
Формальная философия-59: доклад «Абстрактная теория определимости» Евгения Золина, приуроченный ко Дню Логики
15 января состоялось 59-е заседание научно-теоретического семинара «Формальная философия».
Ведущий научный сотрудник МЛ ЛогЛинФФ выступил с докладом на конференции в Рио-де-Жанейро
Ведущий научный сотрудник МЛ ЛогЛинФФ выступил с докладом на конференции CREATIVITY-2019, прошедшей в Рио-де-Жанейро с 8 по 13 декабря.
Сотрудники МЛ ЛогЛинФФ представили доклады на конференции в Париже
Сотрудники Международной лаборатории логики, лингвистики и формальной философии выступили с докладами на конференции, посвященной математической философии.
Воркшоп по математической креативности в Бразилии
В рамках первого Всемирного конгресса Бразильской Академии философии в честь 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".