Тестирование на основе моделей Виктор Кулямин/Computer Science клуб при ПОМИ РАН, Лекториум