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

Tag "Seminar of International Laboratory for Intelligent Systems and Structural Analysis"

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.
1 2