Наука
Первый доклад представил заведующий кафедрой «Распределенные вычисления и компьютерные сети» Санкт-Петербургского политехнического университета профессор Юрий Глебович Карпов, известный специалист в области верификации распределенных вычислительных систем. В докладе «Модальные логики и многоагентные системы» Юрий Глебович изложил теорию модальных логик и попытался провести их связь с возможностью использования теории в приложении к многоагентным системам, в частности, к рою роботов. Доклад вызвал оживленную дискуссию по практической реализации теоретических идей автора, которая долго не могла затихнуть благодаря активным вопросам научного руководителя МИЭМ профессора Е.А. Крука и вице-президента ВШЭ И.Р. Агамирзяна.
В МИЭМ НИУ ВШЭ состоятся три лекции профессора Итальянского технический университета, Италия и Гарвардского Университета, США, Сауро Суччи – специалиста в области вычислительной физики с мировым авторитетом.
С 10 по 11 апреля 2019 в г. в загородном отеле «Чайка» (Нижегородская область, поселок Жёлнино), прошла конференция «Спецстойкая микроэлектроника 2019». Конференция организована Госкорпорацией «Росатом» в Нижнем Новгороде. Цель мероприятия – комплексно рассмотреть актуальные вопросы разработки, проектирования, производства и применения отечественной стойкой электронной компонентной базы; содействовать развитию отечественной стойкой микроэлектроники.