The Third Workshop on Program Semantics, Specification and Verification: Theory and Applications will run July 1-2, 2012 in Nizhni Novgorod, Russia (PSSV 2012).
In affiliation with 7th International Computer Science Symposium in Russia (CSR-2012), just 3 days ahead of META 2012, Third International Valentin Turchin Workshop on Metacomputation July 5-9, 2012, Pereslavl-Zalessky (120 km to the north-east from Moscow), Russia.
Extended abstract submission: March 25, 2012,
Notification: April 9, 2012.