Сотрудники лаборатории представили исследование, проведенное совместно с группой «Models of Concurrency, Communication and Computation» Миланского Университета-Бикокка на воркшопе "Algorithms & Theories for the Analysis of Event Data (ATAED)"
ATAED охватывает исследования, связанные с синтезом моделей распределенных систем по описанию их поведения – журналам событий, системам переходов, частичным порядкам и т.д. В настоящее время большой интерес представляют работы в области синтеза моделей систем по журналам событий (process mining)
5 июля
2018
Предварительная защита кандидатской диссертации Мицюка Алексея Александровича
7 июня 2018 года состоялась предварительная защита кандидатской диссертации Мицюка Алексея Александровича.
11 июня
2018