Город:
Тест
Санкт-Петербург
Новосибирск
Казань
Язык:
Русский
English
О клубе
Расписание
Курсы
Преподаватели
Международные школы
Войти
Регистрация
Построение инстансов типа с разрешимым равенством. Метапрограммирование с каноническими структурами
Введение в формальную верификацию программ
Что:
Семинар
Когда:
Четверг, 29 апреля 2021, 20:30–21:30
Где:
Конференция в zoom, Онлайн
