Доклад-дискуссия Анны Моисеевой и Михаила Смирнова на тему «Ситуационная семантика для естественных рассуждений»
26 января и 2 февраля прошло заседание теоретического семинара «Формальная философия-81», на котором Анна Моисеева и Михаил Смирнов выступили в формате доклада-дискуссии на тему «Ситуационная семантика для естественных рассуждений».
Выступление Ивана Пыльцына на Дне Логики в Университете Иннополис
27 января Иван Пыльцын прочитал доклад «Кратко о сильной эквивалентности арифметики Пеано и теории конечных множеств» на Дне Логики в Университете Иннополис.
Доклад Зорана Огняновича «A Probabilistic Temporal Epistemic Logic»
19 января Зоран Огнянович (Mathematical Institute SANU) выступил с докладом «A Probabilistic Temporal Epistemic Logic» на теоретическом семинаре «Формальная философия-80».
Доклад Александра Запрягаева на семинаре «Современные проблемы математической логики» на матфаке ВШЭ
19 января Александр Запрягаев выступил с докладом «Категорный подход к интерпретациям теорий» на семинаре «Современные проблемы математической логики» на матфаке ВШЭ.
Прошел научный семинар в честь Всемирного дня логики
15 января в Международной лаборатории логики, лингвистики и формальной философии состоялся научный семинар, приуроченный ко Всемирному Дню Логики.
Доклады Александра Запрягаева на Московском международном фестивале языков
10 декабря прошел 17-й Московский международный фестиваль языков (ММФЯ). Александр Запрягаев выступил с тремя докладами на фестиавале.
Доклад Ивана Рыгаева «Семантико-прагматический подход к синтаксическим структурам»
8 декабря состоялось заседание исследовательского семинара «From the Logical Point of View», на котором Иван Рыгаев (Институт проблем передачи информации РАН) выступил с докладом: «Семантико-прагматический подход к синтаксическим структурам».
Доклад Ивана Пыльцына на семинаре 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»
25 ноября прошла встреча ридинг-семинара «Analytics», которая была посвящена обсуждению статьи Тимоти Уильямсона «A risky challenge for intransitive preferences»