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