![Выступление Любови Вашенцевой на семинаре «From the Logical Point of View» Иллюстрация к новости: Выступление Любови Вашенцевой на семинаре «From the Logical Point of View»](/data/2023/09/23/2060420512/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-09-23%20%D0%B2%2011.38.53.png)
Выступление Любови Вашенцевой на семинаре «From the Logical Point of View»
22 сентября состоялось заседание научно-исследовательского семинара «From the Logical Point of View», на котором Любовь Вашенцева (аспирантка МГУ) выступила с докладом «Логика рациональных агентов LRA».
![Доклад Натальи Зевахиной на семинаре МЛ ЛогЛинФФ Иллюстрация к новости: Доклад Натальи Зевахиной на семинаре МЛ ЛогЛинФФ](/data/2023/09/19/2060657130/1.png)
Доклад Натальи Зевахиной на семинаре МЛ ЛогЛинФФ
15 сентября Наталья Зевахина выступила с докладом «Избыточная спецификация количества и цвета в референциальный коммуникации» на семинаре лаборатории «From the Logical Point of View».
![Александр Запрягаев успешно защитил кандидатскую диссертацию Иллюстрация к новости: Александр Запрягаев успешно защитил кандидатскую диссертацию](/data/2023/09/28/2057812280/%D0%90%D1%80%D0%B8%D1%84%D0%BC%D0%B5%D1%82%D0%B8%D0%BA%D0%B8.png)
Александр Запрягаев успешно защитил кандидатскую диссертацию
Поздравляем стажера-исследователя МЛ ЛогЛинФФ Александра Запрягаева с успешной защитой кандидатской диссертации на тему «Интерпретации в слабых арифметических теориях» (научный руководитель: Л.Д. Беклемишев).
![Доклад Ивана Пыльцына на 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).
![Прошла летняя школа «Логика и формальная философия 2023» Иллюстрация к новости: Прошла летняя школа «Логика и формальная философия 2023»](/data/2023/07/10/2079356846/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-10%20%D0%B2%2017.27.30.png)
Прошла летняя школа «Логика и формальная философия 2023»
Летняя школа «Логика и формальная философия 2023» проходила с 3 по 7 июля в Кочубей-центре и стала уже 3-й по счету летней школой, которую проводит МЛ ЛогЛинФФ.
![Началась летняя школа «Логика и формальная философия 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 июня на базе Математического института им. В. А. Стеклова РАН. Сотрудники МЛ ЛогЛинФФ: Виталий Долгоруков, Иван Пыльцын и Елена Попова представили свои доклады на воркшопе.