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

Стажер-исследователь Иван Пыльцын выступил на семинаре «Современные проблемы математической логики», который прошел 14 ноября на матфаке НИУ ВШЭ.

Иван Пыльцын и Иван Соболев прошли на единый трек обучения «магистратура-аспирантура» 2025.

15 октября на семинаре «From the Logical Point of View» стажер-исследователь МЛ ЛогЛинФФ Иван Пыльцын выступил с докладом «Нефундированная система исчисления на примере интуиционистской и модальных логик».

Иван Пыльцын, стажер-исследователь МЛ ЛогЛинФФ, успешно защитил ВКР на тему «Обобщение интерпретации Гёделя-Тарского на уровень некомпактных расширений Int, Grz и GL, эквивалентно задающихся нефундированными исчислениями» (руководитель – Д.С. Шамканов).

6 июня Иван Пыльцын выступил с докладом «‎Нефундированное расширение интуиционистской логики и игровая семантика Межирова» на семинаре математического факультета НИУ ВШЭ.

23 января прошла первая лекция мини-курса Ивана Пыльцына по алгебраической логике в рамках научно-учебного семинара «Логическая семантика».

Иван Пыльцын стал победителем по направлению математика, Иван Соболев и Егор Емельянов — по направлению философия.

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 июня на базе Математического института им. В. А. Стеклова РАН. Сотрудники МЛ ЛогЛинФФ: Виталий Долгоруков, Иван Пыльцын и Елена Попова представили свои доклады на воркшопе.