Доклады сотрудников МЛ ЛогЛинФФ на IV Конференции математических центров

Виталий Долгоруков и Елена Попова выступили с докладами на секции «Математическая логика и теоретическая информатика» на IV Конференции математических центров России, которая проходила с 6-го по 11-ое августа в Санкт-Петербурге.

Открытие IV Конференции математических центров

фото МЛ ЛогЛинФФ

Елена Попова представила доклад на тему «Семантика логики свидетельств первого порядка со связывающей модальностью» (по результатам совместной работы с Т. Л. Яворской). 

Виталий Долгоруков выступил с докладом на тему «Динамическая эпистемическая логика для групп агентов с ресурсными ограничениями» (по результатам совместной работы с М. Гладышевым, Р. Галимуллиным).

Ознакомиться с работой секций и аннотациями докладов можно на официальном сайте IV Конференции математических центров.