Студенты факультета компьютерных наук приняли участие в конференции SYRCoSE
С 5 по 7 июня в Иннополисе состоялся XI коллоквиум для молодых исследователей в области программной инженерии Spring/Summer Young Researchers' Colloquium on Software Engineering (SYRCoSE). От факультета компьютерных наук представлять свои работы поехали 9 студентов.
22 июня
2017
Семинар лаборатории ПОИС: Verification of Multi-Agent System Models via Nested Petri Net Unfoldings // В. Ермакова
На очередном заседании нашего семинара выступила студентка магистратуры НИУ ВШЭ Вера Ермакова. Тема её доклада: Verification of Multi-Agent System Models via Nested Petri Net Unfoldings.
18 мая
2015
12