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

Research & Expertise

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".

Attila Kertesz-Farkas Made a Report "Data mining problems in computational mass spectrometry"

November 11, Attila Kertesz-Farkas, Associate Professor, Faculty of Computer Science, School of Data Analysis and Artificial Intelligence, gave a talk at a seminar of International Laboratory for Intelligent Systems and Structural Analysis.

Artem Revenko Made a Report "Automatic construction of implication theories"

May 29, Artem Revenko, a Phd student of TU Dresden, made a report at the session of our seminar.