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

Science seminar

PAIS Lab science seminar is a successor of the Specification and verification of concurrent and distributed systems seminar

The seminar takes place on Mondays at 18:10 in the HSE building at the Kochnovsky proezd, 3 (auditorium 402).

Next sessions

To be published

All are invited.

Previous sessions

Season 2015–2016
02.05.2016Knowledge and beliefs of agents in the cloud
Nikolay Shilov

Senior researcher at A.P. Ershov Institute of Informatics Systems
25.04.2016 Support of Decision-Making in IT-project Risk Assessment under Z-numbers / Discovering uml diagramm from event logs using process mining
Ekaterina Goleva, Maxim Savitsky

Master's students at the HSE CS Faculty
18.04.2016Structural analysis of systems in case of uncertainty / Transformation of event logs for synthesis high-level process models
Marina Kaleturina, Semyon Velichko

Master's students at the HSE CS Faculty
11.04.2016Method for synthesis of well-structured process models for transition systems based on hierarchy of events
Evgenii Elokhov

Master's student at the HSE CS Faculty
04.04.2016Models, methods and software for the analysis of digraph similarity and their application to the study of temporal digraphs
Viktor Kokhov

National Research University "Moscow Power Engineering Institute"
14.03.2016Business Process Model and Notation (BPMN)
Kirill Samokhvalov, Nikolai Sidiropulo

Bachelor's students at the HSE CS Faculty
29.02.2016Yet Another Process Model
Rinat Yusupov

Master's student at the HSE CS Faculty
15.02.2016Detection of anti-patterns in service-based systems
Alexander Yugov

Master's student at the HSE CS Faculty
08.02.2016Formal grammars after the Cuban missile crisis
Alexander Okhotin

University of Turku, Finnland
04.02.2016Methods and algorithms for checking adequacy of analytical models of organizational enterprise activities
Inna Grigoreva

Tyumen State University
01.02.2016Existing methods of abstracting process models
Antonina Begicheva

Research assistant of the PAIS Lab
25.01.2016Distibuted process mining algorithms / Application of artificial neural networks for time series prediction
Ivan Shugurov, Alexandra Shulman

Bachelor's students at the HSE CS Faculty
18.01.2016Verification on nested Petri nets by means of unfoldings
Vera Ermakova

Master's student at the HSE CS Faculty
30.11.2015Markov chains and their applications
Vladimir Kovtunovskiy

Bachelor's student at the HSE CS Faculty
23.11.2015Problems and challenges of process mining
Natalia Nikitina

Research assistant of the PAIS Lab
16.11.2015User interface analysis by means of process discovery
Yana Manukhina

Master's student at the HSE CS Faculty
09.11.2015Possible applications of using Petri nets compositions by means of morphisms for process mining
Roman Nesterov

Master's student at the HSE CS Faculty
02.11.2015Transition systems reduction for process mining
Sergey Shershakov

Research fellow of the PAIS Lab
19.10.2015Good and bad process models

Alexey Mitsyuk


Junior research fellow of the PAIS Lab

12.10.2015Good and bad process models

Alexey Mitsyuk


Junior research fellow of the PAIS Lab

05.10.2015Analysis of information structure and modeling of software development process

Sergey Politsyn


Lecturer at NRU HSE

28.09.2015Synthesis of process models based on event logs of information systems. Language choice

Anna Kalenkova


Senior research fellow of the PAIS Lab

21.09.2015Verification of software-defined networks

Vladimir Podymov


Research fellow of the PAIS Lab

14.09.2015Equivalence checking problem for finite state transducers

Vladimir Zakharov


Lead research fellow of the PAIS Lab

Summer Sessions – 2015
15.07.2015Study of methods for controlling of software-defined networks functioning 

Eugeniy Chemeritskiy


MSU fellow

08.07.2015Event Log Visualisation with Conditional Partial Order Graphs: from Control Flow to Data

Andrey Mokhov


Computer engineering lecturer at Newcastle University

Season 2014–2015
15.06.2015Mining causal relations on events from logs / Process mining approach to user interface design / Performance analysis using software process mining / Discovering service oriented architecture antipatterns using process mining

Rinat Yusupov; Yana Mukhina; Maksim Savitskiy; Alexander Yugov


Students of NRY HSE

18.05.2015Verification of Multi-Agent System Models via Nested Petri Net Unfoldings

Vera Ermakova

Master-student at HSE CS Faculty

27.04.2015Systems of functional countable-valued logic equations

I.S. Kalinina

MSU fellow

20.04.2015ARIMA as a tool for time series prediction

Alexandra Shulman

3-year student of bachelor program at HSE CS Faculty

13.04.2015On place invariants of nested Petri nets. Часть 2

Leonid W. Dworzanski

Research fellow of the PAIS Lab
Senior lecturer of Software Management Department of NRU HSE

06.04.2015On place invariants of nested Petri nets. Часть 1

