Семинар лаборатории ПОИС: Binary and source code analysis for developing high quality program systems // Е. Трошина
В понедельник 20-го января лаборатория ПОИС открыла новый сезон научных семинаров выступлением Екатерины Трошиной, к.ф.-м.н., SmartDec. Тема доклада: Binary and source code analysis for developing high quality program systems.
Конкурс НИРС – 2013: итоги подведены
Подведены итоги конкурса научно-исследовательских работ студентов Высшей школы экономики в 2013-ом году.
Двое стажеров-исследователей нашей лаборатории заняли призовые места.
Мы поздравляем Никиту Гундобина (2-е место в номинации «Лучшая работа бакалавра по бизнес-информатике»), который под руководством научного сотрудника лаборатории Анны Алексеевны Каленковой представил работу «Построение BPMN-моделей по каузальным сетям».
Не менее горячо поздравляем Даниила Фрумина (3-е место в номинации «Лучшая работа бакалавра по бизнес-информатике»), представившего под руководством научного сотрудника лаборатории Леонида Владимировича Дворянского работу «On temporal properties of nested Petri nets».
Желаем дальнейших успехов всем стажерам лаборатории!
PAIS Lab seminar: DPMine concept: current status // S. Shershakov
Состоялось последнее заседание научного семинара лаборатории ПОИС в 2013 году.
Сергей Шершаков (научный сотрудник лаборатории ПОИС) представил доклад на тему: DPMine concept: current status.
Ждем Вас на следующем заседании научного семинара лаборатории, которое состоится 20 января 2014 года.
Поздравляем с наступающим Новым годом и Рождеством!
Авторская аннотация и слайды
Семинар лаборатории ПОИС: True Concurrency and Net Unfoldings // Д. Фрумин
Даниил Фрумин (стажер-исследователь лаборатории ПОИС) представил доклад на тему: True Concurrency and Net Unfoldings.
подробнее...
Семинар лаборатории ПОИС: Activiti BPM Platform // Д. Назаренко
В понедельник (2-го декабря) на семинаре лаборатории ПОИС с докладом по теме «Activiti BPM Platform» выступил студент отделения программной инженерии НИУ ВШЭ Дмитрий Назаренко.
подробнее...
Семинар лаборатории ПОИС: Causal nets – a modeling language designed for process discovery // Н. Гундобин
В понедельник (18-го ноября) на семинаре лаборатории ПОИС с докладом по теме «Causal nets – a modeling language designed for process discovery» выступил стажер-исследователь лаборатории Никита Гундобин.
подробнее...
Семинар лаборатории ПОИС: Service Oriented Computing: Forthcoming challenges // Prof. Dr. Wolfgang Reisig
В понедельник (11-го ноября) на семинаре лаборатории ПОИС выступил с лекцией профессор Университета Гумбольдта (Берлин) Вольфганг Райзиг (Wolfgang Reisig).
подробнее...
Семинар лаборатории ПОИС: Process Cubes: Slicing, Dicing, Rolling Up and Drilling Down Event Data for Process Mining // Prof.dr.ir. Wil van der Aalst
В понедельник (28-го октября) на традиционном семинаре лаборатории ПОИС выступил с лекцией профессор Технического университета города Эйндховен (TU/e), научный руководитель лаборатории ПОИС Вил ван дер Аалст (Wil van der Aalst). Профессор Ван дер Аалст - видный специалист в области управления бизнес процессами.
подробнее...
Семинар лаборатории ПОИС: Методы анализа вложенных сетей Петри (часть 2) // Л. В. Дворянский
В понедельник (21-го октября) состоялось очередное заседание научного семинара лаборатории. С докладом по теме «Методы анализа вложенных сетей Петри» ("Methods of analysis for Nested Petri Nets") выступил Леонид Владимирович Дворянский, научный сотрудник лаборатории ПОИС, старший преподаватель кафедры Управления разработкой ПО Высшей школы экономики.
Доклад был посвящен изложению результатов, полученных для вложенных сетей Петри, были представлены инструментальные средства (ПО) для анализа вложенных сетей Петри.
подробнее...
Семинар лаборатории ПОИС: Методы анализа вложенных сетей Петри (часть 1) // Л. В. Дворянский
В понедельник (7-го октября) состоялось очередное заседание научного семинара лаборатории. С докладом по теме «Методы анализа вложенных сетей Петри» ("Methods of analysis for Nested Petri Nets") выступил Леонид Владимирович Дворянский, научный сотрудник лаборатории ПОИС, старший преподаватель кафедры Управления разработкой ПО Высшей школы экономики.
Доклад был посвящен краткому введению в формализм вложенных сетей Петри, разбору содержательных примеров. На следующем заседании семинара (21-го октября) будет заслушана вторая часть доклада, посвященная методам анализа вложенных сетей Петри.
подробнее...