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

Наука

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

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

Александр Запрягаев выступил с докладом «On Interpretations in Büchi Arithmetics» на конференции 42ème Journées sur les Arithmétiques Faibles (Дни слабых арифметик), которая проходила 25-27 сентября (Карловаси, Самос, Греция).

Иллюстрация к новости: Доклад Анны Овчинниковой «Эпистемическая логика предпочтений»

Доклад Анны Овчинниковой «Эпистемическая логика предпочтений»

29 сентября Анна Овчинникова, стажер-исследователь МЛ ЛогЛинФФ, выстпила с докладом «Эпистемическая логика предпочтений» на научно-исследовательском семинаре «From the Logical Point of View».

Иллюстрация к новости: Хорхе Луис Мендес Мартинес выступил с докладом на международном междисциплинарном коллоквиуме по антропологии звука

Хорхе Луис Мендес Мартинес выступил с докладом на международном междисциплинарном коллоквиуме по антропологии звука

Хорхе Луис Мендес Мартинес представил доклад "¿Cognición extendida? La escritura e imaginación musical como prótesis o como extensión de la cognición auditiva" на международном междисциплинарном коллоквиуме по антропологии звука в Национальном автономном университете Мексики.

Иллюстрация к новости: Выступление Любови Вашенцевой на семинаре «From the Logical Point of View»

Выступление Любови Вашенцевой на семинаре «From the Logical Point of View»

22 сентября состоялось заседание научно-исследовательского семинара «From the Logical Point of View», на котором Любовь Вашенцева (аспирантка МГУ) выступила с докладом «Логика рациональных агентов LRA».

Иллюстрация к новости: Доклад Натальи Зевахиной на семинаре МЛ ЛогЛинФФ

Доклад Натальи Зевахиной на семинаре МЛ ЛогЛинФФ

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

Иллюстрация к новости: Александр Запрягаев успешно защитил кандидатскую диссертацию

Александр Запрягаев успешно защитил кандидатскую диссертацию

Поздравляем стажера-исследователя МЛ ЛогЛинФФ Александра Запрягаева с успешной защитой кандидатской диссертации на тему «Интерпретации в слабых арифметических теориях» (научный руководитель: Л.Д. Беклемишев).

Иллюстрация к новости: Доклад Ивана Пыльцына на ESSLLI 2023

Доклад Ивана Пыльцына на ESSLLI 2023

Иван Пыльцын выступил с докладом на воркшопе «First-order Modal and Temporal Logics: State of the art and perspectives» в рамках Европейской летней школы по логике, языку и информации (ESSLLI 2023).

Иллюстрация к новости: Виталий Долгоруков выступил на «Однодневном семинаре по математической логике» (ФКН, НИУ ВШЭ)

Виталий Долгоруков выступил на «Однодневном семинаре по математической логике» (ФКН, НИУ ВШЭ)

29 июня на базе департамента больших данных и информационного поиска (ФКН, НИУ ВШЭ) проходит «Однодневный семинар по математической логике», на котором Виталий Долгоруков выступил с докладом «О приложениях эпистемической логики в компьютерных науках».

Выступления сотрудников МЛ ЛогЛинФФ на конференции «Тринадцатые Смирновские чтения по логике»

22-24 июня прошла конференция «Тринадцатые Смирновские чтения по логике», на которой сотрудники МЛ ЛогЛинФФ представили свои доклады. 

Круглый стол «Логико-когнитивные модели рассуждений: направления исследований»

21 июня в Международной лаборатории логики, лингвистики и формальной философии состоялся круглый стол «Логико-когнитивные модели рассуждений: направления исследований»