Подведены итоги конкурса НИРС-2020
Антон Ригин, студент 2 курса магистерской программы "Системная и программная инженерия", занял 1 место в номинации «Лучшая научно-исследовательская работа по компьютерным наукам для студентов магистратуры и выпускников 2020 года».
Работа на тему «Reference and data semantic-based simulator of Petri Nets extension with the use of Renew tool» выполнена под руководством научного сотрудника НУЛ ПОИС Шершакова Сергея Андреевича.
Поздравляем коллег!
XI Workshop "Program Semantics, Specification and Verification: Theory and Applications" PSSV-2020
Состоялся одиннадцатый международный воркшоп «Program Semantics, Specification and Verification: Theory and Applications (PSSV-2020)»
The 9th International Conference on Analysis of Images, Social Networks and Texts (AIST 2020)
Сотрудники лаборатории приняли участие в международной конференции по анализу изображений, социальных сетей и текстов
О проблеме эквивалентности последовательных программ с процедурами
Стажер-исследователь Казбекова Диана выступила на семинаре лаборатории
Итоги НИРС 2019
Работа Антона Ригина, студента магистратуры, написанная под руководством научного сотрудника лаборатории Сергея Шершакова, заняла первое место на конкурсе научно-исследовательских работ. Поздравляем коллег!
Конференция Modeling and Analysis of Complex Systems and Processes (MACSPro'2020)
Сотрудники НУЛ ПОИС и НУЛ МУСС - организаторы международной конференции по тестированию и прогнозированию сложных систем, которая пройдет с 22 по 24 апреля в Венеции.
Подать заявку на участие можно до 10 февраля.
International Conference on Software Testing, Machine Learning and Complex Process Analysis (TMPA-2019)
Сотрудники лаборатории стали участниками международной конференции TMPA-2019 (Тестирование программного обеспечения, машинное обучение и анализ процессов)
Московская Секция ACM SIGMOD
Научный сотрудник лаборатории Сергей Шершаков - докладчик на семинаре Московской секции ACM SIGMOD