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.