The Workshop on Program Semantics, Specification and Verification: Theory and Applications (PSSV 2010) affiliated with 5th International Computer Science Symposium in Russia (CSR-2010, http://csr2010.antat.ru, June 16-20, 2010) will be held on June 14-15, 2010 in Kazan, Russia. Extended abstract submission: March 10, 2010