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