Конференция «Моделирование и анализ распределенных систем» (МАРС)

Основные направления

• формальные методы моделирования и анализа поведения распределенных информационных систем;
• методологии моделирования программ и распределененных систем;
• моделирования и анализ процессов в информационных системах (в том числе, анализ журналов событий информационных систем, process mining);
• проектирование архитектур распределенных информационных систем;
• а также многие другие вопросы, связанные с моделированием поведения информационных систем со сложной внутренней структурой.

Программа конференции

• 10:00 - 10:20 Регистрация

  Конференц-зал F201

  9:30 - 10:00

  Приветственный кофе

   

  10:20 - 10:30

  Вступительное слово

  Проф. Игорь Агамирзян

  НИУ ВШЭ

• 10:30 - 13:00 Первая секция

  Конференц-зал F201

  10:30

  Некоторые методы анализа систем с одним счётчиком

  Проф. Владимир Башкин

  ЯрГУ им. П. Г. Демидова

   

  Prof. Vladimir Bashkin. Analysis of Systems with Single Counter

  11:00

  Алгоритм вычисления замкнутых множеств и его распределённые версии

  Проф. Сергей Кузнецов

  НИУ ВШЭ

   

  Prof. Sergey Kuznetsov. Algorithm for Computing of Closed Sets and its Distributed Versions

  11:30

  Возможности для распараллеливания алгоритмов заданных рекурсивно

  Доц. Николай Шилов

  ИСИ СО РАН

   

  Assoc. Prof. Nokolai Shilov. Parallelization of Recursive Algorithms

  12:00

  Моделирование долгосрочной динамики интеллектуальных систем: эффект скрытой обратной связи

  Доц. Антон Хританков

  МФТИ, НИУ ВШЭ

   

  Assoc. Prof. Anton Khritankov. Modeling Longstanding Dynamics in Intelligent Systems

  12:30

  Управление вычислительной инфраструктурой на основе интеллектуальных агентов

  Проф. Руслан Смелянский

  МГУ им. М. В. Ломоносова, РАН

   

  Prof. Ruslan Smelyansky. Managing Computational Infrastructure based on Intelligent Agents

• 13:15 - 14:15 Обед

  Ресторан K201

• 14:30 - 16:00 Вторая секция

  Конференц-зал F201

  14:30

  Оценка структурной сложности сетей потоков работ

  Доц. Роман Нестеров

  НИУ ВШЭ

   

  Assoc. Prof. Roman Nesterov. Estimating Structural Complexity of Workflow Nets

  15:00

  Генеративный ИИ и модельно-ориентированный подход к проектированию и разработке ПО: точки интеграции

  Проф. Эдуард Бабкин

  НИУ ВШЭ в Нижнем Новгороде

   

  Prof. Eduard Babkin. Generative AI and Model-oriented Design and Development of Software

  15:30

  Finite Countermodel Finding for Distributed System Verification

  Assoc. Prof. Alexei Lisitsa

  University of Liverpool

   

  Доц. Алексей Лисица. Поиск конечной контрмодели для верификации распределенных систем

• 16:00 - 16:30 Кофе-брейк

  Аудитория G203

• 16:30 - 18:00 Третья секция

  Конференц-зал F201

  16:30

  Soundness of Data-Aware Process Models

  Nikolai Suvorov

  HSE University

   

  Николай Суворов. Бездефектность моделей процессов с данными

  17:00

  Validation of Trading Systems using Petri Nets and Process Mining

  Dr. Julio Carrasquel

  Huawei-Russia

   

  Д-р Хулио Карраскель. Валидация торговых систем с использованием сетей Петри и методов анализа процессов

  17:30

  Events, Objects, and Concurrency: Disentangling the Fabric of Real Operational Processes

  Prof. Dr.Ir. Wil van der Aalst

  RWTH Aachen, Celonis

   

  Проф. Вил ван дер Аалст. События, объекты и конкурентность: Составляющие структуры реальных процессов

• 18:30 - 21:00 Закрытие, общение

  Профессорский клуб M111

Организационный комитет

При возникновении вопросов об участии в конференции обращайтесь к членам оргкомитета.

1. Нестеров Роман Александрович — заведущий научно-учебной лабораторией ПОИС
2. Лебедев Сергей Аркадьевич — руководитель департамента программной инженерии факутельета компьютерных наук
3. Мицюк Алексей Александрович — заместитель декана факультета компьютерных наук по научной работа
4. Шершаков Сергей Андреевич — доцент департамента программной инженерии факультета компьютерных наук
5. Кузнецова Ксения Антоновна — начальник отдела сопровождения проектов факультета компьютерных наук