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

16 января, 18:10

Семинар лаборатории теоретической информатики: "Теория дивизоров и комбинаторика в свободной полугруппе". Докладчик: Иван Аржанцев

Новости

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

Сотрудники лаборатории теоретической информатики получили грант от РФФИ и Лондонского Королевского общества

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

30 января, 2018 г.

Семинар лаборатории теоретической информатики возобновил свою работу

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

Публикации

Книга

Заметки и задачи о регулярных языках и конечных автоматах
В печати

Рубцов А. А.

МФТИ, 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.

Все публикации

Нашли опечатку?
Выделите её, нажмите Ctrl+Enter и отправьте нам уведомление. Спасибо за участие!
Сервис предназначен только для отправки сообщений об орфографических и пунктуационных ошибках.

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

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