The 2nd Workshop on Current Trends in Cryptology (June 23-24, 2013)
The 4th Workshop on Program Semantics, Specification and Verification: Theory and Applications (June 23-24, 2013)
The 6th School for students and young researchers "Computer Science Ekaterinburg Days" (June 29 - July 1, 2013)