avsmal

Сегодня был в родном институте (ИТМО) и рядом с бумажкой про CSClub увидел вот эту:


Кто-нибудь знает что это за семинар? Гугление привело меня только на сайт teormin.ifmo.ru =)

Кстати, если кого интересует, то некто Штукенберг ведёт в ИТМО семинар по теории типов: по средам в 19.00, ауд. 151, первое занятие - 25 февраля.