Тема «выпускники»

Прошел первый день международной конференции «Формальная философия 2023»

Прошел первый день международной конференции «Формальная философия 2023»
11 октября началась 6-я ежегодная Международная конференция МЛ ЛогЛинФФ «Формальная философия 2023».

Доклад Анны Овчинниковой «Эпистемическая логика предпочтений»

Доклад Анны Овчинниковой «Эпистемическая логика предпочтений»
29 сентября Анна Овчинникова, стажер-исследователь МЛ ЛогЛинФФ, выстпила с докладом «Эпистемическая логика предпочтений» на научно-исследовательском семинаре «From the Logical Point of View».

Стартовал курс сотрудников МЛ ЛогЛинФФ «Введение в эпистемическую логику и формальную эпистемологию»

Стартовал курс сотрудников МЛ ЛогЛинФФ «Введение в эпистемическую логику и формальную эпистемологию»
Виталий Долгоруков и Денис Федянин провели первую лекцию по факультативу «Введение в эпистемическую логику и формальную эпистемологию», который читается на базе НИУ ВШЭ.

Александр Запрягаев успешно защитил кандидатскую диссертацию

Александр Запрягаев успешно защитил кандидатскую диссертацию
Поздравляем стажера-исследователя МЛ ЛогЛинФФ Александра Запрягаева с успешной защитой кандидатской диссертации на тему «Интерпретации в слабых арифметических теориях» (научный руководитель: Л.Д. Беклемишев).

Прошла летняя школа «Логика и формальная философия 2023»

Прошла летняя школа «Логика и формальная философия 2023»
Летняя школа «Логика и формальная философия 2023» проходила с 3 по 7 июля в Кочубей-центре и стала уже 3-й по счету летней школой, которую проводит МЛ ЛогЛинФФ.

Началась летняя школа «Логика и формальная философия 2023»

Началась летняя школа «Логика и формальная философия 2023»
Прошел первый день летней школы «Логика и формальная философия 2023», в которой принимают участие сотрудники МЛ ЛогЛинФФ и друзья лаборатории. 

Михаил Смирнов успешно защитил кандидатскую диссертацию

Поздравляем стажера-исследователя МЛ ЛогЛинФФ Михаила Смирнова с успешной защитой кандидатской диссертации на тему «Онтологические основания семантики событий» (научный руководитель: Е.Г. Драгалина-Черная). 

Ляля Гусева защитила кандидатскую диссертацию!

Поздравляем Лялю Гусеву, стажера-исследователя ЛАГ и  выпускницу Аспирантской школы ФМ ВШЭ, с успешной защитой кандидатской диссертации.

Доклады сотрудников МЛ ЛогЛинФФ на воркшопе «SCAN 2023»

Доклады сотрудников МЛ ЛогЛинФФ на воркшопе «SCAN 2023»
Воркшоп «Semantical and Computational Aspects of Non-Classical Logics» проходит с 13 по 17 июня на базе Математического института им. В. А. Стеклова РАН. Сотрудники МЛ ЛогЛинФФ: Виталий Долгоруков, Иван Пыльцын и Елена Попова представили свои доклады на воркшопе.

Поздравляем выпускников программы Прикладная социальная психология с успешной защитой выпускных работ и присвоением степени магистра!

Поздравляем выпускников программы Прикладная социальная психология с успешной защитой выпускных работ и присвоением степени магистра!