Computer Science Club

Типы событий: Лекция Семинар

Понедельник	Вторник	Среда	Четверг	Пятница	Суббота	Воскресенье
44 30	31 18:30–20:00 Сложность пропозициональных доказательств 20:20–21:50 Сложность пропозициональных доказательств	1	2	3	4 17:15–18:45 Алгоритмические применения древесных декомпозиций 19:00–20:30 Алгоритмические применения древесных декомпозиций	5 11:15–12:45 Избранные главы схемной сложности 13:00–14:30 Избранные главы схемной сложности 15:30–17:00 Избранные главы схемной сложности
45 6	7 18:30–20:00 Сложность пропозициональных доказательств 20:20–21:50 Сложность пропозициональных доказательств	8	9	10	11	12 11:15–12:45 Формальные грамматики и вычислительная сложность синтаксического анализа 13:00–14:30 Формальные грамматики и вычислительная сложность синтаксического анализа
46 13	14 18:30–20:00 Сложность пропозициональных доказательств 20:20–21:50 Сложность пропозициональных доказательств	15	16	17	18 17:15–18:45 Искусственный интеллект и беспилотные автомобили 19:00–20:30 Искусственный интеллект и беспилотные автомобили	19 11:15–12:45 Ликбез: коды, исправляющие ошибки 13:00–14:30 Ликбез: коды, исправляющие ошибки
47 20	21 18:30–20:00 Сложность пропозициональных доказательств 20:20–21:50 Сложность пропозициональных доказательств	22	23	24	25 17:15–18:45 Проблемы населенности типов и их разрешимость 19:00–20:30 Проблемы населенности типов и их разрешимость	26 11:15–12:45 Алгоритмы для задачи коммивояжёра 13:00–14:30 Алгоритмы для задачи коммивояжёра
48 27	28 18:30–20:00 Сложность пропозициональных доказательств 20:20–21:50 Сложность пропозициональных доказательств	29	30	1	2 17:15–18:45 Kotlin: практика разработки современного языка программирования 19:00–20:30 Kotlin: практика разработки современного языка программирования	3 11:15–12:45 Сложность бесконечных слов 13:00–14:30 Сложность бесконечных слов

Ноябрь 2017