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

Новости

Семинар лаборатории ПОИС: 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-ти заседаний научного семинара нашей лаборатории. С докладами по различным темам выступали видные ученые, исследователи из различных университетов и научных центров, сотрудники лаборатории и студенты отделений программной инженерии и прикладой математики НИУ ВШЭ.

Семинар лаборатории ПОИС: prof. Jose Carmona Vargas

В июле лабораторию ПОИС посетил профессор Политехнического университета Каталонии Хосе Кармона (prof. Jose Carmona Vargas).

Семинар лаборатории ПОИС: Process Scientist - работа с большими данными и процессами на комплексной основе

На заседании семинара лаборатории ПОИС 9-го июня выступил научный руководитель лаборатории, профессор Технического университета города Эйндховена Вил ван дер Аалст.

Семинар лаборатории ПОИС: Доклады студентов 2

На заседании семинара лаборатории ПОИС 26-го мая 2014 года в 18:30 с докладами выступили студенты отделения программной инженерии, выполняющие свои работы под руководством сотрудником лаборатории.

Семинар лаборатории ПОИС: Доклады студентов

На заседании семинара лаборатории ПОИС 19-го мая 2014 года в 18:30 с докладами выступили студенты отделения программной инженерии, выполняющие свои работы под руководством сотрудником лаборатории.

Семинар лаборатории ПОИС: Applying graph grammars for the generation of process models and their logs // В. Катаева

В понедельник, 28-го апреля, на очередном заседании семинара лаборатории ПОИС Валерия Катаева (студентка 1-го курса магистратуры отделения программной инженерии НИУ ВШЭ) представила доклад на тему: Applying graph grammars for the generation of process models and their logs.

Семинар лаборатории ПОИС: Modular system development by composing Petri nets on interfaces // Prof. Lucia Pomello

В понедельник, 21-го апреля, доктор Лючия Помелло (профессор департамента информатики, систем и коммуникаций (DISCo) университета Milano-Bicocca, Италия) представила доклад на тему: Modular system development by composing Petri nets on interfaces.

Семинар лаборатории ПОИС: Petri Hypernets for modeling mobile agents // Prof. Lucia Pomello

В понедельник, 14-го апреля, доктор Лючия Помелло (профессор департамента информатики, систем и коммуникаций (DISCo) университета Milano-Bicocca, Италия) представила доклад на тему: Petri Hypernets for modeling mobile agents.

Семинар лаборатории ПОИС: Improvements to Translation of LTL Formula to Buchi Automata // О. Кочетова

В понедельник, 7-го апреля, Ольга Кочетова (студент отделения программной инженерии НИУ ВШЭ) представила доклад на тему: Improvements to Translation of LTL Formula to Buchi Automata.