Workshop on Theoretical Computer Science

The workshop consisted of several survey talks aimed at the wide audience. The talks were given by professors of all three departments of the faculty (School of Data Analysis and Artificial Intelligence,  Big Data and Information Retrieval School, School of Software Engineering ) as well as by well-known guest speakers.

Among the discussed topics there were Coding Theory, Algebraic Complexity, Propositional Proof Complexity, Kolmogorov Complexity.

The last talk of the workshop was given by a Nevanlinna prize laureate Madhu Sudan (Harvard).

The detailed program of the workshop, photos and videos of the lectures can be found on the website of the workshop.