![Доклад Зорана Огняновича «A Probabilistic Temporal Epistemic Logic» Иллюстрация к новости: Доклад Зорана Огняновича «A Probabilistic Temporal Epistemic Logic»](/data/2024/01/20/2090799547/4IMAGE%202024-01-20%2014%3a45%3a35.jpg)
Доклад Зорана Огняновича «A Probabilistic Temporal Epistemic Logic»
19 января Зоран Огнянович (Mathematical Institute SANU) выступил с докладом «A Probabilistic Temporal Epistemic Logic» на теоретическом семинаре «Формальная философия-80».
Прошел научный семинар в честь Всемирного дня логики
15 января в Международной лаборатории логики, лингвистики и формальной философии состоялся научный семинар, приуроченный ко Всемирному Дню Логики.
![Доклады Александра Запрягаева на Московском международном фестивале языков Иллюстрация к новости: Доклады Александра Запрягаева на Московском международном фестивале языков](/data/2023/12/13/2113642313/3%D0%A1%D0%B0%D1%88%D0%B0%20%D0%97%D0%B0%D0%BF%D1%80%D1%8F%D0%B3%D0%B0%D0%B5%D0%B2.jpeg)
Доклады Александра Запрягаева на Московском международном фестивале языков
10 декабря прошел 17-й Московский международный фестиваль языков (ММФЯ). Александр Запрягаев выступил с тремя докладами на фестиавале.
![Стартовал ридинг-семинар «Analytics» от МЛ ЛогЛинФФ Иллюстрация к новости: Стартовал ридинг-семинар «Analytics» от МЛ ЛогЛинФФ](/data/2023/11/13/2107097683/3oblojka.jpg)
Стартовал ридинг-семинар «Analytics» от МЛ ЛогЛинФФ
Прошел первый ридинг-семинар «Analytics» от студентов НИУ ВШЭ и сотрудников МЛ ЛогЛинФФ.
Стартовал курс сотрудников МЛ ЛогЛинФФ «Введение в эпистемическую логику и формальную эпистемологию»
Виталий Долгоруков и Денис Федянин провели первую лекцию по факультативу «Введение в эпистемическую логику и формальную эпистемологию», который читается на базе НИУ ВШЭ.
![Доклад Ивана Пыльцына «Введение в арифметику Пеано» Иллюстрация к новости: Доклад Ивана Пыльцына «Введение в арифметику Пеано»](/data/2023/09/23/2060418084/%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.25.47.png)
Доклад Ивана Пыльцына «Введение в арифметику Пеано»
22 сентября на учебном семинаре «Логическая семантика» стажер-исследователь Иван Пыльцын выступил с докладом «Введение в арифметику Пеано».
![Прошла летняя школа «Логика и формальная философия 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 июня на базе департамента больших данных и информационного поиска (ФКН, НИУ ВШЭ) проходит «Однодневный семинар по математической логике», на котором Виталий Долгоруков выступил с докладом «О приложениях эпистемической логики в компьютерных науках».
![Доклад Дениса Федянина на научно-исследовательском семинаре «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».