The 2nd Workshop on Current Trends in Cryptology (June 24-25, 2013)
The 4th Workshop on Program Semantics, Specification and Verification: Theory and Applications (June 24, 2013)
The 6th School for students and young researchers "Computer Science Ekaterinburg Days" (June 29 - July 1, 2013)
A "pre-CSR" workshop in Moscow: Franco-Russian workshop on Algorithms, complexity and applications
