Computer Science клуб — это открытые лекции и курсы. В клубе любой желающий может познакомиться с классическими результатами, современным положением дел и открытыми задачами в различных областях Computer Science. Вход на лекции свободный, регистрация не требуется, посещать курсы можно начать в любое время.
| Название курса | Преподаватели | Следующая лекция | Язык |
|---|---|---|---|
| Структуры данных основанные на указателях | Е. А. Арсеньева | Суббота, 21 сентября, 17:15 | Русский |
| Введение в язык формальной верификации Coq | А. А. Трунов | Суббота, 21 сентября, 15:30 | Русский |
| Computer Science семинар | S. Kutten | Четверг, 26 сентября, 18:30 | Русский |
| Extended Formulation | К. Пашкович | Суббота, 12 октября, 17:15 | Русский |
| Введение в модальную логику | Д. Д. Рогозин | Суббота, 19 октября, 17:15 | Русский |
| Алгоритмическая теория игр | М. Н. Вялый | Суббота, 09 ноября, 17:15 | Русский |
| Теория распределенных вычислений | Р. Г. Липовский | Суббота, 23 ноября, 17:15 | Русский |
| Теоретико-числовые алгоритмы и криптография | А. И. Храбров | Дата будет объявлена позже | Русский |
