Опубликовано интервью Дениса Маслова
В издании академического блока Вышки «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 июня.
Доклад Михаила Смирнова в Университете Лазурного берега
10 июня научный сотрудник МЛ ЛогЛинФФ Михаил Смирнов в дистанционном формате выступил с докладом «Hosting a performative clause: on structural variety and semantics of performative utterances» на научно-исследовательском семинаре «Clausal Complements», организуемом Университетом Лазурного берега (Université Côte d'Azur).
Доклад Валерии Николаевой на семинаре «From the Logical Point of View»
7 июня стажер-исследователь МЛ ЛогЛинФФ Валерия Николаева выступила с докладом «Поиск бисимуляции на питоне» на научно-исследовательском семинаре «From the Logical Point of View».