• A
  • A
  • A
  • АБВ
  • АБВ
  • АБВ
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта

Новости

Семинар лаборатории ПОИС: Быстрое и точное извлечение декларативных моделей // М. Вестергаард

В понедельник (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).

подробнее...

Семинар лаборатории ПОИС: «Принципы формального представления поведенческой перспективы модели бизнес-процесса» // И.Г. Федоров

В понедельник, 8 апреля, состоялось очередное заседание лаборатории ПОИС.

С докладом по теме «Принципы формального представления поведенческой перспективы модели бизнес-процесса» выступил И.Г. Федоров, профессор кафедры ПИЭ МЭСИ.

подробнее...