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

Новости

Семинар лаборатории ПОИС: Построение моделей процессов по логам событий информационных систем. Выбор базисного языка // А.А. Каленкова

На очередном заседании нашего семинара выступила старший научный сотрудник лаборатории Каленкова Анна Алексеевна. Тема её доклада: Построение моделей процессов по логам событий информационных систем. Выбор базисного языка.

Семинар лаборатории ПОИС: Верификация программно-конфигурируемых сетей // В.В. Подымов

На очередном заседании нашего семинара выступил научный сотрудник лаборатории Подымов Владислав Васильевич. Тема его доклада: Верификация программно-конфигурируемых сетей.

Семинар лаборатории ПОИС: Проблема эквивалентности для конечных автоматов-преобразователей над полугруппами // В.А. Захаров

На очередном заседании нашего семинара выступил ведущий научный сотрудник лаборатории Захаров Владимир Анатольевич. Тема его доклада: Проблема эквивалентности для конечных автоматов-преобразователей над полугруппами.

Выступление на международной конференции «Business Process Management»

На международной конференции «Business Process Management» (Innsbruck, Austria, 2015, rank A) стажер-исследователь Лаборатории ПОИС Иванов С.Ю. представил выпускную квалификационную работу «BPMNDiffViz: A Tool for BPMN Models Comparison» посвященную сравнению моделей бизнес-процессов. Работа поддержана грантом РФФИ 15-37-21103.

Семинар лаборатории ПОИС: Исследование методов контроля функционирования программно-конфигурируемых сетей // Е. Чемерицкий

На очередном заседании нашего семинара выступил аспирант ВМК МГУ Евгений Чемерицкий. Тема его доклада:  Исследование методов контроля функционирования программно-конфигурируемых сетей.

Семинар лаборатории ПОИС: Event Log Visualisation with Conditional Partial Order Graphs: from Control Flow to Data // А. Мохов

На очередном заседании нашего семинара выступил лектор по компьютерной инженерии Ньюкасльского университета Андрей Мохов. Тема его доклада: Event Log Visualisation with Conditional Partial Order Graphs.

Семинар лаборатории ПОИС: Mining causal relations on events from logs / Process mining approach to user interface design / Performance analysis using software process mining / Discovering service oriented architecture antipatterns using process mining

На очередном заседании нашего семинара выступили студенты ФКН НИУ ВШЭ:
— Ринат Юсупов с докладом: Mining causal relations on events from logs;
— Яна Манухина с докладом: Process mining approach to user interface design;
— Максим Савицкий с докладом: Performance analysis using software process mining;
— Александр Югов с докладом: Discovering service oriented architecture antipatterns using process mining.

Почетная лекция "Data Science: The Science of Big Data" профессора Вил ван дер Аалста

28 мая в 13.40 Почетный профессор Высшей школы экономики, профессор Технического университета Эйндховена  Вил ван дер Аалст (Prof. dr.ir. Wil van der Aalst) прочитает на факультете компьютерных наук Высшей школы экономики лекцию  "Data Science: The Science of Big Data".

Семинар лаборатории ПОИС: Verification of Multi-Agent System Models via Nested Petri Net Unfoldings // В. Ермакова

На очередном заседании нашего семинара выступила студентка магистратуры НИУ ВШЭ Вера Ермакова. Тема её доклада: Verification of Multi-Agent System Models via Nested Petri Net Unfoldings.

Семинар лаборатории ПОИС: Системы функциональных уравнений счетнозначной логики // И.С. Калинина

На очередном заседании нашего семинара выступила аспирантка научного руководителя профессора Марченкова Сергея Серафимовича с ВМК МГУ, кафедра МК, Калинина Инна Сергеевна. Тема её доклада: Системы функциональных уравнений счетнозначной логики.