• A
  • A
  • A
  • ABC
  • ABC
  • ABC
  • А
  • А
  • А
  • А
  • А
Regular version of the site

News

Honorary Lecture 'Data Science: The Science of Big Data' by Wil van der Aalst

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'.

Seminar on 'Verification of Multi-Agent System Models via Nested Petri Net Unfoldings'

Vera Ermakova, HSE master's student presented the report 'Verification of Multi-Agent System Models via Nested Petri Net Unfoldings' at PAIS seminar.

Seminar 'On Place Invariants of Nested Petri Nets'

Leonid Dworzanski, Senior Lecturer at the School of Software Engineering delivered the report 'On Place Invariants of Nested Petri Nets'.

PAIS Lab Seminar: Comparing business models using graph-edit distance // S. Ivanov

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.

PAIS Lab Seminar: Eugeny Mistyukov and Ivan Shugurov

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.

PAIS Lab Seminar: research assistants Antonina Begicheva and Natalia Nikitina

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

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.

PAIS Lab Seminar: Computational models in software engineering // D. Zagorulkin

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.

more...

New research assistants at the PAIS Lab

Research Assistant competition was held in January. 14 is the total number of applications.

PAIS Lab Seminar: Fast algorithms for program equivalence checking using semigroup-semantics models

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.