• A
  • A
  • A
  • АБВ
  • АБВ
  • АБВ
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта

Международная лаборатория теоретической информатики

2

12 февраля, 2018 г.

Сотрудники лаборатории теоретической информатики стали победителями совместного конкурса проектов Российского фонда фундаментальных исследований и Лондонского Королевского общества.

30 января, 2018 г.

В январе лабораторией теоретической информатики было запланировано проведение двух семинаров. На первом семинаре выступила Екатерина Минеева. На втором семинаре о своих результатах расскажет Любовь Сысоева.
Публикации
Статья
Backward induction in presence of cycles

Gurvich V.

Journal of Logic and Computation. 2018. Vol. 28. No. 7. P. 1635-1646.

Глава в книге
Plain stopping time and conditional complexities revisited

Posobin G. I., Shen A., Andreev M.

In bk.: 43rd International Symposium on Mathematical Foundations of Computer Science (MFCS 2018). Vol. 117. Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, 2018. P. 1-24.

Препринт
Stochasticity in Algorithmic Statistics for Polynomial Time

Vereshchagin N., Milovanov A.

Electronic Colloquium on Computational Complexity. Technical report . Weizmann Institute of Science, 2017. No. TR17-043.

Международная лаборатория теоретической информатики создана в декабре 2015 года и является подразделением департамента больших данных и информационного поиска факультета компьютерных наук НИУ ВШЭ.

Лаборатория проводит исследования в области теоретической информатики, в том числе в таких направлениях как сложность вычислений, алгоритмическая теория информации, алгоритмическая статистика, комбинаторная оптимизация и алгоритмическая теория игр.