Виталий Долгоруков выступил на «Однодневном семинаре по математической логике» (ФКН, НИУ ВШЭ)
29 июня на базе департамента больших данных и информационного поиска (ФКН, НИУ ВШЭ) проходит «Однодневный семинар по математической логике», на котором Виталий Долгоруков выступил с докладом «О приложениях эпистемической логики в компьютерных науках».
Михаил Смирнов успешно защитил кандидатскую диссертацию
Поздравляем стажера-исследователя МЛ ЛогЛинФФ Михаила Смирнова с успешной защитой кандидатской диссертации на тему «Онтологические основания семантики событий» (научный руководитель: Е.Г. Драгалина-Черная).
Выступления сотрудников МЛ ЛогЛинФФ на конференции «Тринадцатые Смирновские чтения по логике»
22-24 июня прошла конференция «Тринадцатые Смирновские чтения по логике», на которой сотрудники МЛ ЛогЛинФФ представили свои доклады.
Доклад Дениса Федянина на научно-исследовательском семинаре «From the Logical point of View»
16 июня Денис Федянин выступил с докладом «Прикладное программирование квантификации эпистемических формул для генерации заданий для студентов» на научно-исследовательском семинаре МЛ ЛогЛинФФ «From the Logical point of View».
Доклады сотрудников МЛ ЛогЛинФФ на воркшопе «SCAN 2023»
Воркшоп «Semantical and Computational Aspects of Non-Classical Logics» проходит с 13 по 17 июня на базе Математического института им. В. А. Стеклова РАН. Сотрудники МЛ ЛогЛинФФ: Виталий Долгоруков, Иван Пыльцын и Елена Попова представили свои доклады на воркшопе.
Доклад сотрудников МЛ ЛогЛинФФ на «Logic Colloquium 2023»
Виталий Долгоруков и Елена Попова приняли участие в «Logic Colloquium 2023», который проходил с 5 по 9 июня в Государственном университете Милана.
Елена Драгалина-Черная номинирована в Исполнительный комитет Отделения логики, методологии и философии науки и технологии
Елена Драгалина-Черная номинирована в Исполнительный комитет Отделения логики, методологии и философии науки и технологии (Division for Logic, Methodology and Philosophy of Science and Technology, DLMPST) Международного союза истории и философии науки и технологии (International Union of History and Philosophy of Science and Technology, IUHPST). Выборы Исполнительного комитета пройдут в июле 2023 года.
Доклады Степана Кузнецова на семинаре «Формальная философия-78»
12 и 19 мая прошли заседания научно-теоретического семинара «Формальная философия-78». Степан Кузнецов (старший научный сотрудник Математического института им. В. А. Стеклова РАН) выступил с докладом «Категориальные грамматики Ламбека».
Доклад Елены Драгалиной-Чёрной на семинаре «Мышление, язык, сознание»
Елена Драгалина-Черная выступила с докладом «"Контрпримеры" modus ponens: дедуктивная корректность vs эпистемическая рациональность» на семинаре «Мышление, язык, сознание», который проводится в рамках деятельности Междисциплинарной научно-образовательной школы МГУ им. М.В. Ломоносова «Мозг, когнитивные системы, искусственный интеллект».
Состоялся круглый стол «Формальная философия: основания и перспективы», приуроченный к 5-летию МЛ ЛогЛинФФ
21 апреля состоялся круглый стол «Формальная философия: основания и перспективы», приуроченный к 5-летию Международной лаборатории логики, лингвистики и формальной философии.