| Course name | Teachers | Next lecture | Language |
|---|---|---|---|
| Number-theoretic algorithms and cryptography | А. И. Храбров | Sunday, 15 December, 11:15 a.m. | Russian |
| State of the GAN | С. И. Николенко | To be announced | Russian |
| Introduction to Coq | А. А. Трунов | The course is completed | Russian |
| Data structures based on pointers | Е. А. Арсеньева | The course is completed | Russian |
| Extended Formulations | К. Пашкович | The course is completed | Russian |
| Introduction to model theory | Д. Д. Рогозин | The course is completed | Russian |
| Fine-grained complexity | А. С. Куликов | The course is completed | Russian |
| Algorithmic game theory | М. Н. Вялый | The course is completed | Russian |
| Theory of Distributed Computing | Р. Г. Липовский | The course is completed | Russian |
| Seminar on Computer Science | S. Kutten | The course is completed | Russian |
