Workshop "Program Semantics, Specification & Verification: Theory and Application (PSSV)"

The Fourth Workshop on Program Semantics, Specification and Verification: Theory and Applications (PSSV 2013) affiliated with 8th International Computer Science Symposium in Russia (CSR-2013), will be held on June 23-24, 2013 in Yekaterinburg, Russia

Call for Papers

Workshop program

Registration

Fees for participants are 1500 rubles or 40 Euro. See for details of payment and registration here