Начался научно-учебный семинар «Математическая Логика и Теория Категорий»
23 ноября прошел первый научно-учебный семинар «Математическая Логика и Теория Категорий».
Международная конференция «Формальная философия 2024»
Репортаж о Международной конференции «Формальная философия 2024», проходившей с 7 по 9 ноября.
Российско-Бразильская конференция по логическому плюрализму памяти Ньютона да Косты
Репортаж о российско-бразильской конференции.
Виктория Денисова выступила с двумя докладами в университете Кампинаса, Бразилия
Виктория Денисова, стажер-исследователь МЛ ЛогЛинФФ выступила с двумя докладами в университете Кампинаса, Бразилия, где проходит стажировку.
Завершилась международная конференция «Формальная философия»
Фоторепортаж с третьего дня конференции.
Началась конференция «Формальная философия 2024»
Фоторепортаж с первого дня конференции.
Завершающий день Российско-Бразильской конференции
Фоторепортаж со второго дня конференции по логическому плюрализму памяти Ньютона да Косты.
Фоторепортаж с первого дня Российско-Бразильской конференции по логическому плюрализму памяти Ньютона да Косты
Завершился первый день конференция по логическому плюрализму памяти Ньютона да Косты.
Четвертый день осенней школы «Логика и формальная философия»
История паранепротиворечивой логики, приложения к неклассическим логикам и модальная логика предикатов: фоторепортаж с четвертого дня школы МЛ ЛогЛинФФ.
Третий день осенней школы «Логика и формальная философия»
Фоторепортаж с третьего дня школы МЛ ЛогЛинФФ.