The talk presents the results obtained in the study of the equivalence problem for the models of sequential and recursive programs with the semantics defined on the basis of semigroups.
On November 24-th academic supervisor of the PAIS Lab, professor at the TU/e dr.ir. Wil van der Aalst presented his talk at the session of PAIS Lab Seminar. Subject of the talk was "Process Mining: Beyond Control-Flow".
On November 12th 2014 starts Massive Open Online Course (MOOC) "Process Mining: Data science in Action", the course of PAIS Lab Academic Supervisor, Professor of the Eindhoven Technical University Wil van der Aalst. Already 24 000 participants from 170 countries registered for this first MOOC of Process Mining.
Prof. Dr. Jörg Desel (FernUniversität in Hagen, Fakultät für Mathematik und Informatik, Hagen, Germany) visited HSE PAIS Lab in October 2014. He presented two talks at the PAIS Lab seminar.
In July Jose Carmona (professor of the Universitat Politecnica de Catalunya) visited our laboratory. He presented two talks.
PAIS Lab Seminar: Towards a Process Scientist: Dealing with Big Data and Processes in a Comprehensive Manner // prof. W. van der Aalst
At the session of the PAIS Lab Seminar on June 9th academic supervisor of the laboratory, professor at the Eindhoven Technical university Wil van der Aalst presented his talk.
PAIS Lab Seminar: Mining of Hospitalization Trajectories with FCA and Pattern Structures // A. Buzmakov
On the session of PAIS Lab Seminar (June 5th, 16:00) Alexey Buzmatov, PhD student at HSE, presented the talk on subject Mining of Hospitalization Trajectories with FCA and Pattern Structures.
At the session of the PAIS Lab Seminar on May 26th students of the SE Department presented their talks.
At the session of the PAIS Lab Seminar on May 19th students of the SE Department presented their talks.
PAIS Lab Seminar: Applying graph grammars for the generation of process models and their logs // V. Kataeva
Valeria Kataeva (master-student at SE Dept., HSE) presented the talk on subject: Applying graph grammars for the generation of process models and their logs