Leonid W. Dworzanski

Research fellow of the PAIS Lab
Senior lecturer of Software Management Department of NRU HSE

23.03.2015Methodology of creation of executable models and business process management systems

Igor Fyodorov

MESI professor

 

Season 2014–2015
02.03.2015Comparing business models using graph-edit distance
Sergey Ivanov
Research Assistant of PAIS Lab
4-year student of bachelor program at HSE CS Faculty
16.02.2015Log-based transition system recovery
Eugeny Mistyukov
Research Assistant of PAIS Lab
4-year student of bachelor program at HSE CS Faculty

GENA: Generator of artificial event logs. Current state of work
Ivan Shugurov
Research Assistant of PAIS Lab
3-year student of bachelor program at HSE CS Faculty
09.02.2015Conformance checking algorithms for Petri nets
Antonina Begicheva
Research Assistant of PAIS Lab
3-year student of bachelor program at HSE CS Faculty

Petri net 2D-Layout Algorithms
Natalia Nikitina
Research Assistant of PAIS Lab
2-year student of bachelor program at HSE CS Faculty
02.02.2015Computational models in software engineering
Dmitry Zagorulkin
Sberbank CIB former Troika Dialog
19.01.2015Fast algorithms for program equivalence checking using semigroup-semantics models (RU)
Vladislav Podymov
MSU
15.12.2014Business Process Management (BPM)
Global IT Trends: BIG DATA (Data Science and Process Mining)

Dr. Vladimir Rubin
PhD, lead research fellow of the PAIS Lab
08.12.2014Software Apchitecture 1: Modern Client Technologies
Software Architecture 2: SOA

Dr. Vladimir Rubin
PhD, lead research fellow of the PAIS Lab
27.11.2014Process Mining: Data Science in Action
( Colloquium of the Computer Science Faculty, 16:40, lecture hall Descartes)
Prof. dr.ir. Wil van der Aalst
PAIS Lab Academic supervisor
Professor at the TU Eindhoven
24.11.2014Process Mining: Beyond Control-Flow
Prof. dr.ir. Wil van der Aalst
PAIS Lab Academic supervisor
Professor at the TU Eindhoven
17.11.2014Model-Driven Development: UML and DSLS
Dr. Vladimir Rubin
PhD, lead research fellow of the PAIS Lab
10.11.2014Introduction: IT Projects and Profitability
Modern Software Development Projects: From Waterfall to Agile

Dr. Vladimir Rubin
PhD, lead research fellow of the PAIS Lab
16.10.2014A Survey on Synthesis of Petri Nets from Partially Ordered Runs
Dr. Jörg Desel
13.10.2014On Negotiation as Concurrency Primitive
Dr. Jörg Desel
6.10.2014Summer work of the trainees of PAIS Lab
Studens of the HSE Computer Science Faculty
22.09.2014Reveal your faults!
Prof. Stefan Haar
Senior Researcher (DR2) INRIA / Head of MExICo team (ENS Cachan)
18.09.2014True concurrency - from C.A. Petri to Telecom and Systems Biology
( Colloquium of the Computer Science Faculty, 16:40, lecture hall Descartes)
Prof. Stefan Haar
Senior Researcher (DR2) INRIA / Head of MExICo team (ENS Cachan)
15.09.2014What Occurrence Nets Reveal
Prof. Stefan Haar
Senior Researcher (DR2) INRIA / Head of MExICo team (ENS Cachan)
Summer Sessions – 2014
08.07.2014Recommending Process Discovery Algorithms
Dr. Joseph Carmona
Associate professor at the Universitat Politècnica de Catalunya (Barcelona, Spain)
04.07.2014Contributions to process conformance
Dr. Joseph Carmona
Associate professor at the Universitat Politècnica de Catalunya (Barcelona, Spain)
Season 2013–2014
09.06.2014Towards a Process Scientist: Dealing with Big Data and Processes in a Comprehensive Manner
Wil van der Aalst
Academic Supervisor of the PAIS Lab
Professor at the TU/e
05.06.2014Mining of Hospitalization Trajectories with FCA and Pattern Structures
Alexey Buzmakov
PhD Student, School of Applied Mathematics and Information Science, HSE 
26.05.2014Polina Kim - Component-based VTMine/C Framework: Not Only Modelling
Ivan Shugurov - Generation of a Set of Event Logs with Noise

Bachelor-students at SE Dept., HSE
 
19.05.2014Antonina Begicheva - Checking Conformance of High-Level Business Process Models to Event Logs
Ilona Knizhnikova - Modular construction of Time Petri net reachability graph

Bachelor-students at SE Dept., HSE
 
