!Ъ — тыц
Ъ:
6 февраля в 19:00 на 4-м этаже бизнес-центра «Таймс» (рядом с Кантемировским мостом) на базе института биоинформатики JetBrains стартует курс лекций Валерия Исаева (СПбАУ), напрямую посвященный гомотопической теории типов.
Первую лекцию можно посмотреть вот здесь
