Associated Workshops 13-15 of June, 2010. Franco-Russian Workshop "Complexity in algorithms, dynamics and bioinformatics" (If you wish to participate, please contact its organizers directly) 14-15 of June, 2010. Workshop on Program Semantics, Specification and Verification: Theory and Applications (PSSV 2010) 21-22 of June, 2010. International Workshop on High Productivity Computations (HPC 2010)