Анна Овчинникова приняла участие в четвертой летней школе по логике в Университете Цинхуа (Пекин, Китай)
С 8 по 12 июля Анна Овчинникова, стажер-исследователь МЛ ЛогЛинФФ, стала участницей четвертой летней школы по логике в Университете Цинхуа (Пекин, Китай).
Виктория Денисова приняла участие во встрече выпускников образовательных программ нидерландских университетов
3 июля 2024 по приглашению Посольства Нидерландов в Москве Виктория Денисова, выпускница магистратуры по логике (Master of Science in Logic) университета Амстердама, приняла участие во встрече выпускников образовательных программ нидерландских университетов.
Поздравляем Елену Попову с защитой магистерской диссертации!
21 июня Елена Попова защитила магистерскую диссертацию «Семантика первопорядковой логики свидетельств со связывающей модальностью» (руководитель – Т.Л. Яворская) с оценкой «отлично» (10).
Стартовал курс сотрудников МЛ ЛогЛинФФ «Введение в эпистемическую логику и формальную эпистемологию»
Виталий Долгоруков и Денис Федянин провели первую лекцию по факультативу «Введение в эпистемическую логику и формальную эпистемологию», который читается на базе НИУ ВШЭ.
Доклад Ивана Пыльцына «Введение в арифметику Пеано»
22 сентября на учебном семинаре «Логическая семантика» стажер-исследователь Иван Пыльцын выступил с докладом «Введение в арифметику Пеано».
Прошла летняя школа «Логика и формальная философия 2023»
Летняя школа «Логика и формальная философия 2023» проходила с 3 по 7 июля в Кочубей-центре и стала уже 3-й по счету летней школой, которую проводит МЛ ЛогЛинФФ.
Началась летняя школа «Логика и формальная философия 2023»
Прошел первый день летней школы «Логика и формальная философия 2023», в которой принимают участие сотрудники МЛ ЛогЛинФФ и друзья лаборатории.
Стажер-исследователь Иван Пыльцын провел научно-учебный семинар «Логическая семантика»
Иван Пыльцын сделал доклад про метод математической индукции и его применение в решении логических задач и доказательствах.
Александр Запрягаев выступил на Московском фестивале языков
Стажер-исследователь лаборатории Александр Запрягаев выступил на Московском Международном Фестивале Языков, который проходил 11 декабря на базе Факультета гуманитарных наук ВШЭ, с лекциями "Иероглифический мир: как разные народы перековывали китайскую письменность под себя" и "Языки Толкиена"
Поздравляем Георгия Филатова с поступлением на единый трек обучения «магистратура-аспирантура»!
Единый трек обучения «магистратура-аспирантура» дает возможность получать повышенную стипендию и включать в индивидуальный учебный план дисциплину из аспиранстского пула.