Доклад Анны Овчинниковой «Эпистемическая логика предпочтений»
29 сентября Анна Овчинникова, стажер-исследователь МЛ ЛогЛинФФ, выстпила с докладом «Эпистемическая логика предпочтений» на научно-исследовательском семинаре «From the Logical Point of View».
Хорхе Луис Мендес Мартинес выступил с докладом на международном междисциплинарном коллоквиуме по антропологии звука
Хорхе Луис Мендес Мартинес представил доклад "¿Cognición extendida? La escritura e imaginación musical como prótesis o como extensión de la cognición auditiva" на международном междисциплинарном коллоквиуме по антропологии звука в Национальном автономном университете Мексики.
Выступление Любови Вашенцевой на семинаре «From the Logical Point of View»
22 сентября состоялось заседание научно-исследовательского семинара «From the Logical Point of View», на котором Любовь Вашенцева (аспирантка МГУ) выступила с докладом «Логика рациональных агентов LRA».
Доклад Ивана Пыльцына «Введение в арифметику Пеано»
22 сентября на учебном семинаре «Логическая семантика» стажер-исследователь Иван Пыльцын выступил с докладом «Введение в арифметику Пеано».
Доклад Натальи Зевахиной на семинаре МЛ ЛогЛинФФ
15 сентября Наталья Зевахина выступила с докладом «Избыточная спецификация количества и цвета в референциальный коммуникации» на семинаре лаборатории «From the Logical Point of View».
Александр Запрягаев успешно защитил кандидатскую диссертацию
Поздравляем стажера-исследователя МЛ ЛогЛинФФ Александра Запрягаева с успешной защитой кандидатской диссертации на тему «Интерпретации в слабых арифметических теориях» (научный руководитель: Л.Д. Беклемишев).
Доклад Ивана Пыльцына на ESSLLI 2023
Иван Пыльцын выступил с докладом на воркшопе «First-order Modal and Temporal Logics: State of the art and perspectives» в рамках Европейской летней школы по логике, языку и информации (ESSLLI 2023).
Началась летняя школа «Логика и формальная философия 2023»
Прошел первый день летней школы «Логика и формальная философия 2023», в которой принимают участие сотрудники МЛ ЛогЛинФФ и друзья лаборатории.
Виталий Долгоруков выступил на «Однодневном семинаре по математической логике» (ФКН, НИУ ВШЭ)
29 июня на базе департамента больших данных и информационного поиска (ФКН, НИУ ВШЭ) проходит «Однодневный семинар по математической логике», на котором Виталий Долгоруков выступил с докладом «О приложениях эпистемической логики в компьютерных науках».
Михаил Смирнов успешно защитил кандидатскую диссертацию
Поздравляем стажера-исследователя МЛ ЛогЛинФФ Михаила Смирнова с успешной защитой кандидатской диссертации на тему «Онтологические основания семантики событий» (научный руководитель: Е.Г. Драгалина-Черная).