Функциональное программирование Евгений Кирпичев/Computer Science клуб при ПОМИ РАН, Лекториум