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

Тема «лектории»

Иллюстрация к новости: Доклад Ивана Пыльцына на семинаре STEP (Software Engineering, Theory and Experimental Programming)

Доклад Ивана Пыльцына на семинаре STEP (Software Engineering, Theory and Experimental Programming)

Стажер-исследователь Иван Пыльцын выступил с докладом «‎First-order Modal and Temporal Logics: State of the art and perspectives» на встрече семинара STEP (Software Engineering, Theory and Experimental Programming), которая прошла 8 декабря.

Иллюстрация к новости: Доклад Валерии Николаевой «Модальный взгляд: теодицея и проблема божественного детерминизма»

Доклад Валерии Николаевой «Модальный взгляд: теодицея и проблема божественного детерминизма»

1 декабря стажер-исследователь МЛ ЛогЛинФФ Валерия Николаева выступила с докладом «‎Модальный взгляд: теодицея и проблема божественного детерминизма»‎ на исследовательском семинаре «‎From the Logical Point of View»‎.

Иллюстрация к новости: Ридинг-семинар «Analytics» по статье Тимоти Уильямсона «A risky challenge for intransitive preferences»

Ридинг-семинар «Analytics» по статье Тимоти Уильямсона «A risky challenge for intransitive preferences»

25 ноября прошла встреча ридинг-семинара «Analytics», которая была посвящена обсуждению статьи Тимоти Уильямсона «A risky challenge for intransitive preferences»

Иллюстрация к новости: Прошла вторая встреча ридинг-семинара МЛ ЛогЛинФФ «Analytics»‎

Прошла вторая встреча ридинг-семинара МЛ ЛогЛинФФ «Analytics»‎

18 ноября прошел второй ридинг-семинар «Analytics»‎ от студентов НИУ ВШЭ и сотрудников МЛ ЛогЛинФФ. 

Иллюстрация к новости: Доклад Ивана Пыльцына «‎О сильной эквивалентности арифметики Пеано и теории конечных множеств»

Доклад Ивана Пыльцына «‎О сильной эквивалентности арифметики Пеано и теории конечных множеств»

10 и 17 ноября стажер-исследователь Иван Пыльцын выступил с докладами «‎О сильной эквивалентности арифметики Пеано и теории конечных множеств»‎ на исследовательском семинаре "From the Logical Point of View".

Иллюстрация к новости: Стартовал ридинг-семинар «Analytics»‎ от МЛ ЛогЛинФФ

Стартовал ридинг-семинар «Analytics»‎ от МЛ ЛогЛинФФ

Прошел первый ридинг-семинар «Analytics»‎ от студентов НИУ ВШЭ и сотрудников МЛ ЛогЛинФФ. 

Иллюстрация к новости: Формальная философия: Станислав Сперанский с докладом «Об одном модальном подходе к рассуждениям о «произвольных» натуральных числах»

Формальная философия: Станислав Сперанский с докладом «Об одном модальном подходе к рассуждениям о «произвольных» натуральных числах»

27 октября и 3 ноября прошли заседания теоретического семинара «Формальная философия», на которых Станислав Сперанский (Математический институт им. В.А. Стеклова РАН) выступил с докладом «Об одном модальном подходе к рассуждениям о «произвольных» натуральных числах».

Иллюстрация к новости: Доклад Григория Золоткова на научно-исследовательском семинаре «From the Logical Point of View»

Доклад Григория Золоткова на научно-исследовательском семинаре «From the Logical Point of View»

20 октября состоялся доклад Григория Золоткова «Об основных направлениях рецепции философии Витгенштейна в витгенштейнианстве» на научно-исследовательском семинаре «From the Logical Point of View».

Иллюстрация к новости: Доклад Александра Запрягаева на Третьей Конференции математических центров в Майкопе

Доклад Александра Запрягаева на Третьей Конференции математических центров в Майкопе

Стажер-исследователь МЛ ЛогЛинФФ, Александр Запрягаев, выступил с докладом «Линейные порядки, интерпретируемые в арифметике Пресбургера» на Третьей Конференции математических центров, которая проходила в Майкопе с 10 по 15 октября.

Иллюстрация к новости: Состоялась 6-я Международная конференция МЛ ЛогЛинФФ «Формальная философия 2023»

Состоялась 6-я Международная конференция МЛ ЛогЛинФФ «Формальная философия 2023»

С 11 по 13 октября проходила Международная конференция «Формальная философия 2023», организованная Международной лабораторией логики, лингвистики и формальной философии НИУ ВШЭ.