Доклад Дениса Федянина на «Международной конференции 2026 года по искусственному интеллекту для научных открытий и инноваций» (Шэньчжэнь, Китай)
Денис Федянин выступил с докладом «Самоигра (self-play) с вариационным синтезом задач (variational problem synthesis) в обучении с подкреплением с проверяемыми наградами (reinforcement learning with verifiable rewards)» на международной конференции в Китае, которая проходила 23-25 октября.
Доклад Виталия Долгорукова «Четыре способа украсть рыбу: DEL и семантика эвиденциалов»
21 октября прошло заседание теоретического семинара «Формальная философия».
Доклад Игоря Зайцева «Теория корреспондентности интуиционистских кондициональных логик»
7 и 14 октября прошли заседания научно-исследовательского семинара «С логической точки зрения».
Доклад Михаила Рыбакова на семинаре в МФТИ
6 и 13 октября Михаил Рыбаков сделал доклад на семинаре Добрушинской лаборатории ВШМ МФТИ на тему «Логики, описывающие вычисления: их синтаксис, семантика и сложность».
Доклад Максима Горбачева на Пятом международном конгрессе РОИФН
3 октября прошел второй день работы секции Философия сознания, где научный сотрудник Максим Горбачев выступил с докладом «Номологическая зависимость и проблемы аргументов представимости».
Доклад Михаила Рыбакова «Логики для описания вычислений: синтаксис, семантика, сложность»
24 сентября М.Н.Рыбаков сделал доклад «Логики для описания вычислений: синтаксис, семантика, сложность» на семинаре «Нестандартные логики» имени Л.Л.Максимовой, проходящем в ИМ СО РАН.
Доклад Юрия Казакова «Эпистемические модели вопросов и ответов»
23 сентября прошло заседание научно-исследовательского семинара, на котором стажер-исследователь Юрий Казаков выступил с докладом «Эпистемические модели вопросов и ответов».
Поздравляем Максима Евстигнеева с защитой кандидатской диссертации!
Максим Евстигнеев защитил кандидатскую диссертацию по теме «Идиома "путь идей" в нововременной философии от Р.Декарта до Т.Рида».
Доклад Михаила Сафронова «Тонкая красная линия: оккамистский ответ на проблему эпистемического фатализма»
16 сенября прошло 125-е заседание научно-теоретического семинара «Формальная философия».
Доклад «Минимальная вполне-определённая логика и её теории»
16 сентября на логическом семинаре лаборатории имени Ю.И.Манина, проходящем в ВШМ МФТИ, И.А.Горбуновым и М.Н.Рыбаковым был представлен доклад «Минимальная вполне-определённая логика и её теории».