Прошла вторая встреча ридинг-семинара МЛ ЛогЛинФФ «Analytics»
18 ноября прошел второй ридинг-семинар «Analytics» от студентов НИУ ВШЭ и сотрудников МЛ ЛогЛинФФ.
Доклад Ивана Пыльцына «О сильной эквивалентности арифметики Пеано и теории конечных множеств»
10 и 17 ноября стажер-исследователь Иван Пыльцын выступил с докладами «О сильной эквивалентности арифметики Пеано и теории конечных множеств» на исследовательском семинаре "From the Logical Point of View".
Стартовал ридинг-семинар «Analytics» от МЛ ЛогЛинФФ
Прошел первый ридинг-семинар «Analytics» от студентов НИУ ВШЭ и сотрудников МЛ ЛогЛинФФ.
Состоялась 6-я Международная конференция МЛ ЛогЛинФФ «Формальная философия 2023»
С 11 по 13 октября проходила Международная конференция «Формальная философия 2023», организованная Международной лабораторией логики, лингвистики и формальной философии НИУ ВШЭ.
Прошел первый день международной конференции «Формальная философия 2023»
11 октября началась 6-я ежегодная Международная конференция МЛ ЛогЛинФФ «Формальная философия 2023».
Доклад Ивана Соболева «Таксономия типов подразумеваемого значения»
6 октября состоялось заседание научно-исследовательского семинара «From the Logical Point of View», на котором стажер-исследователь Иван Соболев выступил с докладом «Таксономия типов подразумеваемого значения».
Доклад Анны Овчинниковой «Эпистемическая логика предпочтений»
29 сентября Анна Овчинникова, стажер-исследователь МЛ ЛогЛинФФ, выстпила с докладом «Эпистемическая логика предпочтений» на научно-исследовательском семинаре «From the Logical Point of View».
Стартовал курс сотрудников МЛ ЛогЛинФФ «Введение в эпистемическую логику и формальную эпистемологию»
Виталий Долгоруков и Денис Федянин провели первую лекцию по факультативу «Введение в эпистемическую логику и формальную эпистемологию», который читается на базе НИУ ВШЭ.
Доклад Ивана Пыльцына «Введение в арифметику Пеано»
22 сентября на учебном семинаре «Логическая семантика» стажер-исследователь Иван Пыльцын выступил с докладом «Введение в арифметику Пеано».
Доклад Ивана Пыльцына на ESSLLI 2023
Иван Пыльцын выступил с докладом на воркшопе «First-order Modal and Temporal Logics: State of the art and perspectives» в рамках Европейской летней школы по логике, языку и информации (ESSLLI 2023).