• A
  • A
  • A
  • АБВ
  • АБВ
  • АБВ
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта

Тема «репортаж о событии»

Иллюстрация к новости: Выступление Любови Вашенцевой на семинаре «From the Logical Point of View»

Выступление Любови Вашенцевой на семинаре «From the Logical Point of View»

22 сентября состоялось заседание научно-исследовательского семинара «From the Logical Point of View», на котором Любовь Вашенцева (аспирантка МГУ) выступила с докладом «Логика рациональных агентов LRA».

Иллюстрация к новости: Доклад Ивана Пыльцына «Введение в арифметику Пеано»

Доклад Ивана Пыльцына «Введение в арифметику Пеано»

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

Иллюстрация к новости: Доклад Натальи Зевахиной на семинаре МЛ ЛогЛинФФ

Доклад Натальи Зевахиной на семинаре МЛ ЛогЛинФФ

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

Иллюстрация к новости: Доклад Ивана Пыльцына на ESSLLI 2023

Доклад Ивана Пыльцына на ESSLLI 2023

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

Иллюстрация к новости: Прошла летняя школа «Логика и формальная философия 2023»

Прошла летняя школа «Логика и формальная философия 2023»

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

Иллюстрация к новости: Началась летняя школа «Логика и формальная философия 2023»

Началась летняя школа «Логика и формальная философия 2023»

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

Иллюстрация к новости: Виталий Долгоруков выступил на «Однодневном семинаре по математической логике» (ФКН, НИУ ВШЭ)

Виталий Долгоруков выступил на «Однодневном семинаре по математической логике» (ФКН, НИУ ВШЭ)

29 июня на базе департамента больших данных и информационного поиска (ФКН, НИУ ВШЭ) проходит «Однодневный семинар по математической логике», на котором Виталий Долгоруков выступил с докладом «О приложениях эпистемической логики в компьютерных науках».

Выступления сотрудников МЛ ЛогЛинФФ на конференции «Тринадцатые Смирновские чтения по логике»

22-24 июня прошла конференция «Тринадцатые Смирновские чтения по логике», на которой сотрудники МЛ ЛогЛинФФ представили свои доклады. 

Иллюстрация к новости: Доклад Дениса Федянина на научно-исследовательском семинаре «From the Logical point of View»

Доклад Дениса Федянина на научно-исследовательском семинаре «From the Logical point of View»

16 июня Денис Федянин выступил с докладом «Прикладное программирование квантификации эпистемических формул для генерации заданий для студентов» на научно-исследовательском семинаре МЛ ЛогЛинФФ «From the Logical point of View».

Иллюстрация к новости: Доклады сотрудников МЛ ЛогЛинФФ на воркшопе «SCAN 2023»

Доклады сотрудников МЛ ЛогЛинФФ на воркшопе «SCAN 2023»

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