On May 28 HSE Honorary Professor, Professor at the Technical University of Eindhoven, Wil van der Aalst delivers a lecture on 'Data Science: The Science of Big Data'.
Vera Ermakova, HSE master's student presented the report 'Verification of Multi-Agent System Models via Nested Petri Net Unfoldings' at PAIS seminar.
Leonid Dworzanski, Senior Lecturer at the School of Software Engineering delivered the report 'On Place Invariants of Nested Petri Nets'.
At the session of our seminar Sergey Ivanov (research assistant at PAIS Lab, 4-year student at CSF of HSE) succesfully presented the talk on subject: Comparing business models using graph-edit distance.
At the session of PAIS Lab seminar were presented two talks by the research assistants of the Lab.
Talk by E. Mistyukov - Log-based transition system recovery.
Talk of I. Shugurov - GENA: Generator of artificial event logs. Current state of work.
Two talks from the research assistants of PAIS Lab.
Antonina Begicheva: Conformance checking algorithms for Petri nets. Natalia Nikitina: Petri net 2D-Layout Algorithms.
Dr.ir. Wil van der Aalst became a HSE Honorary Professor. World-Wide-known dutch computer scientist awarded by HSE Academic Council for his enormous contribution in University's research, educational programs, and international reputation.
Dmitry Zagorulkin (Sberbank CIB former Troika Dialog)
Feb 02, 2014 - 18:10 - aud. 402
In this presentation I would like to introduce the most popular models of computation and to show how to apply these models for solving concurrency problems, such as reference cell problem, mutual exclusion problem, dining philosophers problem. Also I will show how to use different computational models in modern programming languages such as Java and Erlang.
Research Assistant competition was held in January. 14 is the total number of applications.
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.