Началась осенняя школа «Логика и формальная философия»
Школа будет проходить в рамках проекта международного академического сотрудничества МЛ ЛогЛинФФ и Центра логики, эпистемологии и истории науки Университета Кампинас.
Сотрудники МЛ ЛогЛинФФ выступили на КМУЧ-2024. Пространства и взаимодействия
15-16 октября сотруднки МЛ ЛогЛинФФ приняли участие в работе XXII Международной конференции молодых ученых в области гуманитарных и социальных наук.
Опубликовано интервью Дениса Маслова
В издании академического блока Вышки «Schola» опубликовано интервью Дениса Маслова, посвященное его академической карьере до Вышки и планам исследований в должности постдока Международной лаборатории логики, лингвистики и формальной философии.
Доклад Михаила Рыбакова на семинаре «Нестандартные логики» в Институте математики им. С.Л.Соболева СО РАН
19 сентября Михаил Рыбаков выступил с докладом «Неразрешимость QLC с двумя переменными» на семинаре «Нестандартные логики» в Институте математики им. С.Л.Соболева СО РАН в г. Новосибирске.
Доклад Ивана Пыльцына «Формализация парадокса неожиданной казни»
Иван Пыльцын выступил с докладом на научно-исследовательском семинаре «From the Logical Point of View», который состоялся 13 сентября.
Анна Овчинникова приняла участие в четвертой летней школе по логике в Университете Цинхуа (Пекин, Китай)
С 8 по 12 июля Анна Овчинникова, стажер-исследователь МЛ ЛогЛинФФ, стала участницей четвертой летней школы по логике в Университете Цинхуа (Пекин, Китай).
Выступления делегации лаборатории на XVI всероссийской научной конференции «Современная логика: проблемы и перспективы» в г. Санкт-Петербурге
27–29 июня 2024 состоялась XVI всероссийская научная конференция «Современная логика: проблемы и перспективы». Конференция проходила на базе Института философии Санкт-Петербургского государственного университета и была приурочена к 300-летию СПбГУ.
Виталий Долгоруков выступил на Однодневном семинаре по математической логике
24 июня прошел Однодневный семинар по математической логике на ФКН НИУ ВШЭ, на котором Виталий Долгоруков представил доклад «Динамическая эпистемическая логика для агентов с ресурсными ограничениями».
Доклад научного сотрудника МЛ ЛогЛинФФ Анны Моисеевой «Как мы создаем и идентифицируем фикциональные объекты»
21 июня состоялось заседание теоретического семинара «Формальная философия», на котором научный сотрудник МЛ ЛогЛинФФ Анна Моисеева выступила с докладом «Как мы создаем и идентифицируем фикциональные объекты».
Доклад Вячеслава Пятакова на семинаре «From the Logical Point of View»
Стажер-исследователь МЛ ЛогЛинФФ Вячеслав Пятаков выступил с докладом на семинаре «From the Logical Point of View», который состоялся 14 июня.