The main research directions of the laboratory are computational complexity, algorithmic information theory, algorithmic statistics, combinatorial optimization, algorithmic aspects of game theory.
The staff member of the laboratory participated in the workshop “Aperiodicity and Hierarchical Structures in Tilings”
Guilhem Gamard, research fellow of the international laboratory of theoretical computer science, took part in the workshop in Lyon, France.
On June 14 the workshop ‘Complexity of Computation, Communication, Descriptions, and Proofs’, organized by the Laboratory of Theoretical Computer Science, was held at HSE Faculty of Computer Sciences. The conference was organized as part of the major international conference ‘Computer Science in Russia’.
On July 25-31 in Bulgaria was held an International Mathematical Competition for University Students (IMС 2016).
On July 18-19 a conference “Mathematical logic, algebra and computation" was held in Moscow. It was organized by the Steklov Mathematical Institute of Russian Academy of Science. The conference was dedicated to the 85th anniversary of academician S. I. Adian.