Прошла церемония награждения победителей и лауреатов НИРС
В числе победителей и лауреатов - работы, написанные под руководством сотрудников Международной лаборатории логики, лингвистики и формальной философии.
Доклад Александра Запрягаева на семинаре "From the Logical Point of View"
Александр Запрягаев, стажер-исследователь МЛ ЛогЛинФФ, выступил с докладом "Арифметики Бюхи и конечные автоматы"
Доклад Владимира Васюкова на всероссийской научной конференции "Философия перед лицом новых цивилизационных вызовов"
4 февраля Владимир Васюков выступил с докладом "Анти-диодорова квантовая логика" на секции "Теоретическая и прикладная логика" на конференции, посвященной 80-летнему юбилею воссоздания философского факультета в структуре Московского университета.
Состоялся доклад Максима Гладышева на заседании семинара "From the Logical Point of View"
Максим Гладышев выступил с докладом "Динамическая эпистемическая логика для агентов с ограниченными ресурсами"
Прошло первое в 2022 году заседание научно-исследовательского семинара "From the Logical Point of View"
Виталий Долгоруков и Елена Попова выступили с докладом "Осведомленность в динамике: эволюционная эпистемическая логика"
Cостоялся воркшоп "День логики 2022"
14 января состоялся воркшоп "День логики 2022", приуроченный к четвертому ежегодному празднованию Всемирного дня логики.
Елена Драгалина-Черная награждена Благодарственным письмом ректора
Елена Драгалина-Чёрная получила Благодарственное письмо ректора за большой личный вклад и поддержку реализации проекта "Международные лаборатории".
Даниил Хайтович принят в Кадровый резерв НИУ ВШЭ!
Поздравляем стажера-исследователя МЛ ЛогЛинФФ Даниила Хайтовича с включением в группу Кадрового резерва и желаем ему дальнейших академических успехов!
Доклад Елены Драгалиной-Черной на 70-м заседании семинара "Формальная философия"
24 декабря заведующая лабораторией и главный научный сотрудник Елена Драгалина-Черная выступила с докладом "Эпистемология тривиальности: случай modus ponens" на 70-м заседании научно-теоретического семинара "Формальная философия".
Доклады сотрудников лаборатории на конференции MACSPro’2021
С 16 по 18 декабря проходила международная научная конференция по моделированию и анализу комплексных систем и процессов "MACSPro’2021", в которой приняли участие Денис Федянин, Виталий Долгоруков и Елена Попова.