Стажеры-исследователи МЛ ЛогЛинФФ — победители конкурса НИРС
Иван Пыльцын стал победителем по направлению математика, Иван Соболев и Егор Емельянов — по направлению философия.
Доклад Аркадия Шалдова «Семантика видовой референции»
Аркадий Шалдов выступил с докладом «Семантика видовой референции» на семинаре «From the logical point of view», который прошел 29 ноября.
Начался научно-учебный семинар «Математическая Логика и Теория Категорий»
23 ноября прошел первый научно-учебный семинар «Математическая Логика и Теория Категорий».
Второй день конференции «Формальная философия 2024»
Фоторепортаж со второго дня конференции.
Началась конференция «Формальная философия 2024»
Фоторепортаж с первого дня конференции.
Фоторепортаж с первого дня Российско-Бразильской конференции по логическому плюрализму памяти Ньютона да Косты
Завершился первый день конференция по логическому плюрализму памяти Ньютона да Косты.
Репортаж об осенней школе «Логика и формальная философия 2024»
С 28 октября по 1 ноября в Международной лаборатории логики, лингвистики и формальной философии проходила осенняя школа «Логика и формальная философия 2024».
Завершилась осенняя школа «Логика и формальная философия»
Фоторепортаж с последнего дня школы.
Четвертый день осенней школы «Логика и формальная философия»
История паранепротиворечивой логики, приложения к неклассическим логикам и модальная логика предикатов: фоторепортаж с четвертого дня школы МЛ ЛогЛинФФ.
Третий день осенней школы «Логика и формальная философия»
Фоторепортаж с третьего дня школы МЛ ЛогЛинФФ.