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

International Laboratory for Intelligent Systems and Structural Analysis

The Laboratory for Intelligent Systems and Structural Analysis (ISSA Lab) was founded at HSE in 2012 by Prof. Sergei O. Kuznetsov

The ISSA Lab is a part of School of Data Analysis and Artificial Intelligent at the Faculty of Computer Science. Laboratory staff participate in all academic activities of the Faculty including bachelor's programmes, master's programmes, and postgraduate schools (for dissertation preparation).


At the ISSA laboratory seminar Prof. Mark Reynolds will make a report entitled: "A Faster Tableau for CTL*"

Prof. Mark Reynolds is the Head of the School of Computer Science and Software Engineering at The University of Western Australia

At the ISSA laboratory seminar Prof. Mark Reynolds delivered a report entitled: "A new rule for LTL tableaux"

Prof. Mark Reynolds is the Head of the School of Computer Science and Software Engineering at The University of Western Australia

The 13th International Conference in Сoncept Lattices and Applications CLA-2016 Has Ended

From 18 to 22 July, the 13th International Conference on Concept Lattices and Their Applications was held at HSE.

Springer published book "Conceptual Exploration"

The book  is written by B.Ganter and S.Obiedkov. Bernhard Ganter is emeritus professor of mathematics at Technische Universität Dresden, Germany. His main research field is Formal Concept Analysis. Sergei Obiedkov  is an associate professor at the National Research University Higher School of Economics, Moscow. His research covers topics in data analysis and artificial intelligence, including logical and algorithmic aspects.

Gerhard Wohlgenannt Delivered a Report "The Integration of Crowdsourcing into Knowledge Engineering Workflows"

Gerhard Wohlgenannt, an assistant professor at the Institute of Information Business of the Vienna University of Economics and Business, has several well-known articles in the field of Knowledge Engineering.

Alexander Tuzhilin Made a Report "Recommending Remedial Learning Materials to the Students by Filling their Knowledge Gaps"

May 17, Alexander Tuzhilin, professor of Stern School of Business NYU,  gave a presentation at a seminar of International Laboratory for Intelligent Systems and Structural Analysis.

Max Kanovich Made a Report "Can we mitigate the attacks on Distance-Bounding Protocols by using challenge-response rounds repeatedly?"

April 21, Max Kanovich, professor of computer science at Department of Computer Science and Information Systems, University of London, visiting professor of Faculty of Computer Science,School of Data Analysis and Artificial Intelligence, made a report at the session of our seminar.

Stanislav O. Speranski Made a Report "Reasoning with probability spaces"

Febrary 1, Stanislav O. Speranski, Scientific Researcher  Laboratory of Logical Systems Sobolev Institute of Mathematics, gave a presentation at the session of the seminar of International Laboratory for Intelligent Systems and Structural Analysis.

Andre Scedrov Made a Report "Multiset Rewriting with Dense Time and the Analysis of Cyber-Physical Security Protocols"

December 10, Andre Scedrov gave a presentation at the conference "Problems in Theoretical Computer Science".

Michael Zakharyaschev Made a Report "Ontology-based data access: succinctness and complexity"

December 17, Michael Zakharyaschev, professor of computer science at Department of Computer Science and Information Systems, University of London, Birkbeck gave a presentation at a seminar of International Laboratory for Intelligent Systems and Structural Analysis.