Max Kanovich Made a Report "Can we mitigate the attacks on Distance-Bounding Protocols by using challenge-response rounds repeatedly?"
April 21, Max Kanovich, professor of computer science at Department of Computer Science and Information Systems, University of London, visiting professor of Faculty of Computer Science,School of Data Analysis and Artificial Intelligence, made a report at the session of our seminar.
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.