Наташа Шарыгина прочтёт мини-курс по программному анализу и формальной верификации, Фернандо Педони расскажет про системы распределённого вычисления,
Эх, USIшечка опять в Питере! ‎· (❍ᴥ❍ʋ)
Эх indeed :) ‎· אני אדם משום מקום
И кстати я не попадаю типа совсем. Печалька. ‎· (❍ᴥ❍ʋ)