Мероприятия
Первый доклад представил заведующий кафедрой «Распределенные вычисления и компьютерные сети» Санкт-Петербургского политехнического университета профессор Юрий Глебович Карпов, известный специалист в области верификации распределенных вычислительных систем. В докладе «Модальные логики и многоагентные системы» Юрий Глебович изложил теорию модальных логик и попытался провести их связь с возможностью использования теории в приложении к многоагентным системам, в частности, к рою роботов. Доклад вызвал оживленную дискуссию по практической реализации теоретических идей автора, которая долго не могла затихнуть благодаря активным вопросам научного руководителя МИЭМ профессора Е.А. Крука и вице-президента ВШЭ И.Р. Агамирзяна.
12 апреля в МИЭМ встретили День космонавтики. Гости стали участниками лектория, мастер-классов и чаепития с настоящими космическими продуктами.