| Course name | Teachers | Next lecture | Language |
|---|---|---|---|
| Seminar on Computer Science | Y. Dodis, A. Lubotzky, А. Крайнов | Monday, 03 June, 5:15 p.m. | Russian |
| Вывод типов от Хиндли — Милнера до GHC 8.8 | В. Н. Брагилевский | The course is completed | Russian |
| Интерактивные доказательства | Д. В. Мусатов | The course is completed | Russian |
| Random graphs | А. М. Райгородский | The course is completed | Russian |
| Variable Length Codes: Synchronization, Decomposition, and Beyond | А. Рыжиков | The course is completed | Russian |
| Локализация мобильных роботов. Обзор основных SLAM алгоритмов. | К. В. Кринкин | The course is completed | Russian |
| Анализ булевых функций | В. В. Подольский | The course is completed | Russian |
| Communication Complexity | И. А. Михайлин | The course is completed | Russian |
| Testing and Streaming algorithms for words, trees and graphs | M. de Rougemont | The course is completed | English |
