![Началась летняя школа «Логика и формальная философия 2023» Иллюстрация к новости: Началась летняя школа «Логика и формальная философия 2023»](/data/2023/07/06/2076973808/3%D0%A1%D0%BD%D0%B8%D0%BC%D0%BE%D0%BA%20%D1%8D%D0%BA%D1%80%D0%B0%D0%BD%D0%B0%202023-07-06%20%D0%B2%2010.43.18.png)
Началась летняя школа «Логика и формальная философия 2023»
Прошел первый день летней школы «Логика и формальная философия 2023», в которой принимают участие сотрудники МЛ ЛогЛинФФ и друзья лаборатории.
![Виталий Долгоруков выступил на «Однодневном семинаре по математической логике» (ФКН, НИУ ВШЭ) Иллюстрация к новости: Виталий Долгоруков выступил на «Однодневном семинаре по математической логике» (ФКН, НИУ ВШЭ)](/data/2023/06/29/2077584342/3VVD.jpg)
Виталий Долгоруков выступил на «Однодневном семинаре по математической логике» (ФКН, НИУ ВШЭ)
29 июня на базе департамента больших данных и информационного поиска (ФКН, НИУ ВШЭ) проходит «Однодневный семинар по математической логике», на котором Виталий Долгоруков выступил с докладом «О приложениях эпистемической логики в компьютерных науках».
Выступления сотрудников МЛ ЛогЛинФФ на конференции «Тринадцатые Смирновские чтения по логике»
22-24 июня прошла конференция «Тринадцатые Смирновские чтения по логике», на которой сотрудники МЛ ЛогЛинФФ представили свои доклады.
![Доклад Дениса Федянина на научно-исследовательском семинаре «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 июня в Государственном университете Милана.
![Сотрудники МЛ ЛогЛинФФ приняли участие в конференции «uAnalytiCon-2023: Проблема интеграции» Иллюстрация к новости: Сотрудники МЛ ЛогЛинФФ приняли участие в конференции «uAnalytiCon-2023: Проблема интеграции»](/data/2023/05/24/2017897411/2026-05-24%2022.14.23.jpg)
Сотрудники МЛ ЛогЛинФФ приняли участие в конференции «uAnalytiCon-2023: Проблема интеграции»
Сотрудники МЛ ЛогЛинФФ выступили с докладами на международной конференции «uAnalytiCon-2023: Проблема интеграции», которая прошла с 19 по 20 мая 2023 в Уральском федеральном университете.
![Доклады Степана Кузнецова на семинаре «Формальная философия-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», Константин Шишов выступил с докладом «Логика и “строительные леса” мира: философские поиски Е.Д. Смирновой и В.А. Смирнова».