Пыльцын Иван Олегович

15-16 октября сотруднки МЛ ЛогЛинФФ приняли участие в работе XXII Международной конференции молодых ученых в области гуманитарных и социальных наук.

Иван Пыльцын выступил с докладом на научно-исследовательском семинаре «From the Logical Point of View», который состоялся 13 сентября.

27 января Иван Пыльцын прочитал доклад «Кратко о сильной эквивалентности арифметики Пеано и теории конечных множеств» на Дне Логики в Университете Иннополис.

15 января в Международной лаборатории логики, лингвистики и формальной философии состоялся научный семинар, приуроченный ко Всемирному Дню Логики.

Стажер-исследователь Иван Пыльцын выступил с докладом «‎First-order Modal and Temporal Logics: State of the art and perspectives» на встрече семинара STEP (Software Engineering, Theory and Experimental Programming), которая прошла 8 декабря.

10 и 17 ноября стажер-исследователь Иван Пыльцын выступил с докладами «‎О сильной эквивалентности арифметики Пеано и теории конечных множеств»‎ на исследовательском семинаре "From the Logical Point of View".

22 сентября на учебном семинаре «Логическая семантика» стажер-исследователь Иван Пыльцын выступил с докладом «Введение в арифметику Пеано».

Иван Пыльцын выступил с докладом на воркшопе «First-order Modal and Temporal Logics: State of the art and perspectives» в рамках Европейской летней школы по логике, языку и информации (ESSLLI 2023).

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

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

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