![Доклад Ивана Пыльцына на ESSLLI 2023 Иллюстрация к новости: Доклад Ивана Пыльцына на ESSLLI 2023](/data/2023/08/30/2056259660/3esslli.jpeg)
Доклад Ивана Пыльцына на ESSLLI 2023
Иван Пыльцын выступил с докладом на воркшопе «First-order Modal and Temporal Logics: State of the art and perspectives» в рамках Европейской летней школы по логике, языку и информации (ESSLLI 2023).
![Виталий Долгоруков выступил на «Однодневном семинаре по математической логике» (ФКН, НИУ ВШЭ) Иллюстрация к новости: Виталий Долгоруков выступил на «Однодневном семинаре по математической логике» (ФКН, НИУ ВШЭ)](/data/2023/06/29/2077584342/3VVD.jpg)
Виталий Долгоруков выступил на «Однодневном семинаре по математической логике» (ФКН, НИУ ВШЭ)
29 июня на базе департамента больших данных и информационного поиска (ФКН, НИУ ВШЭ) проходит «Однодневный семинар по математической логике», на котором Виталий Долгоруков выступил с докладом «О приложениях эпистемической логики в компьютерных науках».
Выступления сотрудников МЛ ЛогЛинФФ на конференции «Тринадцатые Смирновские чтения по логике»
22-24 июня прошла конференция «Тринадцатые Смирновские чтения по логике», на которой сотрудники МЛ ЛогЛинФФ представили свои доклады.
Круглый стол «Логико-когнитивные модели рассуждений: направления исследований»
21 июня в Международной лаборатории логики, лингвистики и формальной философии состоялся круглый стол «Логико-когнитивные модели рассуждений: направления исследований»
![Доклад Дениса Федянина на научно-исследовательском семинаре «From the Logical point of View» Иллюстрация к новости: Доклад Дениса Федянина на научно-исследовательском семинаре «From the Logical point of View»](/data/2023/06/20/2075383921/3%D0%A4%D0%B5%D0%B4%D1%8F%D0%BD%D0%B8%D0%BD.jpg)
Доклад Дениса Федянина на научно-исследовательском семинаре «From the Logical point of View»
16 июня Денис Федянин выступил с докладом «Прикладное программирование квантификации эпистемических формул для генерации заданий для студентов» на научно-исследовательском семинаре МЛ ЛогЛинФФ «From the Logical point of View».
![Доклады сотрудников МЛ ЛогЛинФФ на воркшопе «SCAN 2023» Иллюстрация к новости: Доклады сотрудников МЛ ЛогЛинФФ на воркшопе «SCAN 2023»](/data/2023/06/20/2075384713/2026-06-20%2017.14.26.jpg)
Доклады сотрудников МЛ ЛогЛинФФ на воркшопе «SCAN 2023»
Воркшоп «Semantical and Computational Aspects of Non-Classical Logics» проходит с 13 по 17 июня на базе Математического института им. В. А. Стеклова РАН. Сотрудники МЛ ЛогЛинФФ: Виталий Долгоруков, Иван Пыльцын и Елена Попова представили свои доклады на воркшопе.
![Доклад сотрудников МЛ ЛогЛинФФ на «Logic Colloquium 2023» Иллюстрация к новости: Доклад сотрудников МЛ ЛогЛинФФ на «Logic Colloquium 2023»](/data/2023/06/12/2073935150/2026-06-12%2015.09.27.jpg)
Доклад сотрудников МЛ ЛогЛинФФ на «Logic Colloquium 2023»
Виталий Долгоруков и Елена Попова приняли участие в «Logic Colloquium 2023», который проходил с 5 по 9 июня в Государственном университете Милана.
![Доклады Степана Кузнецова на семинаре «Формальная философия-78» Иллюстрация к новости: Доклады Степана Кузнецова на семинаре «Формальная философия-78»](/data/2023/05/24/2019159985/4photo_2023-05-12_10-54-30.jpg)
Доклады Степана Кузнецова на семинаре «Формальная философия-78»
12 и 19 мая прошли заседания научно-теоретического семинара «Формальная философия-78». Степан Кузнецов (старший научный сотрудник Математического института им. В. А. Стеклова РАН) выступил с докладом «Категориальные грамматики Ламбека».
Доклады стажеров-исследователей МЛ ЛогЛинФФ на конференции молодых исследователей «Terra hominis»
27-28 апреля проходила междисциплинарная конференция молодых исследователей «Terra hominis», на которой стажеры-исследователи МЛ ЛогЛинФФ представили свои доклады.
![Доклад Константина Шишова на семинаре From the Logical Point of View Иллюстрация к новости: Доклад Константина Шишова на семинаре From the Logical Point of View](/data/2023/04/30/2014494630/3obl.jpg)
Доклад Константина Шишова на семинаре From the Logical Point of View
28 апреля состоялось заседание научно-исследовательского семинара «From the Logical Point of View», Константин Шишов выступил с докладом «Логика и “строительные леса” мира: философские поиски Е.Д. Смирновой и В.А. Смирнова».