• 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).


Ella Tyuryumina delivered a report on 15th St. Gallen International Breast Cancer Conference Primary Therapy of Early Breast Cancer

Formal Concept Analysis for Knowledge discovery: get ready for surprising practical applications

On Tuesday, the 16th of March, the International Workshop “Formal Concept Analysis for Knowledge Discovery” was held at the Faculty of Computer Science.

Guest of ISSA Laboratory Prof. Ivo Düntsch delivered a report: "Rough sets: A tool for qualitative knowledge discovery"

Ivo Düntsch, Brock University, St Catharines, ON, Canada

At the ISSA laboratory seminar Steve Zdancewic delivered a report: Vellvm - Verifying the LLVM

Prof. Steve Zdancewic, University of Pennsylvania

At the ISSA laboratory seminar Thomas Hensinger delivered a report: Reactive Systems: A Powerful Paradigm for Modeling and Analysis from Engineering to Biology

Prof. Thomas Hensinger, IST Austria

At the ISSA laboratory seminar Daniel Borchman delivered a report: Probably Approximately Correct Computation of the Canonical Basis

Daniel Borchman, Postdoctoral Research Associate, Technische Universität Dresden

Professor Peter Horvath gave a mini course «Microscopy image analysis»

Professor Peter Horvath gave a mini course «Microscopy image analysis» for students of computer .In his course he made stress on high-content screening (HCS), which includes cell biology, automated high resolution microscopy, informatics and robotics

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.