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

Новости

Семинар лаборатории ПОИС: стажеры Евгений Мистюков и Иван Шугуров

На очередном заседании научного семинара нашей лаборатории еще два стажера представили свои работы.
Тема доклада Евгения Мистюкова: Log-based transition system recovery. Иван Шугуров представил доклад по теме: GENA: Generator of artificial event logs. Current state of work.

Семинар лаборатории ПОИС: стажеры Антонина Бегичева и Наталья Никитина

В рамках научного семинара лаборатории ПОИС состоялись выступления стажеров-исследователей лаборатории.
Антонина Бегичева: Алгоритмы проверки соответствия между моделью и журналом событий на примере сетей Петри. Наталья Никитина: Алгоритмы размещения сетей Петри на плоскости.

Вил ван дер Аалст стал почетным профессором НИУ ВШЭ

Вил ван дер Аалст стал почетным профессором НИУ ВШЭ. Известный голландский ученый в области компьютерных наук Вил ван дер Аалст отмечен Ученым советом ВШЭ за большой вклад в развитие исследовательских и образовательных программ университета и укрепление международной репутации Вышки.

Семинар лаборатории ПОИС: Computational models in software engineering // D. Zagorulkin

Dmitry Zagorulkin (Sberbank CIB former Troika Dialog)
02 февраля, 2014 - 18:10 - ауд. 402

In this presentation I would like to introduce the most popular models of computation and to show how to apply these models for solving concurrency problems, such as reference cell problem, mutual exclusion problem, dining philosophers problem. Also I will show how to use different computational models in modern programming languages such as Java and Erlang.

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

Новый набор стажеров-исследователей

Успешно завершился конкурс на позиции стажеров в нашей лаборатории. В этот раз было подано 14 заявок от студентов Департамента программной инженерии, Департамента анализа данных и искусственного интеллекта, Департамента прикладной математики МИЭМ.

Семинар лаборатории ПОИС: Быстрые алгоритмы проверки эквивалентности программ в моделях с полугрупповой семантикой

В докладе Владислава Подымова (ВМиК МГУ) были представлены результаты, полученные в рамках исследования проблемы эквивалентности в моделях последовательных и рекурсивных программ с семантикой, определяемой на основе полугрупп.

Семинар лаборатории ПОИС: профессор Вил ван дер Аалст

24-го ноября в рамках научного семинара лаборатории ПОИС выступил академический руководитель лаборатории профессор Вил ван дер Аалст. Тема доклада: "Process Mining: Beyond Control-Flow".

Рекомендуем: Massive Open Online Course «Process Mining: Data science in Action»

12 ноября стартует массовый открытый онлайн-курс научного руководителя лаборатории, профессора Технического университета Эйндховена Вила ван дер Аалста "Process Mining: Data science in Action". На курс зарегистрировались более 24 000 участников из 170 стран мира.

Семинар лаборатории ПОИС: Prof. Dr. Jörg Desel

В октябре наш университет по приглашению лаборатории ПОИС посетил профессор Йорг Дезель (Prof. Dr. Jörg Desel, FernUniversität in Hagen, Fakultät für Mathematik und Informatik, Hagen, Germany). Он выступил с двумя докладами в рамках научного семинара лаборатории ПОИС.

Семинар лаборатории ПОИС в 2013/14 учебном году

В 2013/14 учебном году состоялись более 20-ти заседаний научного семинара нашей лаборатории. С докладами по различным темам выступали видные ученые, исследователи из различных университетов и научных центров, сотрудники лаборатории и студенты отделений программной инженерии и прикладой математики НИУ ВШЭ.