Первый семинар состоится в следующий вторник 25 сентября в 19.15 в Институте системного программирования РАН в к. 110.