28.04.2014Applying graph grammars for the generation of process models and their logs
Valeria Kataeva
Master-student at SE Dept., HSE
21.04.2014Modular system development by composing Petri nets on interfaces
Dr. Lucia Pomello
Professor at the Department of Informatics, Systems and Communication (DISCo), University of Milano-Bicocca, Italy
14.04.2014Petri Hypernets for modeling mobile agents
Dr. Lucia Pomello
Professor at the Department of Informatics, Systems and Communication (DISCo), University of Milano-Bicocca, Italy
7.04.2014Improvements to Translation of LTL Formula to Buchi Automata
Olga Kochetova
Student of the Department of Software Engineering, HSE
31.03.2014ProM 6 framework as a tool for work with BPMN models
Sergey Ivanov
Research assistant of the PAIS Lab
17.03.2014On the application of timed automata and UPAAL toolset to the verification of Software Defined Networks
Uliana V. Popesko
Ph.D. student, Lomonosov Moscow State University
03.03.2014Analyzing Web Service Resource Compatibility
Prof. Irina A. Lomazova
Director of the PAIS Lab
Professor of the Department of Software Engineering, HSE
10.02.2014Static analysis for data race detection
Pavel Andrianov
ISP RAS
27.01.2014Software Process Mining
Vladimir Rubin
PhD, lead research fellow of the PAIS Lab
20.01.2014Binary and source code analysis for developing high quality program systems
Katerina Troshina
Ph.D., SmartDec
16.12.2013DPMine concept: current status
Sergey Shershakov
Research Fellow of the PAIS Lab
Lecturer at the Department of Software Engineering, HSE
09.12.2013True Concurrency and Net Unfoldings
Daniil Frumin
Research Assistant of the PAIS Lab
Student of the Department of Software Engineering, HSE
02.12.2013Activiti BPM Platform
Dmitry Nazarenko
Student of the Department of Software Engineering, HSE
18.11.2013Causal nets – a modeling language designed for process discovery
Nikita Gundobin
Research Assistant of the PAIS Lab
11.11.2013Service Oriented Computing: Forthcoming challenges
Prof. Dr. Wolfgang Reisig
Professor at the Humboldt-Universität zu Berlin
28.10.2013Process Cubes: Slicing, Dicing, Rolling Up and Drilling Down Event Data for Process Mining
Prof. dr.ir. Wil van der Aalst
Academic Supervisor of the PAIS Lab
Full professor of Information Systems at the Technische Universiteit Eindhoven (TU/e)
21.10.2013Methods of analysis for Nested Petri Nets (Part 2)
Leonid W. Dworzanski
Research fellow of the PAIS Lab
Senior lecturer of Software Management Department of NRU HSE
07.10.2013Methods of analysis for Nested Petri Nets (Part 1)
Leonid W. Dworzanski
Research fellow of the PAIS Lab
Senior lecturer of Software Management Department of NRU HSE
30.09.2013Some method of WF-model correction
Alexey A. Mitsyuk
Assistant researcher of the PAIS Lab
23.09.2013Fast and Accurate Declare Mining
Michael Westergaard
Leading researcher of the PAIS Lab
16.09.2013Time and Petri Nets - A Way for Modeling and Verification of Time-dependent Concurrent Systems
Louchka Popova-Zeugmann
Professor at the Humboldt-Universität (Berlin)
09.09.2013Discovery of Reset workflow nets
Anna A. Kalenkova
Research fellow of the PAIS Lab, PhD
Season 2012–2013
27.05.2013Possibilities and limitations of formal methods for business process analysis and design (ru)
Joseph Barjis
Associate professor at TUDelft
13.05.2013The practical application of the methods of extraction and analysis of process models: principles and examples (ru)
Alexander D. Breyman
Research fellow of PAIS Lab
29.04.2013Workflow boolean verification algorithm. Equivalent transformations of workflows (ru)
Anna A. Kalenkova
Research fellow of PAIS Lab
15.04.2013Mediating Between Modeled and Observed Behavior: The Quest for the "Right" Process
Wil van der Aalst
Academic supervisor of PAIS Lab,
Professor at TU/e
08.04.2013The Principles of Business Process' Behavior Modeling (ru)
I. G. Fedorov
Professor of department of Applied Informatics in Economics, MESI
01.04.2013Similarity of Business Process Models: Metrics and Evaluation
A. Derguzova
18.03.2013Modeling is not Just for Supermodels
Michael Westergaard
Leading researcher of PAIS Lab
25.02.2013Petri nets for modeling transient secure associations (ru)
D. Frumin
18.02.2013Three problems related to the BPM systems (ru)
A.G. Miheev
Associate professor of department of Business Informatics and Systems of Industrial Management, MISiS
Doctoral student of department of Applied Informatics in Economics, MESI
Head of RunaWFE project
11.02.2013Timed Automata (ru)
Y. Novikova
28.01.2013A generalized approach to the decomposition of Petri nets for Process Mining problems (ru)
S. Shershakov
PAIS Lab
21.01.2013Distributed process mining techniques (ru)
A. Mitsyuk
PAIS Lab