Наташа Шарыгина прочтёт мини-курс по программному анализу и формальной верификации, Фернандо Педони расскажет про системы распределённого вычисления,
Эх, USIшечка опять в Питере! ‎- Cat-coloured object
Эх indeed :) ‎- death with benefits
И кстати я не попадаю типа совсем. Печалька. ‎- Cat-coloured object