• A
  • A
  • A
  • АБВ
  • АБВ
  • АБВ
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта
Иллюстрация к новости: Формальная философия-59: доклад «Абстрактная теория определимости» Е. Е. Золина, приуроченный ко Дню Логики

Формальная философия-59: доклад «Абстрактная теория определимости» Е. Е. Золина, приуроченный ко Дню Логики

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

Иллюстрация к новости: Ведущий научный сотрудник МЛ ЛогЛинФФ выступил с докладом на конференции в Рио-де-Жанейро

Ведущий научный сотрудник МЛ ЛогЛинФФ выступил с докладом на конференции в Рио-де-Жанейро

Ведущий научный сотрудник МЛ ЛогЛинФФ выступил с докладом на конференции CREATIVITY-2019, прошедшей в Рио-де-Жанейро с 8 по 13 декабря.

Иллюстрация к новости: Сотрудники МЛ ЛогЛинФФ представили доклады на конференции в Париже

Сотрудники МЛ ЛогЛинФФ представили доклады на конференции в Париже

Сотрудники Международной лаборатории логики, лингвистики и формальной философии выступили с докладами на конференции, посвященной математической философии.

Иллюстрация к новости: Воркшоп по математической креативности в Бразилии

Воркшоп по математической креативности в Бразилии

В рамках первого Всемирного конгресса Бразильской Академии философии в честь 90-летия Ньютона да Коста был проведен воркшоп по математической креативности.

Иллюстрация к новости: Статья Елены Драгалиной-Черной опубликована издательством De Gruyter

Статья Елены Драгалиной-Черной опубликована издательством De Gruyter

В книге «Philosophy of Logic and Mathematics», вышедшей в издательстве De Gruyter опубликована статья Елены Драгалиной-Черной "Surprises in Logic: When Dynamic Formality Meets Interactive Compositionality".

Иллюстрация к новости: Поздравляем с получением премии "Золотая Вышка"!

Поздравляем с получением премии "Золотая Вышка"!

Поздравляем Елену Григорьевну с получением премии "Золотая Вышка" в номинации "Успех педагога"!

Объявлены номинанты "Золотой Вышки": сотрудники лаборатории в шорт-листе премии

Сотрудники МЛ ЛогЛинФФ выступили с лекциями на Осенней школе по философии

В рамках IV Осенней школы по философии состоялись лекции сотрудников Международной лаборатории логики, лингвистики и формальной философии.

Иллюстрация к новости: Опубликована статья Андрея Родина

Опубликована статья Андрея Родина

В книге Reflections on the Foundations of Mathematics: Univalent Foundations, Set Theory and General Thoughts опубликована статья Андрея Родина "Models of HoTT and the Constructive View of Theories".

Иллюстрация к новости: Наталья Зевахина выступила с докладом в Берлине

Наталья Зевахина выступила с докладом в Берлине

Старший научный сотрудник МЛ ЛогЛинФФ выступила с докладом в Центре общего языкознания в Берлине.