Computer Science клуб — это открытые лекции и курсы. В клубе любой желающий может познакомиться с классическими результатами, современным положением дел и открытыми задачами в различных областях Computer Science. Вход на лекции свободный, регистрация не требуется, посещать курсы можно начать в любое время.
| Название курса | Преподаватели | Следующая лекция | Язык |
|---|---|---|---|
| Lattices | N. Stephens-Davidowitz | Дата будет объявлена позже | Английский |
| Computer Science семинар | Y. Dodis, А. Крайнов | Дата будет объявлена позже | Русский |
| Коды переменной длины: сихронизация, декомпозиция и другое | А. Рыжиков | Суббота, 27 апреля, 17:15 | Русский |
| Вывод типов от Хиндли — Милнера до GHC 8.8 | В. Н. Брагилевский | Курс завершён | Русский |
| Интерактивные доказательства | Д. В. Мусатов | Курс завершён | Русский |
| Случайные графы | А. М. Райгородский | Курс завершён | Русский |
| Локализация мобильных роботов. Обзор основных SLAM алгоритмов. | К. В. Кринкин | Курс завершён | Русский |
| Анализ булевых функций | В. В. Подольский | Курс завершён | Русский |
