We use cookies in order to improve the quality and usability of the HSE website. More information about the use of cookies is available here, and the regulations on processing personal data can be found here. By continuing to use the site, you hereby confirm that you have been informed of the use of cookies by the HSE website and agree with our rules for processing personal data. You may disable cookies in your browser settings.

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

Education

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

At the ISSA laboratory seminar Prof. Mark Reynolds gave a talk 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

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.


12