Zoom

Коричневые курсы пользуются своим zoom

 Google-ZoomЯндекс-Zoom
ПН 12:10-15:50 Пентус (Р).

16:00-17:45 Кузнецов. с/к Цикл. док-ва (МИАН)
17:45-19:20 Любецкий. Биоинформатика
18:30-20:00 Верещ. Колмогор сем (Google Meet)
11:00-12:35 Яворская. Семинар ВМЛиТА 208 / 207

15:45-17:20 Золин. Семинар ВМЛиТА 210 / 212
17:45-19:20 Крупский Плиско. с/c Вычислимость
18:30-20:00 Бекл. Logic online seminar (Proof theory)
ВТ 09:00-10:35 Пентус. Ин. яз. 6 курс
11:00-12:35 Кузнецов. Coq практикум
12:40-15:50 Пентус (Р).

17:45-19:20 Яворская. Обязательный с/к

09:00-12:15 Яворская. ОТиПЛ Понятийный аппарат
11:00-12:35 Оноприенко. ВМЛиТА 206 / 205 (Discord)

14:30-16:00 Бекл, Яв. с/к Теория док-в (МИАН)
17:45-19:20 Шехтман. с/к Алгебраическая логика
18:30-20:00 Беклемишев. Алгоритм пробл алг и лог
СР

15:00-16:30 Верещагин. с/к Апериод замощения

18:30-21:00 Семёнов. НИС МЛ
09:00-10:35 Красненкова. Семинар ВМЛиТА 201 / 202
11:00-12:25 Пентус. Лекция ВМЛиТА 2 курс 2 поток
13:45-15:20 Колмаков. Семинар ВМЛиТА 204 / 203

19:00-21:00 Белов & др. с/к Комбинаторика слов
ЧТ 10:40-14:00 Пентус. ОТиПЛ. Мат. т. грамматик


17:45-19:20 Плиско. с/к Конструктивность

13:00-14:35 Верещагин. ЕНС Коды с испр ошибок

17:45-19:20 Бекл, Шехтман. Объединенный семинар
ПТ
13:00-14:35 Верещагин. ЕНС Коды с испр ошибок



19:00-20:30 Золин. с/к Модальная логика
09:00-10:35 Беклемишев. Лекция ВМЛиТА 2 к 1 поток
13:45-15:20 ВМЛиТА: ---------------- / Яворская 211

14:10-15:45 Крупский. ОТиПЛ. Программирование
15:45-17:20 ВМЛиТА: Крупский 209 / ----------------
16:20-17:50 ВШЭ с/с Соврем пробл матем логики

Звонки:
09:00-10:35 - 1-я пара
11:00-12:35 - 2-я пара
обед
13:45-15:20 - 3-я пара
15:45-17:20 - 4-я пара
17:45-19:20 - 5-я пара
19:45-21:20 - 6-я пара