241-е заседание семинара московской секции ACM SIGMOD

Евгений Степанов, стажер исследователь НУЛ процессно-ориентированных информационных систем, выступил с докладом на семинаре московской секции ACM SIGMOD

Московская Секция ACM SIGMOD ежемесячно с сентября 1992 года проводит открытые для посещения семинары для научных сотрудников, преподавателей, аспирантов и студентов вузов, а также специалистов, занимающихся разработкой систем баз данных и информационных систем. На семинарах заслушиваются обзорные доклады о состоянии развития основных направлений теории и технологии баз данных и информационных систем, об актуальных проблемах в этой области, о крупных международных конференциях по проблематике Секции, спецификациях стандартов, о важных сферах применения технологии баз данных.

На 241-ом заседании семинара московской секции ACM SIGMOD, 30 января, Евгений Степанов, стажер-исследователь НУЛ процессно-ориентированных информационных систем, рассказал о методах синтеза и проверки соответствия моделей процессов в потоковом сценарии.