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

109028, Moscow,
11, Pokrovsky boulevard

Phone: +7 (495) 531-00-00 *27254

Email: computerscience@hse.ru

 

Administrations
First Deputy Dean Tamara Voznesenskaya
Deputy Dean for Research and International Relations Sergei Obiedkov
Deputy Dean for Methodical and Educational Work Ilya Samonenko
Deputy Dean for Development, Finance and Administration Irina Plisetskaya
Article
Convergence rates for empirical barycenters in metric spaces: curvature, convexity and extendable geodesics

Ahidar-Coutrix A., Le Gouic T., Paris Q.

Probability Theory and Related Fields. 2019.

Article
Machine Learning on data with sPlot background subtraction

M. Borisyak, N. Kazeev.

Journal of Instrumentation. 2019. Vol. 14. No. 08. P. 1-8.

Book chapter
Subspace Inference for Bayesian Deep Learning

Vetrov D., Izmailov P., Maddox W. J. et al.

In bk.: Proceedings of the 35th Uncertainty in Artificial Intelligence Conference (UAI-2019). 2019. P. 1-11.

Book chapter
The logic of action lattices is undecidable

Kuznetsov S.

In bk.: 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2019). IEEE, 2019. Ch. 36. P. 1-9.

10th International Computer Science Symposium in Russia

10th International Computer Science Symposium in Russia

On July 13th-17th 2015, the 10th International Computer Science Symposium in Russia took place. The largest conference on theoretical informatics in Russia was organized by Irkutsk State University, the Higher School of Economics and Yandex. Vladimir Podolskii, Associate Professor at the Big Data and Information Retrieval School took part in the event as guest speaker. Maxim Babenko, Head of the Joint Department with Yandex also delivered a report during the event. Renowned specialists in computer science  Moshe Vardi and Samuel Buss presented reports at the conference and later at Yandex and the Steklov Institute of Mathematics in Moscow.

Lev Beklemishev, Professor at the Joint department with the Steklov Institute of Mathematics chaired the CSR Programme Committee. Nikolay Vereshchagin, Professor at the Faculty of Mathematics, Sergei Kuznetsov, professor at the School of Data Analysis and Artificial Intelligence and Mikhail Zakharyaschev, Visiting Professor at the School of Data Analysis and Artificial Intelligence were members of the Programme Committee.

Traditionally, the conference is held in different Russian cities. The event has been held several times in Saint Petersburg, Moscow, Novosibirsk, Kazan and Nizhny Novgorod. This year, the tenth symposium took place in the picturesque village of Listvyanka on the shores of Lake Baikal.

The next conference, CSR 2016, will be held on June 9th-13th 2016 in Saint Petersburg. The Special Semester on Computational and Proof Complexity, organized by the Chebyshev Laboratory, will also take place at the same time in the city.