Как прошел первый день конференции «Формальная философия 2025»
Началась международная конференция «Формальная философия 2025».
Опубликована статья Дениса Федянина «Epistemic Mathematical Models for Analyzing Meta-opinions on Social Networks»
В сборнике «Social Computing and Social Media. HCII 2025. Lecture Notes in Computer Science» вышла статья Дениса Федянина.
Доклады сотрудников МЛ ЛогЛинФФ на конференции «Четырнадцатые Смирновские чтения по логике»
Сотрудники МЛ ЛогЛинФФ приняли участие в конференции «Четырнадцатые Смирновские чтения по логике», которая проходила с 19 по 21 июня.
Поздравляем Ивана Пыльцына с защитой ВКР!
Иван Пыльцын, стажер-исследователь МЛ ЛогЛинФФ, успешно защитил ВКР на тему «Обобщение интерпретации Гёделя-Тарского на уровень некомпактных расширений Int, Grz и GL, эквивалентно задающихся нефундированными исчислениями» (руководитель – Д.С. Шамканов).
Доклад Дарьи Поповой «Многомерный и одномерный подходы к моделированию языковых значений: монады vs. импозиции»
Дарья Попова, научный сотрудник МЛ ЛогЛинФФ, выступила с докладом на научно-исследовательском семинаре «From the Logical Point of View», который прошел 13 июня.
Поздравляем Ивана Соболева с защитой ВКР!
10 июня стажер-исследователь МЛ ЛогЛинФФ Иван Соболев успешно защитил ВКР на тему «Проблема классификации видов лингвистического значения» (руководитель – В.В. Долгоруков).
Поздравляем Ирину Никитину с защитой магистерской диссертации!
10 июня стажер-исследователь МЛ ЛогЛинФФ Ирина Никитина успешно защитила магистерскую диссертацию «Социальное влияние, иерархия внутри группы и логики действия» (руководитель – В.В. Долгоруков).
Доклад Юлии Копчевой «Модификация аксиом о позитивности в онтологическом доказательстве Геделя»
Стажер-исследователь МЛ ЛогЛинФФ Юлия Копчева выступила с докладом на научно-исследовательском семинаре «From the Logical Point of View», который прошел 6 июня.