Очередное заседание научного семинара лаборатории
11 февраля 2013 г. состоялось очередное заседание научного семинара. Слушался доклад Ю. Новиковой по теме «Временные автоматы (Timed Automata)».
Очередное заседание научного семинара лаборатории
28 января 2013 г. состоялось очередное заседание научного семинара. Слушался доклад С. Шершакова по теме «Обобщенный подход к декомпозиции сетей Петри для задач Process Mining».
Первое заседание научного семинара лаборатории
21 января 2013 г. состоялось первое заседание научного семинара. Слушался доклад А. Мицюка по теме «Распределенные процедуры извлечения и анализа процессов».