Guest of ISSA Laboratory Prof. Ivo Düntsch gave a talk entitled: "Rough sets: A tool for qualitative knowledge discovery"
Ivo Düntsch, Brock University, St Catharines, ON, Canada
At the ISSA laboratory seminar Steve Zdancewic gave a talk entitled: "Vellvm - Verifying the LLVM"
Prof. Steve Zdancewic, University of Pennsylvania
At the ISSA laboratory seminar Thomas Hensinger gave a talk entitled: 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 gave a talk entitled: 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 gave a talk 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
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 ISSA laboratory research fellow's 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 Research Fellow at the ISSA Laboratory and 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.