Рамазан Аюпов выступил на семинаре «Chá das 5» Университета Кампинаса
27 июня стажер-исследователь Рамазан Аюпов выступил с докладом «Why is Frege not a Gricean?» на семинаре Университета Кампинаса.
Доклад Сергея Одинцова «Модальная логика Мойсила и родственные системы»
Сергей Одинцов, ведущий научный сотрудник Института математики им. С.Л. Соболева СО РАН, выступил с докладом «Модальная логика Мойсила и родственные системы» на семинаре «Формальная философия», который прошел 27 июня.
Сотрудники МЛ ЛогЛинФФ — победители конкурса образовательных инноваций НИУ ВШЭ 2025
Александр Поддьяков и Владимир Селиверстов стали победителями весеннего конкурса образовательных инноваций 2025.
Второй день конференции «Формальная философия 2025»
Фоторепортаж со второго дня конференции.
Как прошел первый день конференции «Формальная философия 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, эквивалентно задающихся нефундированными исчислениями» (руководитель – Д.С. Шамканов).