The 9th International Conference on Analysis of Images, Social Networks and Texts (AIST 2020)
Сотрудники лаборатории приняли участие в международной конференции по анализу изображений, социальных сетей и текстов
О проблеме эквивалентности последовательных программ с процедурами
Стажер-исследователь Казбекова Диана выступила на семинаре лаборатории
Итоги НИРС 2019
Работа Антона Ригина, студента магистратуры, написанная под руководством научного сотрудника лаборатории Сергея Шершакова, заняла первое место на конкурсе научно-исследовательских работ. Поздравляем коллег!
International Conference on Software Testing, Machine Learning and Complex Process Analysis (TMPA-2019)
Сотрудники лаборатории стали участниками международной конференции TMPA-2019 (Тестирование программного обеспечения, машинное обучение и анализ процессов)
Московская Секция ACM SIGMOD
Научный сотрудник лаборатории Сергей Шершаков - докладчик на семинаре Московской секции ACM SIGMOD
Первый открытый форум по Process Mining в России
Сотрудники лаборатории стали участниками первого открытого форума по Process Mining в России
Завершилась международная конференция Modeling and Analysis of Complex Systems and Processes (MACSPro'2019)
С 21 по 23 марта в Вене прошла международная конференция Modeling and Analysis of Complex Systems and Processes (MACSPro'2019), организованная компанией ExactPro и лабораториями МУСС и ПОИС. В конференции приняли участие ведущие специалисты в области тестирования и прогнозирования сложных систем и процессов из Испании, России, Нидерландов, Грузии и других стран.