Семинар лаборатории ПОИС: Некоторые методики исправления моделей в виде сетей потоков работ // А. Мицюк
В понедельник (30-го сентября) состоялось очередное заседание лаборатории ПОИС. С докладом по теме «Некоторые методики исправления моделей в виде сетей потоков работ» выступил Алексей А. Мицюк, стажер-исследователь лаборатории ПОИС.
подробнее...
Семинар лаборатории ПОИС: Быстрое и точное извлечение декларативных моделей // М. Вестергаард
В понедельник (23-го сентября) состоялось очередное заседание лаборатории ПОИС. С докладом по теме «Быстрое и точное извлечение декларативных моделей» выступил Майкл Вестергаард (Michael Westergaard), ведущий научный сотрудник лаборатории ПОИС.
подробнее...
Семинар лаборатории ПОИС: Time and Petri Nets - A Way for Modeling and Verification of Time-dependent Concurrent Systems // L. Popova-Zeugmann
В понедельник (16-го сентября) состоялось очередное заседание лаборатории ПОИС.
С докладом по теме Time and Petri Nets - A Way for Modeling and Verification of Time-dependent Concurrent Systems выступила Лушка Попова-Цойгманн (Louchka Popova-Zeugmann), профессор Университета Гумбольта в Берлине.
подробнее...
Семинар лаборатории ПОИС: Discovery of Reset workflow nets // А. Каленкова
Состоялось первое после летнего перерыва заседание семинара лаборатории ПОИС.
С докладом по теме "Discovery of Reset workflow nets" выступила научный сотрудник лаборатории Анна Алексеевна Каленкова.
подробнее...
Стажировка в Эйндховене
Новостная служба портала НИУ ВШЭ опубликовала интервью с сотрудниками лаборатории Сергеем Шершаковым и Алексеем Мицюком. Интервью посвящено стажировке сотрудников лаборатории в Техническом университете города Эйндховена.
Прочитать интервью можно по ссылке: http://www.hse.ru/news/87595883.html.
Семинар лаборатории ПОИС: Возможности и ограничения формальных методов анализа и разработки бизнес-процессов // Joseph Barjis
В понедельник (27 мая) состоялось очередное заседание научного семинара лаборатории.
С докладом по теме «Возможности и ограничения формальных методов анализа и разработки бизнес-процессов» выступил Joseph Barjis, associate professor Технического университета города Дельфт (Нидерланды).
подробнее...
Семинар лаборатории ПОИС: «Практическое применение методов извлечения и анализа моделей процессов: принципы и примеры» // А. Брейман
В понедельник (13 мая) состоялось очередное заседание научного семинара лаборатории.
С докладом по теме «Практическое применение методов извлечения и анализа моделей процессов: принципы и примеры» выступил научный сотрудник МЛПОИС А. Д. Брейман (к.т.н.).
подробнее...
Семинар лаборатории ПОИС: «Алгоритм булевой верификации (АБВ) потоков работ. Эквивалентные преобразования потоков работ» // А. Каленкова
В понедельник (29 апреля) состоялось очередное заседание научного семинара лаборатории.
С докладом по теме «Алгоритм булевой верификации (АБВ) потоков работ. Эквивалентные преобразования потоков работ» выступила научный сотрудник МЛПОИС Анна Каленкова (к.ф.-м.н.).
подробнее...
«Сейчас из компьютерных наук рождается наука о данных»
Ведущий ученый в области компьютерных наук Вил ван дер Аалст, профессор кафедры математических и компьютерных наук Технического университета Эйндховена, Нидерланды, возглавил Международную лабораторию процессно-ориентированных информационных систем ВШЭ.
Семинар лаборатории ПОИС: Mediating Between Modeled and Observed Behavior: The Quest for the "Right" Process // проф. Вил ван дер Аалст
В понедельник, 15 апреля, состоялось очередное заседание научного семинара Лаборатории процессно-ориентированных информационных систем. С докладом по теме Mediating Between Modeled and Observed Behavior: The Quest for the "Right" Process выступил научный руководитель лаборатории, профессор Технического университета Эйндховена (Нидерланды) Вил ван дер Аалст (Wil van der Aalst).
подробнее...