Подведены итоги конкурса НИРС-2021
В номинации «Лучшая научно-исследовательская работа по компьютерным наукам для студентов бакалавриата и специалитета» третье место заняла работа «Algorithm for checking resource bisimilarity in Petri nets: applicability evaluation», выполненная студентом 3 курса Агроскиным Александром Викторовичем.
Научный руководитель - заведующая лабораторией Ломазова Ирина Александровна.
Поздравляем коллег!
Лекция "КОГДА КОМПЬЮТЕРЫ БЫЛИ БОЛЬШИМИ"
5 апреля в рамках ежегодных Дней комьютерных наук Ирина Александровна Ломазова, заведующая лабораторией ПОИС, прочитала лекцию о том, как все начиналось в компьютерных науках. Как они возникали и о чем были первые задачи? Почему понадобилась теория программирования, ведь, казалось бы, достаточно просто уметь программировать? Как связаны компьютерные науки с математикой, лингвистикой, биологией?
Видеозапись лекции доступна по ссылке - https://www.youtube.com/watch?v=6SCCG1R90zI
The 9th International Conference on Analysis of Images, Social Networks and Texts (AIST 2020)
Сотрудники лаборатории приняли участие в международной конференции по анализу изображений, социальных сетей и текстов
International Conference on Software Testing, Machine Learning and Complex Process Analysis (TMPA-2019)
Сотрудники лаборатории стали участниками международной конференции TMPA-2019 (Тестирование программного обеспечения, машинное обучение и анализ процессов)
Первый открытый форум по 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 и лабораториями МУСС и ПОИС. В конференции приняли участие ведущие специалисты в области тестирования и прогнозирования сложных систем и процессов из Испании, России, Нидерландов, Грузии и других стран.
Сотрудники лаборатории представили исследование, проведенное совместно с группой «Models of Concurrency, Communication and Computation» Миланского Университета-Бикокка на воркшопе "Algorithms & Theories for the Analysis of Event Data (ATAED)"
ATAED охватывает исследования, связанные с синтезом моделей распределенных систем по описанию их поведения – журналам событий, системам переходов, частичным порядкам и т.д. В настоящее время большой интерес представляют работы в области синтеза моделей систем по журналам событий (process mining)
Анне Каленковой, старшему научному сотруднику лаборатории ПОИС, присвоена учёная степень PhD
5 июня 2018 года в Техническом университете Эйндховена состоялась защита PhD Анны Каленковой, старшего научного сотрудника лаборатории ПОИС
Результаты совместной работы с исследователями из Университета им. Гумбольдта в Берлине представлены на международной конференции CoDIT 2017
Научно-учебная лаборатория ПОИС уже несколько лет тесно сотрудничает с Институтом информатики Университета им. Гумбольдта в Берлине в области моделирования и анализа процессов в распределенных системах с помощью сетей Петри. По результатам этой работы на конференции CoDIT 2017 (http://codit2017.com/), которая прошла 5–7 апреля в городе Барселона, Испания, был представлен совместный доклад заведующей лабораторией ПОИС Ирины Ломазовой, профессора университета им. Гумбольдта в Берлине Лушки Поповой-Цойгманн и студента магистратуры этого же университета Артура Бартелса.