• A
  • A
  • A
  • АБВ
  • АБВ
  • АБВ
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта

Новости

Иллюстрация к новости: Статья Виталия Долгорукова и Максима Гладышева

Статья Виталия Долгорукова и Максима Гладышева

Статья Виталия Долгорукова и Максима Гладышева "Dynamic Epistemic Logic for Budget-Constrained Agents" опубликована в сборнике "Dynamic Logic. New Trends and Applications".

Иллюстрация к новости: Доклад Андрея Кудинова на научно-теоретическом семинаре «Формальная философия»

Доклад Андрея Кудинова на научно-теоретическом семинаре «Формальная философия»

10 февраля состоялось 75-е заседание научно-теоретического семинара «Формальная философия», на котором Андрей Кудинов выступил с докладом «Логика пространств подмножеств с публичными высказываниями».

Иллюстрация к новости: Конкурс на позицию стажера-исследователя

Конкурс на позицию стажера-исследователя

Международная лаборатория логики, лингвистики и формальной философии объявляет конкурс на должность стажера-исследователя для участия в проектах лаборатории

Иллюстрация к новости: Доклад Виталия Долгорукова «"Структуры знания": альтернативная семантика для эпистемической логики»

Доклад Виталия Долгорукова «"Структуры знания": альтернативная семантика для эпистемической логики»

3 февраля на научно-исследовательском семинаре «From the Logical Point of View» Виталий Долгоруков сделал доклад «"Структуры знания": альтернативная семантика для эпистемической логики»

Иллюстрация к новости: Доклад Михаила Смирнова на семинаре «From the Logical Point of View»

Доклад Михаила Смирнова на семинаре «From the Logical Point of View»

27 января состоялось очередное заседание научно-исследовательского семинара «From the Logical Point of View», на котором Михаил Смирнов сделал доклад «Семантика незнания: о некоторых аспектах ситуационной семантики и семантики событий».

Иллюстрация к новости: Доклад Александра Запрягаева «Интерпретации в слабых арифметических теориях»

Доклад Александра Запрягаева «Интерпретации в слабых арифметических теориях»

20 января состоялось 1-е в 2023 году заседание научно-исследовательского семинара «From the Logical Point of View». На семинаре Александр Запрягаев представил доклад «Интерпретации в слабых арифметических теориях». 

Иллюстрация к новости: Юбилейное заседание научно-исследовательского семинара «Формальная философия»

Юбилейное заседание научно-исследовательского семинара «Формальная философия»

13 января состоялось юбилейное заседание научно-исследовательского семинара «Формальная философия», в рамках которого с докладом «Paradox and Substructurality» («Парадокс и субструктурность») выступил главный научный сотрудник МЛ ЛогЛинФФ Элиа Дзардини.

Иллюстрация к новости: Доклад Константина Шишова в МИАН им. Стеклова

Доклад Константина Шишова в МИАН им. Стеклова

21 декабря на семинаре "Неклассические логики" состоялся доклад Константина Шишова "Исчисление Ламбека и реляционная семантика: некоторые результаты о полноте".

Поздравляем победителей конкурса НИРС

Подведены итоги Конкурса научно-исследовательских работ студентов (НИРС-2022). Среди победителей Егор Емельянов (научный руководитель: Елена Драгалина-Чёрная) и Елена Попова (научный руководитель: Виталий Долгоруков)

Иллюстрация к новости: Александр Запрягаев выступил на Московском фестивале языков

Александр Запрягаев выступил на Московском фестивале языков

Стажер-исследователь лаборатории Александр Запрягаев выступил на Московском Международном Фестивале Языков, который проходил 11 декабря на базе Факультета гуманитарных наук ВШЭ, с лекциями "Иероглифический мир: как разные народы перековывали китайскую письменность под себя" и "Языки Толкиена"