Наташа Шарыгина прочтёт мини-курс по программному анализу и формальной верификации, Фернандо Педони расскажет про системы распределённого вычисления,
Эх, USIшечка опять в Питере! ‎· breedable with other kitties
Эх indeed :) ‎· אחר
И кстати я не попадаю типа совсем. Печалька. ‎· breedable with other kitties