Семинар "Новые методы интеграции сервисов с использованием отраслевых онтологий и специализированных расширений программной логики"

17 сентября состоится научно-учебный семинар «Новые методы интеграции сервисов с использованием отраслевых онтологий и специализированных расширений программной логики», организованный Лабораторией бизнес-информатики ГУ-ВШЭ.

На семинаре будут представлены новые результаты применения формализма реляционной логики и системы Alloy Analyzer для описания бизнес-процессов компании и последующей интеграцией программных сервисов.

Семинар проводится в рамках исследовательской программы Центра фундаментальных исследований ГУ-ВШЭ: Проект T3 69. Д.39523 «Исследования и разработка алгоритмов решения распределенных задач оптимизации на основе теории многоагентных систем».

В работе семинара примут участие:

• Абдульраб Абиб, профессор лаборатории LITIS, Национальный институт прикладных наук (INSA-Rouen, France);
• Козырев Олег Рамазанович, профессор, к.ф.-м.н., зам. директора Института развития бизнес-информатики ГУ-ВШЭ;
• Кирсанов Александр Петрович, профессор, д.т.н., профессор кафедры бизнес-аналитики факультета бизнес-информатики ГУ-ВШЭ;
• Бабкин Эдуард Александрович, профессор, к.т.н., PhD, зав. лабораторией ТАПРАДЕСС НФ ГУ-ВШЭ (Н. Новгород);
• Крылов Владимир Владимирович, профессор, д.т.н., директор по технологиям Meralabs (Н. Новгород);
• магистры и аспиранты ГУ-ВШЭ, участники международной молодежной научной школы "Современные проблемы интеллектуальных систем поддержки принятия решений".

Рабочий язык — английский.

Начало в 11.00.

Приглашаются все желающие.

Адрес: ул. Кирпичная, 33, ауд. 524.

Контактный телефон: (495) 772-95-62, e-mail: okozyrev@hse.ru, eababkin@hse.ru.