Студенты факультета компьютерных наук приняли участие в конференции SYRCoSE
С 5 по 7 июня в Иннополисе состоялся XI коллоквиум для молодых исследователей в области программной инженерии Spring/Summer Young Researchers' Colloquium on Software Engineering (SYRCoSE). От факультета компьютерных наук представлять свои работы поехали 9 студентов.
Семинар ПОИС: Простые алгоритмы анализа сетей Петри
На очередном заседании нашего семинара выступил ведущий научный сотрудник лаборатории Владимир Захаров. Тема его доклада: «Простые алгоритмы анализа сетей Петри»
Результаты совместной работы с исследователями из Университета им. Гумбольдта в Берлине представлены на международной конференции CoDIT 2017
Научно-учебная лаборатория ПОИС уже несколько лет тесно сотрудничает с Институтом информатики Университета им. Гумбольдта в Берлине в области моделирования и анализа процессов в распределенных системах с помощью сетей Петри. По результатам этой работы на конференции CoDIT 2017 (http://codit2017.com/), которая прошла 5–7 апреля в городе Барселона, Испания, был представлен совместный доклад заведующей лабораторией ПОИС Ирины Ломазовой, профессора университета им. Гумбольдта в Берлине Лушки Поповой-Цойгманн и студента магистратуры этого же университета Артура Бартелса.
Сотрудники лаборатории ПОИС представили свои работы на конференции TMPA
3–4 марта 2017 года в Москве прошла 4-ая международная научно-практическая конференция инструменты и методы анализа программ TMPA (http://tmpaconf.org/). На ней из лаборатории ПОИС выступили: научный сотрудник Алексей Мицюк и стажёр-исследователь Роман Нестеров
Семинар ПОИС: BPI-Challenge 2015 — разбор решения «Benchmarking of Five Dutch Municipalities with Process Mining Techniques Reveals Opportunities for Improvement»
На очередном заседании нашего семинара выступили студенты ФКН Поваляева Елизавета и Александр Пластинин. Тема их доклада: «BPI-Challenge 2015 — разбор решения "Benchmarking of Five Dutch Municipalities with Process Mining Techniques Reveals Opportunities for Improvement"»
Семинар ПОИС: Nested Petri Nets: behaviour analysis and time semantics
На очередном заседании нашего семинара выступил научный сотрудник лаборатории ПОИС Леонид Дворянский. Тема его доклада: «Nested Petri Nets: behaviour analysis and time semantics»
Семинар ПОИС: BPI Challenge 2016 — разбор решения «Analyzing customer interactions at the Dutch Employee Insurance Agency»
На очередном заседании нашего семинара выступили студенты ФКН Ложков Антон, Пономарева Анастасия и Никитина Наталья. Тема их доклада: «BPI Challenge 2016 — разбор решения "Analyzing customer interactions at the Dutch Employee Insurance Agency"»
Проект научного сотрудника лаборатории ПОИС получил поддержку Научного фонда
В конце 2016 года были подведены итоги осенних конкурсов Научного фонда НИУ ВШЭ. В число победителей конкурса индивидуальных исследовательских проектов вошёл проект старшего преподавателя Департамента программной инженерии, научного сотрудника НУЛ ПОИС Леонида Дворянского “Поведенческий анализ вложенных сетей Петри с помощью ловушек и сифонов (ко-ловушек)”.
Конференция лабораторий ФКН
23 декабря на факультете состоялась Конференция лабораторий ФКН, организованная научно-учебной лабораторией процессно-ориентированных информационных систем.
В мероприятии приняли участие сотрудники лабораторий факультета для обмена опытом и нахождения точек пересечения в исследовательских задачах. Из приглашенных гостей были Башкин Александр (Ярославский государственный университет им. П.Г. Демидова), Бацын Михаил, Колданов Пётр, Пономаренко Александр (НИУ ВШЭ Нижний Новгород), а также Станислав Кикоть (Биркбек, Лондонский университет) и Чекалина Виктория (Яндекс)
Семинар ПОИС: Адаптивный структурно-параметрический синтез дискретных систем с заданным поведением
На очередном заседании нашего семинара выступил кандидат технических наук, заведующий кафедрой информатики и информационных технологий Белгородского государственного аграрного университета имени В.Я. Горина, Петросов Давид Арегович. Тема его доклада: «Адаптивный структурно-параметрический синтез дискретных систем с заданным поведением»