Студенты факультета компьютерных наук приняли участие в конференции SYRCoSE
С 5 по 7 июня в Иннополисе состоялся XI коллоквиум для молодых исследователей в области программной инженерии Spring/Summer Young Researchers' Colloquium on Software Engineering (SYRCoSE). От факультета компьютерных наук представлять свои работы поехали 9 студентов.
Семинар лаборатории ПОИС: Verification of Multi-Agent System Models via Nested Petri Net Unfoldings // В. Ермакова
На очередном заседании нашего семинара выступила студентка магистратуры НИУ ВШЭ Вера Ермакова. Тема её доклада: Verification of Multi-Agent System Models via Nested Petri Net Unfoldings.
Семинар лаборатории ПОИС: ARIMA как инструмент для предсказания будущего поведения временного ряда. // А. Шульман
На очередном заседании нашего семинара выступила студентка бакалавриата НИУ ВШЭ Александра Шульман. Тема её доклада: ARIMA как инструмент для предсказания будущего поведения временного ряда.
Семинар лаборатории ПОИС: Comparing business models using graph-edit distance // С. Иванов
На очередном заседании нашего семинара выступил стажер-исследователь лаборатории ПОИС, студент 4-го курса Сергей Иванов. Тема его доклада: Comparing business models using graph-edit distance.
Сергей рассказал о различных подходах к сравнению моделей бизнес-процессов, а также показал новый композиционный подход, разрабатываемый им в данный момент.
Семинар лаборатории ПОИС: стажеры Евгений Мистюков и Иван Шугуров
На очередном заседании научного семинара нашей лаборатории еще два стажера представили свои работы.
Тема доклада Евгения Мистюкова: Log-based transition system recovery. Иван Шугуров представил доклад по теме: GENA: Generator of artificial event logs. Current state of work.
Семинар лаборатории ПОИС: стажеры Антонина Бегичева и Наталья Никитина
В рамках научного семинара лаборатории ПОИС состоялись выступления стажеров-исследователей лаборатории.
Антонина Бегичева: Алгоритмы проверки соответствия между моделью и журналом событий на примере сетей Петри. Наталья Никитина: Алгоритмы размещения сетей Петри на плоскости.